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

last updated on Tue May 21 01:59:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page