CAV 2003:
15th Computer-Aided Verification conference - Satellite Workshops
CAV 2003 Home Page
Volume 89,
Number 1,
2003
PDMC 2003:
2nd International Workshop on Parallel and Distributed Model Checking
July 2003
PDMC 2003 Home Page
- Lubos Brim, Orna Grumberg:
Preface.
Electronic Edition (link) BibTeX
- Assaf Schuster:
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations.
Electronic Edition (link) BibTeX
- Martin Leucker, Rafal Somla, Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electronic Edition (link) BibTeX
- Lubos Brim, Jitka Zidkova:
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.
Electronic Edition (link) BibTeX
- Pavel Krcál:
Distributed Explicit Bounded LTL Model Checking.
Electronic Edition (link) BibTeX
- Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking.
Electronic Edition (link) BibTeX
- Stefan Blom, Izak van Langevelde, Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems.
Electronic Edition (link) BibTeX
- Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers.
Electronic Edition (link) BibTeX
- Stefan Blom, Simona Orzan:
Distributed Branching Bisimulation Reduction of State Spaces.
Electronic Edition (link) BibTeX
- Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.
Electronic Edition (link) BibTeX
Volume 89,
Number 2,
2003
RV 2003:
Third Workshop on Run-time Verification
July 2003
RV 2003 Home Page
- Oleg Sokolsky, Mahesh Viswanathan:
Preface.
Electronic Edition (link) BibTeX
- Aloysius K. Mok:
Event-Based Real-Time Monitoring.
Electronic Edition (link) BibTeX
- Michelle L. Crane, Jürgen Dingel:
Runtime Conformance Checking of Objects Using Alloy.
Electronic Edition (link) BibTeX
- Alper Sen, Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs.
Electronic Edition (link) BibTeX
- Nicholas Nethercote, Julian Seward:
Valgrind: A Program Supervision Framework.
Electronic Edition (link) BibTeX
- Oscar Mondragon, Ann Q. Gates, Steve Roach:
Prospec: Support for Elicitation and Formal Specification of Software Properties.
Electronic Edition (link) BibTeX
- Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck:
Run-Time Validation of Speculative Optimizations using CVC.
Electronic Edition (link) BibTeX
- Feng Chen, Grigore Rosu:
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.
Electronic Edition (link) BibTeX
- Li Tan, Jesung Kim, Insup Lee:
Testing and Monitoring Model-based Generated Program.
Electronic Edition (link) BibTeX
- Nicholas Nethercote, Alan Mycroft:
Redux: A Dynamic Dataflow Tracer.
Electronic Edition (link) BibTeX
- Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic:
Formalizing Java-MaC.
Electronic Edition (link) BibTeX
- Liqiang Wang, Scott D. Stoller:
Run-Time Analysis for Atomicity.
Electronic Edition (link) BibTeX
- Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen:
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
Electronic Edition (link) BibTeX
- Koushik Sen, Grigore Rosu:
Generating Optimal Monitors for Extended Regular Expressions.
Electronic Edition (link) BibTeX
Volume 89,
Number 3,
2003
SoftMC 2003:
Workshop on Software Model Checking
July 2003
SoftMC 2003 Home Page
- Byron Cook, Scott D. Stoller, Willem Visser:
SoftMC 2003: Workshop on Software Model Checking.
Electronic Edition (link) BibTeX
- Madanlal Musuvathi, Dawson R. Engler:
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.
Electronic Edition (link) BibTeX
- Dennis Dams:
Comparing Abstraction Refinement Algorithms.
Electronic Edition (link) BibTeX
- Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke:
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
Electronic Edition (link) BibTeX
- Songtao Xia, James Hook:
Experience with Abstraction-carrying Code.
Electronic Edition (link) BibTeX
- Eran Yahav, Shmuel Sagiv:
Automatically Verifying Concurrent Queue Algorithms.
Electronic Edition (link) BibTeX
- Aysu Betin-Can, Tevfik Bultan:
Interface-Based Specification and Verification of Concurrency Controllers.
Electronic Edition (link) BibTeX
- Flavio Lerda, Nishant Sinha, Michael Theobald:
Symbolic Model Checking of Software.
Electronic Edition (link) BibTeX
- Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif:
Space-Reduction Strategies for Model Checking Dynamic Software.
Electronic Edition (link) BibTeX
- Cormac Flanagan, Shaz Qadeer:
Transactions for Software Model Checking.
Electronic Edition (link) BibTeX
Volume 89,
Number 4,
2003
- Niklas Eén, Niklas Sörensson:
Temporal induction by incremental SAT solving.
Electronic Edition (link) BibTeX
- Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
BMC via on-the-fly determinization.
Electronic Edition (link) BibTeX
- P. Madhusudan, Wonhong Nam, Rajeev Alur:
Symbolic computational techniques for solving games.
Electronic Edition (link) BibTeX
- Zurab Khasidashvili, Ziyad Hanna:
SAT-based methods for sequential hardware equivalence verification without synchronization.
Electronic Edition (link) BibTeX
- Bing Li, Chao Wang, Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking.
Electronic Edition (link) BibTeX
- Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe:
A BMC-formulation for the scheduling problem in highly constrained hardware Systems.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:17 2009
by Michael Ley (ley@uni-trier.de)