Vol. 70 (2014): Automated Verification of Critical Systems 2014

DOI: https://doi.org/10.14279/tuj.eceasst.70

Published: 2014-11-25

Articles

Symbol Elimination for Automated Generation of Program Properties

Laura Kovacs
- PDF
On the Random Structure of Behavioural Transition Systems

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
- PDF
The highs and lows of deploying Formal Methods in Industry

Guy H. Broadfoot
- PDF
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems

Jeremy Sproston
- PDF
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour

Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos
- PDF
Using SMT for dealing with nondeterminism in ASM-based runtime verification

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
- PDF
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
- PDF
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations

Jingshu Chen, Marie Duflot, Stephan Merz
- PDF
A Formal Co-Simulation Approach for Wireless Sensor Network Development

Adisak Intana, Michael Poppleton, Geoff Merrett
- PDF
Conformance Testing of Cyber-Physical Systems: A Comparative Study

Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
- PDF
Reachability and Reward Checking for Stochastic Timed Automata

Ernst Hahn, Arnd Hartmanns, Holger Hermanns
- PDF
The GPUVerify Method: a Tutorial Overview

Alastair Donaldson
- PDF
QBF with Soft Variables

Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
- PDF
Model Checking C++ with Exceptions

Petr Ročkai, Jiří Barnat, Luboš Brim
- PDF
Verification of Information Flow Properties under Rational Observation

Beatrice Berard, John Mullins
- PDF
Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson
- PDF

Preface

Preface

Marieke Huisman, Jaco van de Pol
- PDF