Abstract is missing.
- A Software Component Model and Its Preliminary FormalisationKung-Kiu Lau, Mario Ornaghi, Zheng Wang. 1-21 [doi]
- Synchronised Hyperedge Replacement as a Model for Service Oriented ComputingGian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto. 22-43 [doi]
- Control of Modular and Distributed Discrete-Event SystemsJan Komenda, Jan H. van Schuppen. 44-63 [doi]
- Model-Based Security Engineering with UML: Introducing Security AspectsJan Jürjens. 64-87 [doi]
- The Pragmatics of STAIRSRagnhild Kobro Runde, Øystein Haugen, Ketil Stølen. 88-114 [doi]
- Smallfoot: Modular Automatic Assertion Checking with Separation LogicJosh Berdine, Cristiano Calcagno, Peter W. O Hearn. 115-137 [doi]
- Orion: High-Precision Methods for Static Error Analysis of C and C++ ProgramsDennis Dams, Kedar S. Namjoshi. 138-160 [doi]
- Beyond Bisimulation: The up-to TechniquesDavide Sangiorgi. 161-171 [doi]
- Separation Results Via Leader Election ProblemsMaria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi. 172-194 [doi]
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching BisimulationWan Fokkink, Rob J. van Glabbeek, Paulien de Wind. 195-218 [doi]
- Abstraction and Refinement in Model CheckingOrna Grumberg. 219-242 [doi]
- Program Compatibility ApproachesEdmund M. Clarke, Natasha Sharygina, Nishant Sinha. 243-258 [doi]
- Cluster-Based LTL Model Checking of Large SystemsJiri Barnat, Lubos Brim, Ivana Cerná. 259-279 [doi]
- Safety and Liveness in Concurrent Pointer ProgramsDino Distefano, Joost-Pieter Katoen, Arend Rensink. 280-312 [doi]
- Modular Specification of Encapsulated Object-Oriented ComponentsArnd Poetzsch-Heffter, Jan Schäfer. 313-341 [doi]
- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll. 342-363 [doi]
- Boogie: A Modular Reusable Verifier for Object-Oriented ProgramsMichael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino. 364-387 [doi]
- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda LanguagesAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky. 388-407 [doi]
- Partial Order Reduction for Markov Decision Processes: A SurveyMarcus Größer, Christel Baier. 408-427 [doi]