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 
- 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
- Jan A. Bergstra:
Machine Function Based Control Code Algebras.
17-41
- Egon Börger, Robert F. Stärk:
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.
42-76
- Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents.
77-110
- Frank S. de Boer, Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language.
111-133
- Razvan Diaconescu:
Behavioural Specification for Hierarchical Object Composition.
134-156
- Jochen Malte Küster, Gregor Engels:
Consistency Management Within Model-Based Object-Oriented Development of Components.
157-176
- José Luiz Fiadeiro, Antónia Lopes:
CommUnity on the Move: Architectures for Distribution and Mobility.
177-196
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella:
TulaFale: A Security Tool for Web Services.
197-222
- Jan Friso Groote, Tim A. C. Willemse:
A Checker for Modal Formulae for Processes with Data.
223-239
- Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic Essence of AsmL.
240-259
- Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau:
An MDA Approach to Tame Component Based Software Development.
260-275
- Jan J. M. M. Rutten:
An Application of Stream Calculus to Signal Flow Graphs.
276-291
- Natalia Ioustinova, Natalia Sidorova, Martin Steffen:
Synchronous Closing and Flow Analysis for Model Checking Timed Systems.
292-313
- Gregor Gößler, Joseph Sifakis:
Priority Systems.
314-329
- Heike Wehrheim:
Preserving Properties Under Change.
330-343
- Oleg Sheyner, Jeannette M. Wing:
Tools for Generating and Analyzing Attack Graphs.
344-372
Last update Tue Feb 14 03:56:07 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
