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

Invited Talks

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

Model Checking

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

Rewriting Logic

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

Components and Services

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

Algebraic Calculi

Ludovic Henrio, Florian Kammüller:
A Mechanized Model of the Theory of Objects. 190-205
Philippe Bidinger, Adriana B. Compagnoni:
Pict Correctness Revisited. 206-220

Specification, Verfication and Refinenment

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

Quality of Service

Marco Bernardo, Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. 269-284
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
Sun Meng, Farhad Arbab:
On Resource-Sensitive Timed Component Connectors. 301-316

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