FMICS/PDMC

Keyphrases

Publications

volume 4346, 2007

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 FMICS/PDMC 4346 (2007)

2006

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
Test Coverage for Loose Timing Annotations. FMICS/PDMC (2006)
Hassen Saïdi
Discovering Symmetries. FMICS/PDMC (2006)
Ben Krause, Tim Wahls
jmle: A Tool for Executing JML Specifications Via Constraint Programming. FMICS/PDMC (2006)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
Can Saturation Be Parallelised? FMICS/PDMC (2006)
Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC (2006)
Borzoo Bonakdarpour, Sandeep S. Kulkarni
Automated Incremental Synthesis of Timed Automata. FMICS/PDMC (2006)
Allan Clark, Stephen Gilmore
Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC (2006)
Moritz Hammer, Michael Weber
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. FMICS/PDMC (2006)
Anders Hessel, Paul Pettersson
Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC (2006)
Kai Lampka, Markus Siegle, Max Walter
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC (2006)
Anna Slobodová
Challenges for Formal Verification in Industrial Setting. FMICS/PDMC (2006)
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC (2006)
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
Goanna - A Static Model Checker. FMICS/PDMC (2006)
Aad Mathijssen, A. Johannes Pretorius
Verified Design of an Automated Parking Garage. FMICS/PDMC (2006)
Indranil Saha, Suman Roy
A Finite State Modeling of AFDX Frame Management Using Spin. FMICS/PDMC (2006)
Lubos Brim
Distributed Verification: Exploring the Power of Raw Computing Power. FMICS/PDMC (2006)
Wenhui Zhang
SAT-Based Verification of LTL Formulas. FMICS/PDMC (2006)
Harald Fecher, Jens Schönborn
UML 2.0 State Machines: Complete Formal Semantics Via core state machine. FMICS/PDMC (2006)
Pieter J. L. Cuijpers, A. V. Fyukov
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC (2006)
Jan Tobias Mühlberg, Gerald Lüttgen
Blasting Linux Code. FMICS/PDMC (2006)
Tim A. C. Willemse
Heuristics for ioco -Based Test-Based Modelling. FMICS/PDMC (2006)
Christophe Pajault, Jean-François Pradat-Peyre
Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC (2006)
Jiri Barnat, Pavel Moravec
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC (2006)