Abstract is missing.
- The Orc Programming LanguageDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra. 1-25 [doi]
- Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service CompositionsLuciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini. 26-40 [doi]
- Approximated Context-Sensitive Analysis for Parameterized VerificationParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine. 41-56 [doi]
- Verification of Parameterized Systems with Combinations of Abstract DomainsNaghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler. 57-72 [doi]
- On Model-Checking Optimistic Replication AlgorithmsHanifa Boucheneb, Abdessamad Imine. 73-89 [doi]
- Recursive Parametric Automata and epsilon-RemovalLin Liu, Jonathan Billington. 90-105 [doi]
- A Software Platform for Timed Mobility and Timed InteractionGabriel Ciobanu, Calin Juravle. 106-121 [doi]
- Modeling, Validation, and Verification of PCEP Using the IF LanguageIksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère. 122-136 [doi]
- Distinguing Non-deterministic Timed Finite State MachinesMaxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko. 137-151 [doi]
- System Model-Based Definition of Modeling Language SemanticsHans Grönniger, Jan Oliver Ringert, Bernhard Rumpe. 152-166 [doi]
- Typing Component-Based Communication SystemsMichael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani. 167-181 [doi]
- Epistemic Logic for the Applied Pi CalculusRohit Chadha, Stéphanie Delaune, Steve Kremer. 182-197 [doi]
- On Process-Algebraic Proof Methods for Fault Tolerant Distributed SystemsMorten Kühnrich, Uwe Nestmann. 198-212 [doi]
- Using First-Order Logic to Reason about Submodule ConstructionGregor von Bochmann. 213-218 [doi]
- A Model-Checking Approach for Service Component ArchitecturesJoão Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi. 219-224 [doi]
- Dynamic Symbolic Execution of Distributed Concurrent ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. 225-230 [doi]
- Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal ApproachGregorio Díaz, Ismael Rodríguez. 231-236 [doi]
- A Type Graph Model for Java ProgramsArend Rensink, Eduardo Zambon. 237-242 [doi]
- Conformance Testing of Network Simulators Based on Metamorphic Testing TechniqueTsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang. 243-248 [doi]