External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 89, Issue 4

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

    Volume 89, Issue 3

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

    Volume 89, Issue 2

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

    Volume 89, Issue 1

    1 -- 2Lubos Brim, Orna Grumberg. Preface
    3 -- 0Assaf Schuster. Scalable Distributed Model Checking: Experiences, Lessons, and Expectations
    4 -- 16Martin Leucker, Rafal Somla, Michael Weber 0002. Parallel Model Checking for LTL, CTL*, and Lµ:::2:::
    17 -- 32Lubos Brim, Jitka Zidkova. Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking
    33 -- 50. Distributed Explicit Bounded LTL Model Checking
    51 -- 67Hemanthkumar Sivaraj, Ganesh Gopalakrishnan. Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
    68 -- 83Stefan Blom, Izak van Langevelde, Bert Lisser. Compressed and Distributed File Formats for Labeled Transition Systems
    84 -- 98Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn. Benchmarking Explicit State Parallel Model Checkers
    99 -- 113Stefan Blom, Simona Orzan. Distributed Branching Bisimulation Reduction of State Spaces
    114 -- 127Christophe Joubert. Distributed Model Checking: From Abstract Algorithms to Concrete Implementations
    runs on