default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th FMOODS 2007: Paphos, Cyprus
- Marcello M. Bonsangue, Einar Broch Johnsen:
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4468, Springer 2007, ISBN 978-3-540-72919-8
Invited Talks
- Mario Coppo, Mariangiola Dezani-Ciancaglini
, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. 1-31 - Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems. 32-43
Model Checking
- L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel:
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. 44-58 - John Mullins, Raveca Oarga:
Model Checking of Extended OCL Constraints on UML Models in SOCLe. 59-75 - Gregor Engels, Christian Soltenborn, Heike Wehrheim:
Analysis of UML Activities Using Dynamic Meta Modeling. 76-90
Rewriting Logic
- Adrián Riesco, Alberto Verdejo:
Distributed Applications Implemented in Maude with Parameterized Skeletons. 91-106 - Mark Hills, Grigore Rosu:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. 107-121 - Peter Csaba Ölveczky, Stian Thorvaldsen:
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. 122-140
Components and Services
- Pascal Poizat, Gwen Salaün:
Adaptation of Open Component-Based Systems. 141-156 - Arnd Poetzsch-Heffter, Jan Schäfer:
A Representation-Independent Behavioral Semantics for Object-Oriented Components. 157-173 - Cristian Prisacariu, Gerardo Schneider:
A Formal Language for Electronic Contracts. 174-189
Algebraic Calculi
- Ludovic Henrio, Florian Kammüller:
A Mechanized Model of the Theory of Objects. 190-205 - Philippe Bidinger, Adriana B. Compagnoni:
Pict Correctness Revisited. 206-220
Specification, Verfication and Refinenment
- Holger Grandy, Kurt Stenzel, Wolfgang Reif:
A Refinement Method for Java Programs. 221-235 - Thomas Ruhroth, Heike Wehrheim:
Refactoring Object-Oriented Specifications with Data and Processes. 236-251 - Frank S. de Boer:
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. 252-268
Quality of Service
- Marco Bernardo, Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. 269-284 - Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. 285-300 - Sun Meng, Farhad Arbab:
On Resource-Sensitive Timed Component Connectors. 301-316
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 2025-11-20 00:12 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:
