default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. FMCO 2009: Eindhoven, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel:
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6286, Springer 2010, ISBN 978-3-642-17070-6
The BIONETS Project
- Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan:
A Framework for Reasoning on Component Composition. 1-20
The COMPAS Project
- Natallia Kokash
, Christian Krause, Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models. 21-40
The CREDO Project
- Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer:
The Credo Methodology - (Extended Version). 41-69
The DEPLOY Project
- Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky:
Patterns for Refinement Automation. 70-88 - Asieh Salehi Fathabadi, Michael J. Butler:
Applying Event-B Atomicity Decomposition to a Multi Media Protocol. 89-104
The FM-SOA Working Group
- Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Abstract Certification of Global Non-interference in Rewriting Logic. 105-124
The HATS Project
- Richard Bubel, Reiner Hähnle, Ran Ji:
Interleaving Symbolic Execution and Partial Evaluation. 125-146
The INESS Project
- Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King:
The Use of Model Transformation in the INESS Project. 147-165 - Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote:
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. 166-185
The MOGENTES Project
- Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig:
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. 186-207 - Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher:
Mutation-Based Test Case Generation for Simulink Models. 208-227 - Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Model-Based Mutation Testing of Hybrid Systems. 228-249
The PROTEST Project
- John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson:
Property-Based Testing - The ProTest Project. 250-271 - Neil Walkinshaw, John Derrick:
Incrementally Discovering Testable Specifications from Program Executions. 272-289
The QUASIMODO Project
- Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. 290-310 - Holger Hermanns, Joost-Pieter Katoen:
The How and Why of Interactive Markov Chains. 311-337
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 2026-05-27 02:06 CEST 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:
