Volume 144,
Number 1,
January 2006
Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)
- Armin Biere, Ofer Strichman:
Preface.
1-
Electronic Edition (link) BibTeX
- Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky:
Bounded Model Checking for All Regular Properties.
3-18
Electronic Edition (link) BibTeX
- Anders Franzén:
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.
19-33
Electronic Edition (link) BibTeX
- Ohad Shacham, Karen Yorav:
Adaptive Application of SAT Solving Techniques.
35-50
Electronic Edition (link) BibTeX
- Mohammad Awedh, Fabio Somenzi:
Termination Criteria for Bounded Model Checking: Extensions and Comparison.
51-66
Electronic Edition (link) BibTeX
- Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models.
67-77
Electronic Edition (link) BibTeX
- Daniel Kroening:
Computing Over-Approximations with Bounded Model Checking.
79-92
Electronic Edition (link) BibTeX
Volume 144,
Number 2,
January 2006
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)
- Alessandro Armando, Alessandro Cimatti:
Preface.
1-2
Electronic Edition (link) BibTeX
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani:
Encoding RTL Constructs for MathSAT: a Preliminary Report.
3-14
Electronic Edition (link) BibTeX
- Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin:
Tool Building Requirements for an API to First-Order Solvers.
15-26
Electronic Edition (link) BibTeX
- Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
27-41
Electronic Edition (link) BibTeX
- Sean McLaughlin, Clark Barrett, Yeting Ge:
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.
43-51
Electronic Edition (link) BibTeX
- Amir Pnueli, Ofer Strichman:
Reduced Functional Consistency of Uninterpreted Functions.
53-65
Electronic Edition (link) BibTeX
- Tjark Weber:
Integrating a SAT Solver with an LCF-style Theorem Prover.
67-78
Electronic Edition (link) BibTeX
- Ian Wehrman, Aaron Stump:
Mining Propositional Simplification Proofs for Small Validating Clauses.
79-91
Electronic Edition (link) BibTeX
Volume 144,
Number 3,
February 2006
Proceedings of the Workshop on Software Model Checking (SoftMC 2005)
- Byron Cook, Scott D. Stoller, Willem Visser:
Preface.
1-2
Electronic Edition (link) BibTeX
- Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications.
3-26
Electronic Edition (link) BibTeX
- Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka:
Open-Source Model Checking.
27-44
Electronic Edition (link) BibTeX
- Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith Swenson:
Error Detection in Concurrent Java Programs.
45-58
Electronic Edition (link) BibTeX
- Morgan Magnin, Didier Lime, Olivier H. Roux:
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
59-77
Electronic Edition (link) BibTeX
- Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani:
Model Checking Linear Programs with Arrays.
79-94
Electronic Edition (link) BibTeX
- Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software.
95-106
Electronic Edition (link) BibTeX
- Steven P. Reiss:
Checking Event-Based Specifications in Java Systems.
107-132
Electronic Edition (link) BibTeX
- Bernd Westphal:
LSC Verification for UML Models with Unbounded Creation and Destruction.
133-145
Electronic Edition (link) BibTeX
Volume 144,
Number 4,
May 2006
Proceedings of the Fifth Workshop on Runtime Verification (RV 2005)
- Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface.
1
Electronic Edition (link) BibTeX
- Feng Chen, Marcelo d'Amorim, Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP.
3-20
Electronic Edition (link) BibTeX
- Arvind Easwaran, Sampath Kannan, Oleg Sokolsky:
Steering of Discrete Event Systems: Control Theory Approach.
21-39
Electronic Edition (link) BibTeX
- Tayfun Elmas, Serdar Tasiran:
VyrdMC: Driving Runtime Refinement Checking with Model Checkers.
41-56
Electronic Edition (link) BibTeX
- Yaniv Eytani:
Concurrent Java Test Generation as a Search Problem.
57-72
Electronic Edition (link) BibTeX
- Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck:
Monitoring Interfaces for Faults.
73-89
Electronic Edition (link) BibTeX
- Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim:
Run-Time Checking of Dynamic Properties.
91-108
Electronic Edition (link) BibTeX
- Volker Stolz, Eric Bodden:
Temporal Assertions using AspectJ.
109-124
Electronic Edition (link) BibTeX
- Y. Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig:
Model-based Runtime Verification Framework for Self-optimizing Systems.
125-145
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:21 2009
by Michael Ley (ley@uni-trier.de)
