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

Component and Service Oriented Computing

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

System Design

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

Tools

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

Algebraic Methods

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

Model Checking

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

Assertional Methods

Arnd Poetzsch-Heffter, Jan Schäfer:
Modular Specification of Encapsulated Object-Oriented Components. 313-341
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll:
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. 342-363
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

Quantitative Analysis

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

Last update Tue Feb 14 03:56:07 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page