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

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

Published: 2014-11-25

Articles

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
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

Preface

Preface

Marieke Huisman, Jaco van de Pol
- PDF

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

Articles

Reachability and Reward Checking for Stochastic Timed Automata

The GPUVerify Method: a Tutorial Overview

QBF with Soft Variables

Model Checking C++ with Exceptions

Verification of Information Flow Properties under Rational Observation

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Symbol Elimination for Automated Generation of Program Properties

On the Random Structure of Behavioural Transition Systems

The highs and lows of deploying Formal Methods in Industry

Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems

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

Using SMT for dealing with nondeterminism in ASM-based runtime verification

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors

Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations

A Formal Co-Simulation Approach for Wireless Sensor Network Development

Conformance Testing of Cyber-Physical Systems: A Comparative Study

Preface

Preface

Information

DB-logos

Usage Statistics Information