Vol. 66 (2014): Automated Verification of Critical Systems 2013

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

Published: 2014-02-22

Articles

On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation

Vahid Hashemi, Holger Hermanss, Andrea Turrini
- PDF
Compositional Verification of a Lock-Free Stack with RGITL

Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfahler, Wolfgang Reif
- PDF
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification

zeinab sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
- PDF
Building Traceable Event-B Models from Requirements

Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cirstea
- PDF
On the Satisfiability of Metric Temporal Logics over the Reals

Marcello Bersani, Matteo Rossi, Pierluigi San Pietro
- PDF
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling

Dana Dghaym, Michael Butler, Asieh Salehi Fathabadi
- PDF
Simplifying proofs of linearisability using layers of abstraction

Brijesh Dongol, John Derrick
- PDF
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems

Georges Morbé, Christoph Scholl
- PDF
From System Requirements to Software Requirements in the Four-Variable Model

Lucian Patcas, Mark Lawford, Tom Maibaum
- PDF
Verifying a Mix Net in CSP

Efstathios Stathakidis, David Williams, James Heather
- PDF
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata

Alexandre David, Kim G. Larsen, Axel Legay, Danny Poulsen
- PDF
Integrating model checking and UML based model-driven development for embedded systems

Zamira Daw, Rance Cleaveland, Marcus Vetter
- PDF
Richer Interface Automata with Optimistic and Pessimistic Compatibility

Gerald Lüttgen, Walter Vogler
- PDF
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model

Murat Moran, James Heather
- PDF