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

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

Denis Caromel, Ludovic Henrio, Eric Madelaine:
Active Objects and Distributed Components: Theory and Implementation. 133-152

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

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

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

Last update Fri May 24 02:34:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page