default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. FMCO 2005: Amsterdam, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, ISBN 3-540-36749-7
Component and Service Oriented Computing
- Kung-Kiu Lau, Mario Ornaghi, Zheng Wang:
A Software Component Model and Its Preliminary Formalisation. 1-21 - Gian-Luigi Ferrari
, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto:
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. 22-43
System Design
- Jan Komenda, Jan H. van Schuppen:
Control of Modular and Distributed Discrete-Event Systems. 44-63 - Jan Jürjens:
Model-Based Security Engineering with UML: Introducing Security Aspects. 64-87 - Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen:
The Pragmatics of STAIRS. 88-114
Tools
- Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. 115-137 - Dennis Dams, Kedar S. Namjoshi:
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. 138-160
Algebraic Methods
- Davide Sangiorgi:
Beyond Bisimulation: The "up-to" Techniques. 161-171 - Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Separation Results Via Leader Election Problems. 172-194 - Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind:
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. 195-218
Model Checking
- Orna Grumberg:
Abstraction and Refinement in Model Checking. 219-242 - Edmund M. Clarke, Natasha Sharygina, Nishant Sinha:
Program Compatibility Approaches. 243-258 - Jiri Barnat, Lubos Brim, Ivana Cerná:
Cluster-Based LTL Model Checking of Large Systems. 259-279 - Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Safety and Liveness in Concurrent Pointer Programs. 280-312
Assertional Methods
- Arnd Poetzsch-Heffter, Jan Schäfer:
Modular Specification of Encapsulated Object-Oriented Components. 313-341 - Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll:
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. 342-363 - Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino:
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. 364-387
Quantitative Analysis
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. 388-407 - Marcus Größer, Christel Baier:
Partial Order Reduction for Markov Decision Processes: A Survey. 408-427
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-02-27 22:52 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:
