7. FMOODS 2005: Athens, Greece
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Martin Steffen, Gianluigi Zavattaro
Springer, Lecture Notes in Computer Science 3535, ISBN: 3-540-26181-8
Contents
Invited Talk
Pattern Matching over a Dynamic Network of Tuple Spaces.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
1-14
Models and Calculi
A Dynamic Class Construct for Asynchronous Concurrent Objects.
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
15-30
An Abstract Machine for the Kell Calculus.
Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
31-46
UML
A Semantics for UML-RT Active Classes via Mapping into Circus.
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
99-114
Security
A Formal Security Analysis of an OSA/Parlay Authentication Interface.
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
131-146
Composition and Verification
Tracing Integration Analysis in Component-Based Formal Specifications.
Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer
147-162
CompAr: Ensuring Safe Around Advice Composition.
Renaud Pawlak, Laurence Duchien, Lionel Seinturier
163-178
Analysis of Java Programs
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.
Koushik Sen, Grigore Rosu, Gul Agha
211-226
Web Services
Transforming Information in RDF to Rewriting Logic.
Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
227-242
Specification and Verification
Property-Driven Development of a Coordination Model for Distributed Simulations.
Rolf Hennicker, Matthias Ludwig
290-305