5. FMCO 2006: Amsterdam, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709 Springer 2007, ISBN 978-3-540-74791-8

Testing

Lars Frantzen, Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components. 1-25
Cyrille Artho, Armin Biere, Shinichi Honiden:
Exhaustive Testing of Exception Handlers with Enforcer. 26-46
Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems. 47-69

Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. 70-101
Marjan Sirjani:
Rebeca: Theory, Applications, and Tools. 102-126
Martin Leucker:
Learning Meets Verification. 127-151

Trust and Security

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet:
JACK - A Tool for Validation of Security and Behaviour of Java Applications. 152-174
Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
Towards a Formal Framework for Computational Trust. 175-184

Models of Computation

Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi. 185-206
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. 207-245

Distributed Programming

Bill Donkervoet, Gul Agha:
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. 246-265
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
Links: Web Programming Without Tiers. 266-296

Last update Sat May 18 18:30:44 2013 CET by the DBLP Team —

This material is Open Data

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