Volume 174,
Number 1,
April 2007
Proceedings of the 7th International Workshop on Rule Based Programming (RULE 2006)
Volume 174,
Number 2,
May 2007
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006)
- Serge Autexier, Christoph Benzmüller:
Preface.
1-2
Electronic Edition (link) BibTeX
- Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore:
ACL2s: "The ACL2 Sedan".
3-18
Electronic Edition (link) BibTeX
- Louise A. Dennis:
Enhancing Theorem Prover Interfaces with Program Slice Information.
19-33
Electronic Edition (link) BibTeX
- Pedro Quaresma, Predrag Janicic:
GeoThms - a Web System for Euclidean Constructive Geometry.
35-48
Electronic Edition (link) BibTeX
- Cezary Kaliszyk:
Web Interfaces for Proof Assistants.
49-61
Electronic Edition (link) BibTeX
- Josef Urban, Grzegorz Bancerek:
Presenting and Explaining Mizar.
63-74
Electronic Edition (link) BibTeX
- Anne Mulhern, Charles Fischer, Ben Liblit:
Tool Support for Proof Engineering.
75-86
Electronic Edition (link) BibTeX
- Marc Wagner, Serge Autexier, Christoph Benzmüller:
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
87-107
Electronic Edition (link) BibTeX
- Steven Trac, Yury Puzis, Geoff Sutcliffe:
An Interactive Derivation Viewer.
109-123
Electronic Edition (link) BibTeX
- Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli:
Tinycals: Step by Step Tacticals.
125-142
Electronic Edition (link) BibTeX
Volume 174,
Number 3,
May 2007
Proceedings of the Fourth International Workshop on Bounded Model Checking (BMC 2006)
Volume 174,
Number 4,
May 2007
Proceedings of the Workshop on Verification and Debugging (V&D 2006)
- Roderick Bloem, Marco Roveri, Fabio Somenzi:
Preface.
1
Electronic Edition (link) BibTeX
- John Moondanos:
From Error to Error: Logic Debugging in the Many-Core Era.
3-7
Electronic Edition (link) BibTeX
- Alper Sen:
Error Diagnosis in Equivalence Checking of High Performance Microprocessors.
9-18
Electronic Edition (link) BibTeX
- Lionel van den Berg, Paul A. Strooper, Wendy Johnston:
An Automated Approach for the Interpretation of Counter-Examples.
19-35
Electronic Edition (link) BibTeX
- Jooyong Lee:
Dynamic Reverse Code Generation for Backward Execution.
37-54
Electronic Edition (link) BibTeX
- Andreas Zeller:
Where Do Bugs Come From?
55-59
Electronic Edition (link) BibTeX
- Wolfgang Mayer, Markus Stumptner:
Model-Based Debugging - State of the Art And Future Challenges.
61-82
Electronic Edition (link) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits.
83-93
Electronic Edition (link) BibTeX
- Andreas Griesmayer, Stefan Staber, Roderick Bloem:
Automated Fault Localization for C Programs.
95-111
Electronic Edition (link) BibTeX
- Martin C. Rinard:
Automated Techniques for Surviving (Otherwise) Fatal Software Errors.
113-116
Electronic Edition (link) BibTeX
- Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter:
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.
117-130
Electronic Edition (link) BibTeX
Volume 174,
Number 5,
June 2007
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (LFMTP 2006)
Volume 174,
Number 6,
June 2007
Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)
- Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface.
1-2
Electronic Edition (link) BibTeX
- Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages.
3-14
Electronic Edition (link) BibTeX
- Moritz Hardt, Gert Smolka:
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic.
15-27
Electronic Edition (link) BibTeX
- Martin Mundhenk, Thomas Schneider:
Undecidability of Multi-modal Hybrid Logics.
29-43
Electronic Edition (link) BibTeX
- Nicole Bidoit, Dario Colazzo:
Testing XML constraint satisfiability.
45-61
Electronic Edition (link) BibTeX
- André Platzer:
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.
63-77
Electronic Edition (link) BibTeX
- Balder ten Cate, Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules.
79-94
Electronic Edition (link) BibTeX
- Sano Katsuhiko:
A Hybridization of Irreflexive Modal Logics.
95-111
Electronic Edition (link) BibTeX
- Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen:
Decidability of a Hybrid Duration Calculus.
113-133
Electronic Edition (link) BibTeX
- Jason Reed:
Hybridizing a Logical Framework.
135-148
Electronic Edition (link) BibTeX
Volume 174,
Number 7,
June 2007
Proceedings of the Programming Languages meets Program Verification (PLPV 2006)
Volume 174,
Number 8,
June 2007
Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006)
Volume 174,
Number 9,
June 2007
Proceedings of the Thread Verification Workshop (TV 2006)
- Ganesh Gopalakrishnan, John O'Leary:
Preface.
1-4
Electronic Edition (link) BibTeX
- Arndt Mühlenfeld, Franz Wotawa:
Fault Detection in Multi-Threaded C++ Server Applications.
5-22
Electronic Edition (link) BibTeX
- Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte:
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.
23-47
Electronic Edition (link) BibTeX
- Robert P. Cook:
Thread Verification - An Experience Report.
49-61
Electronic Edition (link) BibTeX
- Lisa Higham, LillAnne Jackson, Jalal Kawash:
What is Itanium Memory Consistency from the Programmer's Point of View?
63-84
Electronic Edition (link) BibTeX
- Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Modular Checkpointing for Atomicity.
85-115
Electronic Edition (link) BibTeX
- Jan-Willem Maessen, Arvind:
Store Atomicity for Transactional Memory.
117-137
Electronic Edition (link) BibTeX
- John Regehr, Nathan Cooprider:
Interrupt Verification via Thread Verification.
139-150
Electronic Edition (link) BibTeX
- Shady Copty, Shmuel Ur:
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ.
151-165
Electronic Edition (link) BibTeX
Volume 174,
Number 10,
July 2007
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)
- Sergio Antoy:
Preface.
1-2
Electronic Edition (link) BibTeX
- Richard B. Kieburtz:
Programmed Strategies for Program Verification.
3-38
Electronic Edition (link) BibTeX
- Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus.
39-56
Electronic Edition (link) BibTeX
- Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Closed Reduction Strategies.
57-74
Electronic Edition (link) BibTeX
- Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai:
Transformation for Refining Unraveled Conditional Term Rewriting Systems.
75-95
Electronic Edition (link) BibTeX
- Claudio Sacerdoti Coen:
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I.
97-118
Electronic Edition (link) BibTeX
- Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén:
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.
119-137
Electronic Edition (link) BibTeX
- Muck van Weerdenburg:
An Account of Implementing Applicative Term Rewriting.
139-155
Electronic Edition (link) BibTeX
Volume 174,
Number 11,
July 2007
Proceedings of the 6th International Workshop on Strategies in Automated Deduction (STRATEGIES 2006)
- Myla Archer, Thierry Boy de la Tour, César Muñoz:
Preface.
1-2
Electronic Edition (link) BibTeX
- Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Deduction, Strategies, and Rewriting.
3-25
Electronic Edition (link) BibTeX
- Maria Paola Bonacina, Mnacho Echenim:
Rewrite-Based Decision Procedures.
27-45
Electronic Edition (link) BibTeX
- Florent Kirchner, César Muñoz:
PVS#: Streamlined Tacticals for PVS.
47-58
Electronic Edition (link) BibTeX
- Hongping Lim, Myla Archer:
Translation Templates to Support Strategy Development in PVS.
59-79
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:24 2009
by Michael Ley (ley@uni-trier.de)
