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 BibTeX
Invited Contributions
FMICS
- Kai Lampka, Markus Siegle, Max Walter:
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.
35-50
Electronic Edition (link) BibTeX
- Moritz Hammer, Michael Weber:
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.
51-66
Electronic Edition (link) BibTeX
- Hassen Saïdi:
Discovering Symmetries.
67-83
Electronic Edition (link) BibTeX
- Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions.
84-99
Electronic Edition (link) BibTeX
- C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz:
Test Coverage for Loose Timing Annotations.
100-115
Electronic Edition (link) BibTeX
- Anders Hessel, Paul Pettersson:
Model-Based Testing of a WAP Gateway: An Industrial Case-Study.
116-131
Electronic Edition (link) BibTeX
- Tim A. C. Willemse:
Heuristics for ioco -Based Test-Based Modelling.
132-147
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Aad Mathijssen, A. Johannes Pretorius:
Verified Design of an Automated Parking Garage.
165-180
Electronic Edition (link) BibTeX
- Allan Clark, Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements.
181-194
Electronic Edition (link) BibTeX
- Pieter J. L. Cuijpers, A. V. Fyukov:
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.
195-210
Electronic Edition (link) BibTeX
- Jan Tobias Mühlberg, Gerald Lüttgen:
Blasting Linux Code.
211-226
Electronic Edition (link) BibTeX
- Indranil Saha, Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin.
227-243
Electronic Edition (link) BibTeX
- Harald Fecher, Jens Schönborn:
UML 2.0 State Machines: Complete Formal Semantics Via core state machine.
244-260
Electronic Edition (link) BibTeX
- Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Incremental Synthesis of Timed Automata.
261-276
Electronic Edition (link) BibTeX
- Wenhui Zhang:
SAT-Based Verification of LTL Formulas.
277-292
Electronic Edition (link) BibTeX
- Ben Krause, Tim Wahls:
jmle: A Tool for Executing JML Specifications Via Constraint Programming.
293-296
Electronic Edition (link) BibTeX
- Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch:
Goanna - A Static Model Checker.
297-300
Electronic Edition (link) BibTeX
PDMC
Copyright © Sat May 16 23:12:18 2009
by Michael Ley (ley@uni-trier.de)