ask others

Electronic Notes in Theoretical Computer Science, Volume 144

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 144, Number 1, January 2006

Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)

- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BiereS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BiereS06
Armin Biere, Ofer Strichman:
Preface. 1-
- view
- export record
  dblp key:
  - journals/entcs/JehleJLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JehleJLR06
Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky:
Bounded Model Checking for All Regular Properties. 3-18
- view
- export record
  dblp key:
  - journals/entcs/Franzen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Franzen06
Anders Franzén:
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. 19-33
- view
- export record
  dblp key:
  - journals/entcs/ShachamY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ShachamY06
Ohad Shacham, Karen Yorav:
Adaptive Application of SAT Solving Techniques. 35-50
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/AwedhS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AwedhS06
Mohammad Awedh, Fabio Somenzi:
Termination Criteria for Bounded Model Checking: Extensions and Comparison. 51-66
- view
- export record
  dblp key:
  - journals/entcs/GeistGLRST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GeistGLRST06
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models. 67-77
- view
- export record
  dblp key:
  - journals/entcs/Kroening06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kroening06
Daniel Kroening:
Computing Over-Approximations with Bounded Model Checking. 79-92

Volume 144, Number 2, January 2006

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)

- view
  authority control:
- export record
  dblp key:
  - journals/entcs/ArmandoC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArmandoC06
Alessandro Armando, Alessandro Cimatti:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BozzanoBCFHKPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06
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
- view
- export record
  dblp key:
  - journals/entcs/GrundyMKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrundyMKM06
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin:
Tool Building Requirements for an API to First-Order Solvers. 15-26
- view
- export record
  dblp key:
  - journals/entcs/LahiriM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LahiriM06
Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. 27-41
- view
- export record
  dblp key:
  - journals/entcs/McLaughlinBG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/McLaughlinBG06
Sean McLaughlin, Clark W. Barrett, Yeting Ge:
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. 43-51
- view
- export record
  dblp key:
  - journals/entcs/PnueliS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PnueliS06
Amir Pnueli, Ofer Strichman:
Reduced Functional Consistency of Uninterpreted Functions. 53-65
- view
- export record
  dblp key:
  - journals/entcs/Weber06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Weber06
Tjark Weber:
Integrating a SAT Solver with an LCF-style Theorem Prover. 67-78
- view
- export record
  dblp key:
  - journals/entcs/WehrmanS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WehrmanS06
Ian Wehrman, Aaron Stump:
Mining Propositional Simplification Proofs for Small Validating Clauses. 79-91

Volume 144, Number 3, February 2006

Proceedings of the Workshop on Software Model Checking (SoftMC 2005)

- view
- export record
  dblp key:
  - journals/entcs/CookSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CookSV06
Byron Cook, Scott D. Stoller, Willem Visser:
Preface. 1-2
- view
- export record
  dblp key:
  - journals/entcs/GrieskampTS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrieskampTS06
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. 3-26
- view
- export record
  dblp key:
  - journals/entcs/GrosuHJS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrosuHJS06
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka:
Open-Source Model Checking. 27-44
- view
- export record
  dblp key:
  - journals/entcs/HughesRSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HughesRSS06
Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson:
Error Detection in Concurrent Java Programs. 45-58
- view
- export record
  dblp key:
  - journals/entcs/MagninLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MagninLR06
Morgan Magnin, Didier Lime, Olivier H. Roux:
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. 59-77
- view
- export record
  dblp key:
  - journals/entcs/ArmandoBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArmandoBM06
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani:
Model Checking Linear Programs with Arrays. 79-94
- view
- export record
  dblp key:
  - journals/entcs/PalmerBYGK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PalmerBYGK06
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software. 95-106
- view
- export record
  dblp key:
  - journals/entcs/Reiss06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Reiss06
Steven P. Reiss:
Checking Event-Based Specifications in Java Systems. 107-132
- view
- export record
  dblp key:
  - journals/entcs/Westphal06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Westphal06
Bernd Westphal:
LSC Verification for UML Models with Unbounded Creation and Destruction. 133-145

Volume 144, Number 4, May 2006

Proceedings of the Fifth Workshop on Runtime Verification (RV 2005)

- view
- export record
  dblp key:
  - journals/entcs/BarringerFGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarringerFGS06
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. 1
- view
- export record
  dblp key:
  - journals/entcs/ChendR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChendR06
Feng Chen, Marcelo d'Amorim, Grigore Rosu:
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. 3-20
- view
- export record
  dblp key:
  - journals/entcs/EaswaranKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EaswaranKS06
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky:
Steering of Discrete Event Systems: Control Theory Approach. 21-39
- view
- export record
  dblp key:
  - journals/entcs/ElmasT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ElmasT06
Tayfun Elmas, Serdar Tasiran:
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. 41-56
- view
- export record
  dblp key:
  - journals/entcs/Eytani06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Eytani06
Yaniv Eytani:
Concurrent Java Test Generation as a Search Problem. 57-72
- view
- export record
  dblp key:
  - journals/entcs/PnueliZZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PnueliZZ06
Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck:
Monitoring Interfaces for Faults. 73-89
- view
- export record
  dblp key:
  - journals/entcs/SokolskySLK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SokolskySLK06
Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim:
Run-Time Checking of Dynamic Properties. 91-108
- view
- export record
  dblp key:
  - journals/entcs/StolzB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StolzB06
Volker Stolz, Eric Bodden:
Temporal Assertions using AspectJ. 109-124
- view
- export record
  dblp key:
  - journals/entcs/ZhaoOKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhaoOKR06
Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig:
Model-based Runtime Verification Framework for Self-optimizing Systems. 125-145

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.