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 BibTeX
The MOBIUS Project
- Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie:
The MOBIUS Proof Carrying Code Infrastructure.
1-24
Electronic Edition (link) BibTeX
- Lennart Beringer, Martin Hofmann, Mariela Pavlova:
Certification Using the Mobius Base Logic.
25-51
Electronic Edition (link) BibTeX
- David Aspinall, Patrick Maier, Ian Stark:
Safety Guarantees from Explicit Resource Management.
52-71
Electronic Edition (link) BibTeX
- Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation.
72-112
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
The GridCOMP Project
The SELFMAN Project
The ARTIST Project
The CREDO Project
Copyright © Sat May 16 23:12:17 2009
by Michael Ley (ley@uni-trier.de)
