Volume 66: Automated Verification of Critical Systems 2013

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

Table of Contents

Articles

Compositional Verification of a Lock-Free Stack with RGITL
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfahler, Wolfgang Reif
PDF
Fully Symbolic TCTL Model Checking for Incomplete Timed Systems
Georges Morbé, Christoph Scholl
PDF
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model
Murat Moran, James Heather
PDF
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling
Dana Dghaym, Michael Butler, Asieh Salehi Fathabadi
PDF
Integrating model checking and UML based model-driven development for embedded systems
Zamira Daw, Rance Cleaveland, Marcus Vetter
PDF
Building Traceable Event-B Models from Requirements
Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cirstea
PDF
Verifying a Mix Net in CSP
Efstathios Stathakidis, David Moreton Williams, James Heather
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
From System Requirements to Software Requirements in the Four-Variable Model
Lucian M. Patcas, Mark Lawford, Tom Maibaum
PDF
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
Vahid Hashemi, Holger Hermanss, Andrea Turrini
PDF
Simplifying proofs of linearisability using layers of abstraction
Brijesh Dongol, John Derrick
PDF
Richer Interface Automata with Optimistic and Pessimistic Compatibility
Gerald Lüttgen, Walter Vogler
PDF
On the Satisfiability of Metric Temporal Logics over the Reals
Marcello Maria Bersani, Matteo G. Rossi, Pierluigi San Pietro
PDF
Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
PDF