Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Goldsmith, Bill Roscoe (eds.) |
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Alice Miller 0001, Muffy Calder (eds.) |
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Rahul Kumar 0004, Eric G. Mercer |
Verifying Communication Protocols Using Live Sequence Chart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 33-48, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Toby C. Murray, Gavin Lowe |
On Refinement-Closed Security Properties and Nondeterministic Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 49-68, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alice Miller 0001, Muffy Calder |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi |
Light-Weight SMT-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 85-102, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson |
Vector Symmetry Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 3-18, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Heike Wehrheim, Daniel Wonisch |
Compositional CSP Traces Refinement Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 135-151, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe |
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 69-84, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karim Kanso, Faron Moller, Anton Setzer |
Automated Verification of Signalling Principles in Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 19-31, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe |
The Stable Revivals Model in CSP-Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 119-134, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shamim Ripon, Michael J. Butler |
PVS Embedding of cCSP Semantic Models and Their Relationship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008, pp. 103-118, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Izadi, Ali Movaghar 0001 |
Compositional Failure-based Equivalence of Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 105-122, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Mazur, Gavin Lowe |
Counter Abstraction in the CSP/FDR setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 171-186, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy E. Dawson |
Isabelle Theories for Machine Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 55-70, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher, Michael Huth 0001, Heiko Schmidt, Jens Schönborn |
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 71-86, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, András Horváth |
Compositional Model Checking of product-form CTMCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 21-37, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Graham, Muffy Calder, Alice Miller 0001 |
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 87-103, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Adam Antonik, Michael Huth 0001 |
On the Complexity of Semantic Self-minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 3-19, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Goldsmith, Bill Roscoe |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lyes Benalycherif, Anthony McIsaac |
A Semantic Condition for Data Independence and Applications in Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 39-54, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 123-136, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Kumar 0004, Eric G. Mercer, Annette Bunker |
Improving Translation of Live Sequence Charts to Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 137-152, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe |
On CSP Refinement Tests That Run Multiple Copies of a Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007, pp. 153-170, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Merz, Tobias Nipkow (eds.) |
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Stephan Merz, Tobias Nipkow |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Amjad |
Compressing Propositional Refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 3-15, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil |
Evaluating Complex MAC Protocols for Sensor Networks with APMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 33-46, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Cansell, Dominique Méry |
Incremental Parametric Development of Greedy Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 47-62, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | E. Kleiner, T. Newcomb |
On the Decidability of the Safety Problem for Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 107-120, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sara Gradara, Antonella Santone, Maria Luisa Villani |
Formal Verification of Concurrent Systems via Directed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 93-105, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 121-137, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Henrik Eriksson |
The GTO Toolset and Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 77-91, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Automatic Verification of Bossa Scheduler Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 17-32, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Alice Miller 0001 |
Extending Symmetry Reduction Techniques to a Realistic Model of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 63-76, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frank Ortmeier, Gerhard Schellhorn |
Formal Fault Tree Analysis - Practical Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006, pp. 139-151, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ranko Lazic 0001, Rajagopal Nagarajan (eds.) |
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Milan Ceska 0001, Pavel Erlebach, Tomás Vojnar |
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 113-130, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind |
Automatic Formal Synthesis of Hardware from Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 27-43, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Neil Evans, Helen Treharne |
Linking Semantic Models to Support CSP || B Consistency Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 201-217, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ranko Lazic 0001, Rajagopal Nagarajan |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Synthesising Features by Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 79-93, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Young Kang 0001, Stephan Merz |
Predicate Diagrams for the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 151-165, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Charlton |
Verification of Java Programs with Interacting Analysis Plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 131-150, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hosung Song, Kevin J. Compton, William C. Rounds |
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 167-183, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joy N. Reed, A. W. Roscoe 0001, Jane E. Sinclair |
Machine-Verifiable Responsiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 185-200, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tobe Toben, Bernd Westphal |
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 95-111, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Reasoning About Partial Functions in the Formal Development of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 3-25, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Amjad |
Verification of AMBA Using a Combination of Model Checking and Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 45-61, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu |
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005, pp. 63-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001 (eds.) |
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Cécile Braunstein, Emmanuelle Encrenaz |
CTL-Property Transformations Along an Incremental Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 263-278, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nils Klarlund, Richard J. Trefler |
Regularity Results for FIFO Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 21-36, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya |
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 247-262, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, András Horváth |
Model Checking Functional and Performability Properties of Stochastic Fluid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 295-310, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Jun Pang 0001 |
Simplifying Itai-Rodeh Leader Election for Anonymous Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 53-68, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Olivier H. Roux |
Structural Translation from Time Petri Nets to Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 145-160, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Raskin, Mathias Samuelides, Laurent Van Begin |
Games for Counting Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 69-85, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philippa J. Hopcroft, Guy H. Broadfoot |
Combining the Box Structure Development Method and CSP for Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 127-144, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harald Fecher |
Truly Concurrent Logic via In-Between Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 215-230, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
Software Model Checking Based on Game Semantics and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 105-125, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny |
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 195-214, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Alice Miller 0001, Muffy Calder |
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 161-177, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham |
Efficient Model Checking of Hardware Using Conditioned Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 279-294, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Model-checking the Preservation of Temporal Properties upon Feature Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 311-324, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xu Wang 0001, Marta Z. Kwiatkowska, Georgios Theodoropoulos 0001, Qianyi Zhang |
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 231-246, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Radu Siminiceanu, Gianfranco Ciardo |
Formal Verification of the NASA Runway Safety Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 179-194, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Darlot, Alain Finkel, Laurent Van Begin |
About Fast and TReX Accelerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 87-103, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Armelle Merlin, Gaétan Hains |
A Generic Cost Model for Concurrent and Data-parallel Meta-computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 3-19, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lee Momtahan |
Towards a Small Model Theorem for Data Independent Systems in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 37-52, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|