| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steve A. Schneider |
Verifying Authentication Protocol Implementations.  |
FMOODS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Carolyn L. Talcott |
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jan Jürjens |
Formal Semantics for Interacting UML subsystems. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
Mobile Objects "Must" Move Safely. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Control Flow Analysis of Mobile Ambients with Security Boundaries. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nabil Hameurlain |
Behavioural Subtyping and Property Preservation for Active Objects. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe |
A Compositional Formalism for Object Viewpoints. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Software Model Checking: The Bandera approach. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Heike Wehrheim |
Checking Behavioural Subtypes via Refinement. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Taentzer |
A Visual Modeling Framework for Distributed Object Computing. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Arend Rensink (eds.) |
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 |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Cees Pierik |
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Heinz W. Schmidt, Ralf H. Reussner |
Generating Adapters for Concurrent Component Protocol Synchronisation. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lynne Blair, Trevor Jones, Stephan Reiff-Marganiec |
A Feature Manager Approach to the Analysis of Component-Interactions. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Prasannaa Thati, Reza Ziaei, Gul Agha |
A Theory of May Testing for Actors. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Abhishek Singh, Jonathan Billington |
A Formal Service Specification for IIOP based on ISO/IEC 14752. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jayadev Misra |
Object-Oriented Programming for Wide-Area Computing. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Atomic Failure in Wide-Area Computation. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
Using Relational and Behavioural Semantics in the Verification of Object Models. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque |
A Formal Specification of the CORBA Event Service. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa |
Components as Processes: An Exercise in Coalgebraic Modeling. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
On the Semantics of JavaSpaces. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunming Wang |
Behavior Expression and OMDD. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan H. Karp |
E-speak: the Technology for Ubiquitous E-services. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Refinement of objects and operations in Object-Z. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Luís Dotti, Leila Ribeiro 0001 |
Specification of Mobile Code Systems using Graph Grammars. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani, Florence Germain, Elie Najm |
Elements of an object-based model for distributed and mobile computation. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith 0001, Carolyn L. Talcott (eds.) |
Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA |
FMOODS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dino Distefano, Joost-Pieter Katoen, Arend Rensink |
On a Temporal Logic for Object-Based Systems. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Behavioural Subtyping and Property Preservation. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Attali, Denis Caromel, Romain Guider |
A Step Toward Automatic Distribution of Java Programs. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rik Eshuis, Roel J. Wieringa |
Requirements Level Semantics for UML Statecharts. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Janowski, Wojciech I. Mostowski |
Fail-Stop Components by Pattern Matching. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | José Ambrosio Toval Álvarez, José Luis Fernández Alemán |
Formally Modeling UML and its Evolution: A Holistic Approach. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lynne Blair, Trevor Jones, Gordon S. Blair |
Stochastically Enhanced Timed Automata. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lakos, Glenn Lewis |
A Practical Approach to Incremental Specification. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Nierstrasz |
Piccola - A Small Compositional Language (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mauro Gaspari, Gianluigi Zavattaro |
An Algebra of Actors. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi, Andrea Bracciali |
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi 0001, Akinori Yonezawa |
Distributed and concurrent objects based on linear logic (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Werner Damm, David Harel |
LSCs: Breathing Life into Message Sequence Charts. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Nadia Busi |
Mobile Nets. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rick van Rein, Maarten M. Fokkinga |
Protocol Assuring Universal Language. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli |
Foundations for Wide-Area Systems (Tutorial). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cosimo Laneve |
Calculi for Concurrent Objects (Tutorial). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Howard Bowman, John Derrick |
A Junction between State Based and Behavioural Specification (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stelvio Cimato |
Specifying component-based Java applications (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé |
Static safety analysis for non-uniform service availability in Actors. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer |
Reasoning about Histories in Object-based Distributed Systems. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ercument Canver, Friedrich W. von Henke |
Formal Development of Object-Based Systems in a Temporal Logic Setting. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Frédéric Gouëzec, Michel Diaz |
Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Infinite types for distributed object interfaces. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | C. Balzarotti, Fiorella de Cindio, Lucia Pomello |
Observation equivalences for the semantics of inheritance. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Scott F. Smith 0001, Carolyn L. Talcott |
Modular Reasoning for Actor Specification Diagrams. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Born, Andreas Hoffmann 0001, Mang Li, Ina Schieferdecker |
Combining Design Methods for Service Development (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Diego Latella, István Majzik, Mieke Massink |
Towards a Formal Operational Semantics of UML Statechart Diagrams. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Robert G. Clark, Ana M. D. Moreira |
SDL in Rigorus Object-Oriented Analysis (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lynne Blair, Gordon S. Blair |
Composition in Multiparadigm Specification Techniques. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
Developing Object-based Distributed Systems. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jan M. Broersen, Roel J. Wieringa |
A Logic for the Specification of Multi-Object Systems (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Claudia Linnhoff-Popien, Dirk Thißen 0001 |
Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Richard O. Sinnott, Mario Kolberg |
Engineering Telecommunication Services With SDL. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Birgit Geppert, Frank Rößler, Reinhard Gotzhein |
Pattern Application vs. Inheritance in SDL. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | José M. Troya, Antonio Vallecillo |
Specifying Reusable Controllers for Software Components (Short Paper). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ketil Stølen |
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sriram Sankar |
Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | S. Veglioni, Francesco Parisi-Presicce |
Composition and Interaction for Behavioural Specifications. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | D. Ramazani, Gregor von Bochmann |
Object Composition: A Case Study. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (eds.) |
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave |
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license