IFIP TC6 Open Digital Library

32. FORTE / 14. FMOODS 2012: Stockholm, Sweden

Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Holger Giese, Grigore Rosu

Springer, Lecture Notes in Computer Science 7273, ISBN: 978-3-642-30792-8


A Reversible Abstract Machine and Its Space Overhead.

Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani


A Small Model Theorem for Rectangular Hybrid Automata Networks.

Taylor T. Johnson, Sayan Mitra


Analysis of May-Happen-in-Parallel in Concurrent Objects.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim


Behavioural Equivalences over Migrating Processes with Timers.

Bogdan Aman, Gabriel Ciobanu, Maciej Koutny


Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.

Kais Klai, Jörg Desel


Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.

Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä


Conformance Testing of Boolean Programs with Multiple Faults.

Pavithra Prabhakar, Mahesh Viswanathan


Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis


Modelling Probabilistic Wireless Networks - (Extended Abstract).

Andrea Cerone, Matthew Hennessy


Noninterference via Symbolic Execution.

Dimiter Milushev, Wim Beck, Dave Clarke


Defining Distances for All Process Semantics.

David Romero-Hernández, David de Frutos-Escrig


Secure Multi-Execution through Static Program Transformation.

Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas


Synchronous Interface Theories and Time Triggered Scheduling.

Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic


TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha


Verification of Ad Hoc Networks with Node and Communication Failures.

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro


Verification of Timed Erlang Programs Using McErlang.

Clara Benac Earle, Lars-Åke Fredlund