default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th FMOODS 2003: Paris, France
- Elie Najm, Uwe Nestmann, Perdita Stevens:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884, Springer 2003, ISBN 3-540-20491-1
Invited Talk
- Bart Jacobs:
Java's Integral Types in PVS. 1-15
Models
- Ana Paula Lüdtke Ferreira
, Leila Ribeiro:
Towards Object-Oriented Graphs and Grammars. 16-31 - Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. 32-46 - Andreas Prinz, Martin von Löwis:
Engineering the SDL Formal Language Definition. 47-63
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 - Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro:
A Calculus for Long-Running Transactions. 124-138 - 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 - Kazuhiro Ogata, Kokichi Futatsugi:
Proof Scores in the OTS/CafeOBJ Method. 170-184 - Susan Eisenbach, Vladimir Jurisic, Chris Sadler:
Managing the Evolution of .NET Programs. 185-198
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
