6. FMOODS 2003: Paris, France
Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-20491-1
Invited Talk
- Bart Jacobs: Java's Integral Types in PVS. 1-15
Models
- Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. 32-46
Logic and Verification
- Cees Pierik, Frank S. de Boer: A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. 64-78
- Heike Wehrheim: Inheritance of Temporal Logic Properties. 79-93
- Matthias Colin, Xavier Thirioux, Marc Pantel: Temporal Logic Based Static Analysis for Non-uniform Behaviours. 94-108
Calculi
- Philippe Bidinger, Jean-Bernard Stefani: The Kell Calculus: Operational Semantics and Type System. 109-123
- Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. 139-154
Java and .NET
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. 155-169
UML
- Diego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. 199-213
- Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: New Operators for the TURTLE Real-Time UML Profile. 214-228
- Holger Rasch, Heike Wehrheim: Checking Consistency in UML Diagramms: Classes and State Machines. 229-243
Composition and Verification
- Frederic Tronel, Frédéric Lang, Hubert Garavel: Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. 244-260
- Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. 261-275
- David H. Akehurst, John Derrick, A. Gill Waters: Design and Verification of Distributed Multi-media Systems. 176-292
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team