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. 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

Natallia Kokash, Christian Krause, Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models. 21-40

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

Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
Abstract Certification of Global Non-interference in Rewriting Logic. 105-124

Richard Bubel, Reiner Hähnle, Ran Ji:
Interleaving Symbolic Execution and Partial Evaluation. 125-146

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

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

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

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

Last update Fri May 24 02:34:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page