8. FMCO 2009: Eindhoven, The Netherlands
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (Eds.): Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 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 Romanovsky: Patterns for Refinement Automation. 70-88
- Asieh Salehi Fathabadi, Michael 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team