default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd FORTE / 14th FMOODS 2012: Stockholm, Sweden
- Holger Giese, Grigore Rosu:
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. Lecture Notes in Computer Science 7273, Springer 2012, ISBN 978-3-642-30792-8 - Michael Lienhardt, Ivan Lanese
, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. 1-17 - Taylor T. Johnson, Sayan Mitra:
A Small Model Theorem for Rectangular Hybrid Automata Networks. 18-34 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
Analysis of May-Happen-in-Parallel in Concurrent Objects. 35-51 - Bogdan Aman, Gabriel Ciobanu, Maciej Koutny:
Behavioural Equivalences over Migrating Processes with Timers. 52-66 - Kais Klai, Jörg Desel:
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. 67-83 - Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. 84-100 - Pavithra Prabhakar, Mahesh Viswanathan:
Conformance Testing of Boolean Programs with Multiple Faults. 101-117 - Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. 118-134 - Andrea Cerone, Matthew Hennessy:
Modelling Probabilistic Wireless Networks - (Extended Abstract). 135-151 - Dimiter Milushev, Wim Beck, Dave Clarke:
Noninterference via Symbolic Execution. 152-168 - David Romero-Hernández, David de Frutos-Escrig:
Defining Distances for All Process Semantics. 169-185 - Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas:
Secure Multi-Execution through Static Program Transformation. 186-202 - Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. 203-218 - Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. 219-234 - Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. 235-250 - Clara Benac Earle, Lars-Åke Fredlund:
Verification of Timed Erlang Programs Using McErlang. 251-267
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-10-16 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
