default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th FMICS/PDMC 2006: Bonn, Germany
- 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
- 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 - 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
- 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 - Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
Can Saturation Be Parallelised? 331-346 - 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.
last updated on 2024-11-04 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
