FMICS/PDMC 2006: Bonn, Germany
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.): Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-70951-0
Invited Contributions
- Anna Slobodová: Challenges for Formal Verification in Industrial Setting. 1-22
- Lubos Brim: Distributed Verification: Exploring the Power of Raw Computing Power. 23-34
FMICS
- Kai Lampka, Markus Siegle, Max Walter: An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. 35-50
- Moritz Hammer, Michael Weber: "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. 51-66
- Hassen Saïdi: Discovering Symmetries. 67-83
- Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. 84-99
- Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Test Coverage for Loose Timing Annotations. 100-115
- Anders Hessel, Paul Pettersson: Model-Based Testing of a WAP Gateway: An Industrial Case-Study. 116-131
- Tim A. C. Willemse: Heuristics for ioco -Based Test-Based Modelling. 132-147
- Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák: Verifying VHDL Designs with Multiple Clocks in SMV. 148-164
- Pieter J. L. Cuijpers, A. V. Fyukov: Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. 195-210
- Harald Fecher, Jens Schönborn: UML 2.0 State Machines: Complete Formal Semantics Via core state machine. 244-260
- Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. 261-276
- Wenhui Zhang: SAT-Based Verification of LTL Formulas. 277-292
- Ben Krause, Tim Wahls: jmle: A Tool for Executing JML Specifications Via Constraint Programming. 293-296
- Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. 297-300
PDMC
- Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. 301-315
- Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. 316-330
- Christophe Pajault, Jean-François Pradat-Peyre: Distributed Colored Petri Net Model-Checking with Cyclades. 347-361
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team