![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
8. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.