Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	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 2007
DBLP:	db/conf/fmics/fmics2006.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 24 of 24  

Select a publication
Show	Title	Venue	Rating	Date
	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking.	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 2007	(0)	2006
	Borzoo Bonakdarpour, Sandeep S. Kulkarni. Automated Incremental Synthesis of Timed Automata.	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 2007	(0)	2006
	Lubos Brim. Distributed Verification: Exploring the Power of Raw Computing Power.	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 2007	(0)	2006
	Allan Clark, Stephen Gilmore. Evaluating Quality of Service for Service Level Agreements.	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 2007	(0)	2006
	Pieter J. L. Cuijpers, A. V. Fyukov. Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.	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 2007	(0)	2006
	Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu. Can Saturation Be Parallelised?	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 2007	(0)	2006
	Harald Fecher, Jens Schönborn. UML 2.0 State Machines: Complete Formal Semantics Via core state machine.	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 2007	(0)	2006
	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch. Goanna - A Static Model Checker.	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 2007	(0)	2006
	Moritz Hammer, Michael Weber. "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand.	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 2007	(0)	2006
	Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. Test Coverage for Loose Timing Annotations.	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 2007	(0)	2006
	Anders Hessel, Paul Pettersson. Model-Based Testing of a WAP Gateway: An Industrial Case-Study.	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 2007	(0)	2006
	Ben Krause, Tim Wahls. jmle: A Tool for Executing JML Specifications Via Constraint Programming.	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 2007	(0)	2006
	Kai Lampka, Markus Siegle, Max Walter. An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.	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 2007	(0)	2006
	Aad Mathijssen, A. Johannes Pretorius. Verified Design of an Automated Parking Garage.	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 2007	(0)	2006
	Jan Tobias Mühlberg, Gerald Lüttgen. Blasting Linux Code.	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 2007	(0)	2006
	Christophe Pajault, Jean-François Pradat-Peyre. Distributed Colored Petri Net Model-Checking with Cyclades.	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 2007	(0)	2006
	Indranil Saha, Suman Roy. A Finite State Modeling of AFDX Frame Management Using Spin.	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 2007	(0)	2006
	Hassen Saïdi. Discovering Symmetries.	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 2007	(0)	2006
	Anna Slobodová. Challenges for Formal Verification in Industrial Setting.	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 2007	(0)	2006
	Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák. Verifying VHDL Designs with Multiple Clocks in SMV.	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 2007	(0)	2006
	Tim A. C. Willemse. Heuristics for ioco -Based Test-Based Modelling.	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 2007	(0)	2006
	Wenhui Zhang. SAT-Based Verification of LTL Formulas.	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 2007	(0)	2006
	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa. On Combining Partial Order Reduction with Fairness Assumptions.	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 2007	(0)	2006
	Jiri Barnat, Pavel Moravec 0002. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.	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 2007	(0)	2006

Your query returned 24 matches in the database.