default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. FMCO 2008: Sophia Antipolis, France
- Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine:
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, ISBN 978-3-642-04166-2
The COMPAS Project
- Christine Mayr, Uwe Zdun, Schahram Dustdar
:
Reusable Architectural Decision Model for Model and Metadata Repositories. 1-20 - Natallia Kokash, Farhad Arbab:
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. 21-41
The CREDO Project
- Marcel Kyas, Einar Broch Johnsen:
A Real-Time Extension of Creol for Modelling Biomedical Sensors. 42-60 - Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs. 61-81 - Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz:
Formal Verification for Components and Connectors. 82-101
The DEPLOY Project
- Mats Neovius, Kaisa Sere:
Formal Modular Modelling of Context-Awareness. 102-118 - Michael Leuschel:
Towards Demonstrably Correct Compilation of Java Byte Code. 119-138 - Stefan Hallerstede:
Incremental System Modelling in Event-B. 139-158
The GRIDCOMP Project
- Ludovic Henrio, Florian Kammüller, Marcela Rivera:
An Asynchronous Distributed Component Model and Its Semantics. 159-179 - Antonio Cansado, Eric Madelaine:
Specification and Verification for Grid Component-Based Applications: From Models to Tools. 180-203 - Marco Aldinucci, Marco Danelutto, Peter Kilpatrick:
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming. 204-225
The MOBIUS Project
- Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda:
Session-Based Compilation Framework for Multicore Programming. 226-246 - Richard Bubel, Reiner Hähnle, Benjamin Weiß:
Abstract Interpretation of Symbolic Execution with Explicit State Updates. 247-277 - Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert:
BML and Related Tools. 278-297
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-29 00:05 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:
