Distribution, Approximation and Probabilistic Model Checking Guillaume Guirado (LRDE, EPITA), Thomas Herault (LRI University Paris XI), Richard Lassaigne (Equipe de logique, University Paris 7), Sylvain Peyronnet (LRDE, EPITA)
Symbolic Bounded Property Checking in Parallel Pradeep K. Nalla (University of Tuebingen), Roland J. Weiss (University of Tuebingen), Prakash Peranandam (University of Tuebingen), Juergen Ruf (University of Tuebingen), Thomas Kropf (University of Tuebingen); Wolfgang Rosenstiel (University of Tuebingen)
Under-approximation heuristics for Grid-based BMC Subramanian Iyer (University of Texas at Austin), Jawahar Jain (Fujitsu Laboratories of America), Debashis Sahoo (Stanford), E Allen Emerson (University of Texas at Austin)
How to Order Vertices for Distributed LTL Model-Checking Basedon Accepting Predecessors Lubos Brim (Masaryk University), Ivana Cerna (Masaryk University), Pavel Moravec (Masaryk University), Jiri Simsa (Masaryk University)
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung (University of California, Riverside), Gianfranco Ciardo (University of California, Riverside)
Accepted for Presentation
DISTRIBUTOR and BCG MERGE: Tools for Distributed Explicit State Space Generation Hubert Garavel (INRIA Rhone-Alpes), Radu Mateescu (INRIA Rhone-Alpes), Damien Bergamini (INRIA Rhone-Alpes), Adrian Curic (INRIA Rhone-Alpes), Nicolas Descoubes (INRIA Rhone-Alpes), Christophe Joubert (INRIA Rhone-Alpes),
Irina Smarandache-Sturm (INRIA Rhone-Alpes), Gilles Stragier (INRIA Rhone-Alpes)
DIVINE - The Distributed Verification Environment J. Barnat (Masaryk University in Brno), L. Brim (Masaryk University in Brno), I.Cerna (Masaryk University in Brno), P. Simecek (Masaryk University in Brno)
DivSPIN - A SPIN compatible distributed model checker M. Leucker (Technical University of Munich), M. Weber (RWTH Aachen University), V. Forejt (Masaryk University in Brno), J. Barnat (Masaryk University in Brno)
A New Reachability Algorithm for Symmetric Multi-processor Architecture D. Sahoo (Stanford University), J. Jain (Fujitsu Laboratories of America), S. K. Iyer (University of Texas at Austin), D. L. Dill (Stanford University)
Page created December 20, 2004 by Britta
Liebscher.
Last modified: