More Web Proxy on the site http://driver.im/

For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

11th FMICS/PDMC 2006: Bonn, Germany

> Home > Conferences and Workshops > FMICS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2006
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
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

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Slobodova06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Slobodova06
Anna Slobodová:
Challenges for Formal Verification in Industrial Setting. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Brim06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Brim06
Lubos Brim:
Distributed Verification: Exploring the Power of Raw Computing Power. 23-34

FMICS

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LampkaSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LampkaSW06
Kai Lampka, Markus Siegle, Max Walter:
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HammerW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HammerW06
Moritz Hammer, Michael Weber:
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Saidi06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Saidi06
Hassen Saïdi:
Discovering Symmetries. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BrimCMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BrimCMS06
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HelmstetterMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HelmstetterMM06
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz:
Test Coverage for Loose Timing Annotations. 100-115
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HesselP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HesselP06
Anders Hessel, Paul Pettersson:
Model-Based Testing of a WAP Gateway: An Industrial Case-Study. 116-131
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Willemse06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Willemse06
Tim A. C. Willemse:
Heuristics for ioco -Based Test-Based Modelling. 132-147
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SmrckaRVSMR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SmrckaRVSMR06
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MathijssenP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MathijssenP06
Aad Mathijssen, A. Johannes Pretorius:
Verified Design of an Automated Parking Garage. 165-180
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/ClarkG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/ClarkG06
Allan Clark, Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements. 181-194
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/CuijpersF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/CuijpersF06
Pieter J. L. Cuijpers, A. V. Fyukov:
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. 195-210
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MuhlbergL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MuhlbergL06
Jan Tobias Mühlberg, Gerald Lüttgen:
Blasting Linux Code. 211-226
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SahaR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SahaR06
Indranil Saha, Suman Roy:
A Finite State Modeling of AFDX Frame Management Using Spin. 227-243
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FecherS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FecherS06
Harald Fecher, Jens Schönborn:
UML 2.0 State Machines: Complete Formal Semantics Via core state machine. 244-260
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BonakdarpourK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BonakdarpourK06
Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Incremental Synthesis of Timed Automata. 261-276
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Zhang06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Zhang06
Wenhui Zhang:
SAT-Based Verification of LTL Formulas. 277-292
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KrauseW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KrauseW06
Ben Krause, Tim Wahls:
jmle: A Tool for Executing JML Specifications Via Constraint Programming. 293-296
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FehnkerHJLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FehnkerHJLR06
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch:
Goanna - A Static Model Checker. 297-300

PDMC

- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AbrahamSBFH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AbrahamSBFH06
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. 301-315
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BarnatM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BarnatM06
Jiri Barnat, Pavel Moravec:
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. 316-330
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/EzekielLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/EzekielLS06
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
Can Saturation Be Parallelised? 331-346
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PajaultP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PajaultP06
Christophe Pajault, Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades. 347-361

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.