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.
Lecture Notes in Computer Science 4346 Springer 2007, 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
- C. 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
- Aad Mathijssen, A. Johannes Pretorius:
Verified Design of an Automated Parking Garage.
165-180
- Allan Clark, Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements.
181-194
- Pieter J. L. Cuijpers, A. V. Fyukov:
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.
195-210
- Jan Tobias Mühlberg, Gerald Lüttgen:
Blasting Linux Code.
211-226
- Indranil Saha, Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin.
227-243
- 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
Copyright © Tue Nov 17 00:20:16 2009
by Michael Ley (ley@uni-trier.de)
