2. FMCO 2003: Leiden, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188 Springer 2004, ISBN 3-540-22942-6 BibTeX

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. 1-16
Electronic Edition (link) BibTeX
Jan A. Bergstra:
Machine Function Based Control Code Algebras. 17-41
Electronic Edition (link) BibTeX
Egon Börger, Robert F. Stärk:
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. 42-76
Electronic Edition (link) BibTeX
Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents. 77-110
Electronic Edition (link) BibTeX
Frank S. de Boer, Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language. 111-133
Electronic Edition (link) BibTeX
Razvan Diaconescu:
Behavioural Specification for Hierarchical Object Composition. 134-156
Electronic Edition (link) BibTeX
Jochen Malte Küster, Gregor Engels:
Consistency Management Within Model-Based Object-Oriented Development of Components. 157-176
Electronic Edition (link) BibTeX
José Luiz Fiadeiro, Antónia Lopes:
CommUnity on the Move: Architectures for Distribution and Mobility. 177-196
Electronic Edition (link) BibTeX
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella:
TulaFale: A Security Tool for Web Services. 197-222
Electronic Edition (link) BibTeX
Jan Friso Groote, Tim A. C. Willemse:
A Checker for Modal Formulae for Processes with Data. 223-239
Electronic Edition (link) BibTeX
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic Essence of AsmL. 240-259
Electronic Edition (link) BibTeX
Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau:
An MDA Approach to Tame Component Based Software Development. 260-275
Electronic Edition (link) BibTeX
Jan J. M. M. Rutten:
An Application of Stream Calculus to Signal Flow Graphs. 276-291
Electronic Edition (link) BibTeX
Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Synchronous Closing and Flow Analysis for Model Checking Timed Systems. 292-313
Electronic Edition (link) BibTeX
Gregor Gößler, Joseph Sifakis:
Priority Systems. 314-329
Electronic Edition (link) BibTeX
Heike Wehrheim:
Preserving Properties Under Change. 330-343
Electronic Edition (link) BibTeX
Oleg Sheyner, Jeannette M. Wing:
Tools for Generating and Analyzing Attack Graphs. 344-372
Electronic Edition (link) BibTeX