Abstract is missing.
- A Reversible Abstract Machine and Its Space OverheadMichael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. 1-17 [doi]
- A Small Model Theorem for Rectangular Hybrid Automata NetworksTaylor T. Johnson, Sayan Mitra. 18-34 [doi]
- Analysis of May-Happen-in-Parallel in Concurrent ObjectsElvira Albert, Antonio Flores-Montoya, Samir Genaim. 35-51 [doi]
- Behavioural Equivalences over Migrating Processes with TimersBogdan Aman, Gabriel Ciobanu, Maciej Koutny. 52-66 [doi]
- Checking Soundness of Business Processes Compositionally Using Symbolic Observation GraphsKais Klai, Jörg Desel. 67-83 [doi]
- Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed AutomataRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. 84-100 [doi]
- Conformance Testing of Boolean Programs with Multiple FaultsPavithra Prabhakar, Mahesh Viswanathan. 101-117 [doi]
- Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and PrioritiesSaddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis. 118-134 [doi]
- Modelling Probabilistic Wireless Networks - (Extended Abstract)Andrea Cerone, Matthew Hennessy. 135-151 [doi]
- Noninterference via Symbolic ExecutionDimiter Milushev, Wim Beck, Dave Clarke. 152-168 [doi]
- Defining Distances for All Process SemanticsDavid Romero-Hernández, David de Frutos-Escrig. 169-185 [doi]
- Secure Multi-Execution through Static Program TransformationGilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas. 186-202 [doi]
- Synchronous Interface Theories and Time Triggered SchedulingBenoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic. 203-218 [doi]
- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor ProgramsSamira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha. 219-234 [doi]
- Verification of Ad Hoc Networks with Node and Communication FailuresGiorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro. 235-250 [doi]
- Verification of Timed Erlang Programs Using McErlangClara Benac Earle, Lars-Åke Fredlund. 251-267 [doi]