default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. FMCO 2006: Amsterdam, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
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
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 2025-03-01 15:18 CET 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:
