default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. FMCO 2007: Amsterdam, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5
The MOBIUS Project
- Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie:
The MOBIUS Proof Carrying Code Infrastructure. 1-24 - Lennart Beringer, Martin Hofmann, Mariela Pavlova:
Certification Using the Mobius Base Logic. 25-51 - David Aspinall, Patrick Maier, Ian Stark
:
Safety Guarantees from Explicit Resource Management. 52-71 - Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. 72-112 - Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini:
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. 113-132
The GridCOMP Project
- Denis Caromel, Ludovic Henrio, Eric Madelaine:
Active Objects and Distributed Components: Theory and Implementation. 133-152
The SELFMAN Project
- Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. 153-178
The ARTIST Project
- Simon Bliudze, Joseph Sifakis:
Causal Semantics for the Algebra of Connectors. 179-199 - Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. 200-225
The CREDO Project
- Dave Clarke:
Coordination: Reo, Nets, and Logic. 226-256 - Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas:
An Object-Oriented Component Model for Heterogeneous Nets. 257-279 - Mohammad Mahdi Jaghoori:
Coordinating Object Oriented Components Using Data-Flow Networks. 280-311
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 2026-05-20 23:11 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:
