Search results for "FMICS/PDMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	FMICS/PDMC	2007	DBLP DOI BibTeX RDF
1	Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz	Test Coverage for Loose Timing Annotations.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Hassen Saïdi	Discovering Symmetries.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Ben Krause, Tim Wahls	jmle: A Tool for Executing JML Specifications Via Constraint Programming.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu	Can Saturation Be Parallelised?	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
1	Allan Clark, Stephen Gilmore	Evaluating Quality of Service for Service Level Agreements.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Moritz Hammer, Michael Weber 0002	"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	Model-Based Testing of a WAP Gateway: An Industrial Case-Study.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Kai Lampka, Markus Siegle, Max Walter	An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Reliability and Availability Analysis, State Space Explosion Binary Decision Diagram, Reliability Block Diagrams, Markov Reward Model
1	Anna Slobodová	Challenges for Formal Verification in Industrial Setting.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch	Goanna - A Static Model Checker.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Aad Mathijssen, A. Johannes Pretorius	Verified Design of an Automated Parking Garage.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Indranil Saha, Suman Roy 0001	A Finite State Modeling of AFDX Frame Management Using Spin.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	ARINC, AFDX frame management design, fault tolerance, verification, LTL, Industrial case study, Spin model checker, finite state modeling
1	Lubos Brim	Distributed Verification: Exploring the Power of Raw Computing Power.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Wenhui Zhang	SAT-Based Verification of LTL Formulas.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Harald Fecher, Jens Schönborn	UML 2.0 State Machines: Complete Formal Semantics Via core state machine.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Pieter J. L. Cuijpers, A. V. Fyukov	Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Jan Tobias Mühlberg, Gerald Lüttgen	Blasting Linux Code.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Tim A. C. Willemse	Heuristics for ioco -Based Test-Based Modelling.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Christophe Pajault, Jean-François Pradat-Peyre	Distributed Colored Petri Net Model-Checking with Cyclades.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Jiri Barnat, Pavel Moravec 0002	Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF

Publications at "FMICS/PDMC"( http://dblp.L3S.de/Venues/FMICS/PDMC )