7. FMOODS 2005: Athens, Greece

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535 Springer 2005, ISBN 3-540-26181-8 BibTeX

Invited Talk

Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. 1-14
Electronic Edition (link) BibTeX

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects. 15-30
Electronic Edition (link) BibTeX
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani:
An Abstract Machine for the Kell Calculus. 31-46
Electronic Edition (link) BibTeX
Lucia Acciai, Michele Boreale:
XPi: A Typed Process Calculus for XML Messaging. 47-66
Electronic Edition (link) BibTeX

Holger Rasch, Heike Wehrheim:
Checking the Validity of Scenarios in UML Models. 67-82
Electronic Edition (link) BibTeX
Marcel Kyas:
An Extended Type System for OCL Supporting Templates and Transformations. 83-98
Electronic Edition (link) BibTeX
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus. 99-114
Electronic Edition (link) BibTeX

Fabio Martinelli:
Towards an Integrated Formal Analysis for Security and Trust. 115-130
Electronic Edition (link) BibTeX
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso:
A Formal Security Analysis of an OSA/Parlay Authentication Interface. 131-146
Electronic Edition (link) BibTeX

Andreas Roth:
Specification and Verification of Encapsulation in Java Programs. 195-210
Electronic Edition (link) BibTeX
Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. 211-226
Electronic Edition (link) BibTeX

Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley:
Transforming Information in RDF to Rewriting Logic. 227-242
Electronic Edition (link) BibTeX
Wolfgang Reisig:
Modeling- and Analysis Techniques for Web Services and Business Processes. 243-258
Electronic Edition (link) BibTeX
Nadia Busi, Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents. 259-274
Electronic Edition (link) BibTeX

Pawel T. Wojciechowski, Olivier Rütti:
On Correctness of Dynamic Protocol Update. 275-289
Electronic Edition (link) BibTeX
Rolf Hennicker, Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations. 290-305
Electronic Edition (link) BibTeX
Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska:
A Timing Analysis of AODV. 306-321
Electronic Edition (link) BibTeX