4. FMCO 2005: Amsterdam, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111 Springer 2006, ISBN 3-540-36749-7 BibTeX

Component and Service Oriented Computing

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang:
A Software Component Model and Its Preliminary Formalisation. 1-21
Electronic Edition (link) BibTeX
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. 22-43
Electronic Edition (link) BibTeX

Jan Komenda, Jan H. van Schuppen:
Control of Modular and Distributed Discrete-Event Systems. 44-63
Electronic Edition (link) BibTeX
Jan Jürjens:
Model-Based Security Engineering with UML: Introducing Security Aspects. 64-87
Electronic Edition (link) BibTeX
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen:
The Pragmatics of STAIRS. 88-114
Electronic Edition (link) BibTeX

Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. 115-137
Electronic Edition (link) BibTeX
Dennis Dams, Kedar S. Namjoshi:
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. 138-160
Electronic Edition (link) BibTeX

Davide Sangiorgi:
Beyond Bisimulation: The "up-to" Techniques. 161-171
Electronic Edition (link) BibTeX
Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Separation Results Via Leader Election Problems. 172-194
Electronic Edition (link) BibTeX
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind:
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. 195-218
Electronic Edition (link) BibTeX

Orna Grumberg:
Abstraction and Refinement in Model Checking. 219-242
Electronic Edition (link) BibTeX
Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Program Compatibility Approaches. 243-258
Electronic Edition (link) BibTeX
Jiri Barnat, Lubos Brim, Ivana Cerná:
Cluster-Based LTL Model Checking of Large Systems. 259-279
Electronic Edition (link) BibTeX
Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Safety and Liveness in Concurrent Pointer Programs. 280-312
Electronic Edition (link) BibTeX

Arnd Poetzsch-Heffter, Jan Schäfer:
Modular Specification of Encapsulated Object-Oriented Components. 313-341
Electronic Edition (link) BibTeX
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll:
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. 342-363
Electronic Edition (link) BibTeX
Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino:
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. 364-387
Electronic Edition (link) BibTeX

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. 388-407
Electronic Edition (link) BibTeX
Marcus Größer, Christel Baier:
Partial Order Reduction for Markov Decision Processes: A Survey. 408-427
Electronic Edition (link) BibTeX