6. FMCO 2007: Amsterdam, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): 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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/BartheCGJP07
- ask others
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. 1-24
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/BeringerHP07
- ask others
Lennart Beringer, Martin Hofmann, Mariela Pavlova: Certification Using the Mobius Base Logic. 25-51
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/AspinallMS07
- ask others
David Aspinall, Patrick Maier, Ian Stark: Safety Guarantees from Explicit Resource Management. 52-71
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/CunninghamDDFMS07
- ask others
Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers: Universe Types for Topology and Encapsulation. 72-112
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/AlbertAGPZ07
- ask others
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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/CaromelHM07
- ask others
Denis Caromel, Ludovic Henrio, Eric Madelaine: Active Objects and Distributed Components: Theory and Implementation. 133-152

The SELFMAN Project

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/RoyHRSYC07
- ask others
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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/BliudzeS07
- ask others
Simon Bliudze, Joseph Sifakis: Causal Semantics for the Algebra of Connectors. 179-199
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/BenvenisteCFMPS07
- ask others
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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/Clarke07
- ask others
Dave Clarke: Coordination: Reo, Nets, and Logic. 226-256
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/JohnsenOBK07
- ask others
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. 257-279
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmco/Jaghoori07
- ask others
Mohammad Mahdi Jaghoori: Coordinating Object Oriented Components Using Data-Flow Networks. 280-311