9. FMOODS 2007: Paphos, Cyprus

Marcello M. Bonsangue, Einar Broch Johnsen (Eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4468 Springer 2007, ISBN 978-3-540-72919-8 BibTeX

Invited Talks

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. 1-31
Electronic Edition (link) BibTeX
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems. 32-43
Electronic Edition (link) BibTeX

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel:
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. 44-58
Electronic Edition (link) BibTeX
John Mullins, Raveca Oarga:
Model Checking of Extended OCL Constraints on UML Models in SOCLe. 59-75
Electronic Edition (link) BibTeX
Gregor Engels, Christian Soltenborn, Heike Wehrheim:
Analysis of UML Activities Using Dynamic Meta Modeling. 76-90
Electronic Edition (link) BibTeX

Adrián Riesco, Alberto Verdejo:
Distributed Applications Implemented in Maude with Parameterized Skeletons. 91-106
Electronic Edition (link) BibTeX
Mark Hills, Grigore Rosu:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. 107-121
Electronic Edition (link) BibTeX
Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. 122-140
Electronic Edition (link) BibTeX

Pascal Poizat, Gwen Salaün:
Adaptation of Open Component-Based Systems. 141-156
Electronic Edition (link) BibTeX
Arnd Poetzsch-Heffter, Jan Schäfer:
A Representation-Independent Behavioral Semantics for Object-Oriented Components. 157-173
Electronic Edition (link) BibTeX
Cristian Prisacariu, Gerardo Schneider:
A Formal Language for Electronic Contracts. 174-189
Electronic Edition (link) BibTeX

Holger Grandy, Kurt Stenzel, Wolfgang Reif:
A Refinement Method for Java Programs. 221-235
Electronic Edition (link) BibTeX
Thomas Ruhroth, Heike Wehrheim:
Refactoring Object-Oriented Specifications with Data and Processes. 236-251
Electronic Edition (link) BibTeX
Frank S. de Boer:
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. 252-268
Electronic Edition (link) BibTeX

Marco Bernardo, Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. 269-284
Electronic Edition (link) BibTeX
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. 285-300
Electronic Edition (link) BibTeX
Sun Meng, Farhad Arbab:
On Resource-Sensitive Timed Component Connectors. 301-316
Electronic Edition (link) BibTeX