Volume 70: Automated Verification of Critical Systems 2014

DOI: http://dx.doi.org/10.14279/tuj.eceasst.70

Table of Contents

Preface

Preface
Marieke Huisman, Jaco van de Pol
PDF

Articles

The GPUVerify Method: a Tutorial Overview
Alastair Donaldson
PDF
The highs and lows of deploying Formal Methods in Industry
Guy H. Broadfoot
PDF
Symbol Elimination for Automated Generation of Program Properties
Laura Kovacs
PDF
Conformance Testing of Cyber-Physical Systems: A Comparative Study
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
PDF
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations
Jingshu Chen, Marie Duflot, Stephan Merz
PDF
Verification of Information Flow Properties under Rational Observation
Beatrice Berard, John Mullins
PDF
Using SMT for dealing with nondeterminism in ASM-based runtime verification
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
PDF
QBF with Soft Variables
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
PDF
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
Jeremy Sproston
PDF
Reachability and Reward Checking for Stochastic Timed Automata
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
PDF
On the Random Structure of Behavioural Transition Systems
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
PDF
A Formal Co-Simulation Approach for Wireless Sensor Network Development
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
PDF
Adaptive Task Automata with Earliest-Deadline-First Scheduling
Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson
PDF
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
PDF
Model Checking C++ with Exceptions
Petr Ročkai, Jiří Barnat, Luboš Brim
PDF
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos
PDF