Electronic Notes in Theoretical Computer Science, Volume 89

Volume 89, Number 1, 2003

• Lubos Brim, Orna Grumberg:
  Preface.
  
• Assaf Schuster:
  Scalable Distributed Model Checking: Experiences, Lessons, and Expectations.
  
• Martin Leucker, Rafal Somla, Michael Weber:
  Parallel Model Checking for LTL, CTL*, and Lµ².
  
• Lubos Brim, Jitka Zidkova:
  Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking.
  
• Pavel Krcál:
  Distributed Explicit Bounded LTL Model Checking.
  
• Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
  Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking.
  
• Stefan Blom, Izak van Langevelde, Bert Lisser:
  Compressed and Distributed File Formats for Labeled Transition Systems.
  
• Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
  Benchmarking Explicit State Parallel Model Checkers.
  
• Stefan Blom, Simona Orzan:
  Distributed Branching Bisimulation Reduction of State Spaces.
  
• Christophe Joubert:
  Distributed Model Checking: From Abstract Algorithms to Concrete Implementations.
  

Volume 89, Number 2, 2003

• Oleg Sokolsky, Mahesh Viswanathan:
  Preface.
  
• Aloysius K. Mok:
  Event-Based Real-Time Monitoring.
  
• Michelle L. Crane, Jürgen Dingel:
  Runtime Conformance Checking of Objects Using Alloy.
  
• Alper Sen, Vijay K. Garg:
  Partial Order Trace Analyzer (POTA) for Distributed Programs.
  
• Nicholas Nethercote, Julian Seward:
  Valgrind: A Program Supervision Framework.
  
• Oscar Mondragon, Ann Q. Gates, Steve Roach:
  Prospec: Support for Elicitation and Formal Specification of Software Properties.
  
• Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck:
  Run-Time Validation of Speculative Optimizations using CVC.
  
• Feng Chen, Grigore Rosu:
  Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.
  
• Li Tan, Jesung Kim, Insup Lee:
  Testing and Monitoring Model-based Generated Program.
  
• Nicholas Nethercote, Alan Mycroft:
  Redux: A Dynamic Dataflow Tracer.
  
• Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic:
  Formalizing Java-MaC.
  
• Liqiang Wang, Scott D. Stoller:
  Run-Time Analysis for Atomicity.
  
• Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen:
  Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
  
• Koushik Sen, Grigore Rosu:
  Generating Optimal Monitors for Extended Regular Expressions.
  

Volume 89, Number 3, 2003

• Byron Cook, Scott D. Stoller, Willem Visser:
  SoftMC 2003: Workshop on Software Model Checking.
  
• Madanlal Musuvathi, Dawson R. Engler:
  Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding.
  
• Dennis Dams:
  Comparing Abstraction Refinement Algorithms.
  
• Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke:
  Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach.
  
• Songtao Xia, James Hook:
  Experience with Abstraction-carrying Code.
  
• Eran Yahav, Shmuel Sagiv:
  Automatically Verifying Concurrent Queue Algorithms.
  
• Aysu Betin-Can, Tevfik Bultan:
  Interface-Based Specification and Verification of Concurrency Controllers.
  
• Flavio Lerda, Nishant Sinha, Michael Theobald:
  Symbolic Model Checking of Software.
  
• Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif:
  Space-Reduction Strategies for Model Checking Dynamic Software.
  
• Cormac Flanagan, Shaz Qadeer:
  Transactions for Software Model Checking.
  

Volume 89, Number 4, 2003

• Niklas Eén, Niklas Sörensson:
  Temporal induction by incremental SAT solving.
  
• Toni Jussila, Keijo Heljanko, Ilkka Niemelä:
  BMC via on-the-fly determinization.
  
• P. Madhusudan, Wonhong Nam, Rajeev Alur:
  Symbolic computational techniques for solving games.
  
• Zurab Khasidashvili, Ziyad Hanna:
  SAT-based methods for sequential hardware equivalence verification without synchronization.
  
• Bing Li, Chao Wang, Fabio Somenzi:
  A satisfiability-based approach to abstraction refinement in model checking.
  
• Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe:
  A BMC-formulation for the scheduling problem in highly constrained hardware Systems.