Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th FMOODS 2002: Enschede, The Netherlands
- Bart Jacobs, Arend Rensink:
Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings 209, Kluwer 2002, ISBN 0-7923-7683-8
Invited Presentations
- Matthew B. Dwyer:
Software Model Checking: The Bandera approach. FMOODS 2002: 3-4 - Steve A. Schneider:
Verifying Authentication Protocol Implementations. FMOODS 2002: 5-24 - Carolyn L. Talcott:
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. FMOODS 2002: 25-26
Multiple Viewpoint Modelling
- Jan Jürjens:
Formal Semantics for Interacting UML subsystems. FMOODS 2002: 29-43 - Einar Broch Johnsen, Olaf Owe:
A Compositional Formalism for Object Viewpoints. FMOODS 2002: 45-60 - Chris Taylor, Eerke A. Boiten, John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76
Types, Service Types and Subtyping
- Heike Wehrheim:
Checking Behavioural Subtypes via Refinement. FMOODS 2002: 79-93 - Nabil Hameurlain:
Behavioural Subtyping and Property Preservation for Active Objects. FMOODS 2002: 95-110 - Abhishek Singh, Jonathan Billington:
A Formal Service Specification for IIOP based on ISO/IEC 14752. FMOODS 2002: 111-125
Semantics of Object-Based Programming Languages
- Sébastien Briais, Uwe Nestmann:
Mobile Objects "Must" Move Safely. FMOODS 2002: 129-146 - Prasannaa Thati, Reza Ziaei, Gul Agha:
A Theory of May Testing for Actors. FMOODS 2002: 147-162 - Frank S. de Boer, Cees Pierik:
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002: 163-177
Verification and Validation
- Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195 - Chiara Braghin, Agostino Cortesi, Riccardo Focardi:
Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212 - Heinz W. Schmidt, Ralf H. Reussner:
Generating Adapters for Concurrent Component Protocol Synchronisation. FMOODS 2002: 213-229
Specification and Analysis Techniques
- Lynne Blair, Trevor Jones, Stephan Reiff-Marganiec:
A Feature Manager Approach to the Analysis of Component-Interactions. FMOODS 2002: 233-248 - Yanjie Wang, Chris George:
Supporting Collaborative Design. FMOODS 2002: 249-262 - Gabriele Taentzer:
A Visual Modeling Framework for Distributed Object Computing. FMOODS 2002: 263-278
a service of 
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-04-19 19:18 CEST 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:
