|
|
Conferences in DBLP
- Peter Lee
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:1- [Conf]
- Kenneth L. McMillan, Nina Amla
Automatic Abstraction without Counterexamples. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:2-17 [Conf]
- Marco Benedetti, Alessandro Cimatti
Bounded Model Checking for Past LTL. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:18-33 [Conf]
- Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel
Experimental Analysis of Different Techniques for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:34-48 [Conf]
- Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
On the Universal and Existential Fragments of the µ-Calculus. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:49-64 [Conf]
- Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
Resets vs. Aborts in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:65-80 [Conf]
- Radu Mateescu
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:81-96 [Conf]
- Pascal Fontaine, E. Pascal Gribomont
Decidability of Invariant Validation for Paramaterized Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:97-112 [Conf]
- Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink
Verification and Improvement of the Sliding Window Protocol. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:113-127 [Conf]
- Javier Esparza, Monika Maidl
Simple Representative Instantiations for Multicast Protocols. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:128-143 [Conf]
- E. Allen Emerson, Vineet Kahlon
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:144-159 [Conf]
- Arie Gurfinkel, Marsha Chechik
Proof-Like Counter-Examples. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:160-175 [Conf]
- Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:176-191 [Conf]
- Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:192-207 [Conf]
- Rajeev Alur, Thao Dang, Franjo Ivancic
Counter-Example Guided Predicate Abstraction of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:208-223 [Conf]
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
Schedulability Analysis Using Two Clocks. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:224-239 [Conf]
- Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
On Optimal Scheduling under Uncertainty. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:240-253 [Conf]
- Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
Static Guard Analysis in Timed Automata Verification. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:254-277 [Conf]
- Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:278-283 [Conf]
- Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:284-298 [Conf]
- Liana Bozga, Yassine Lakhnech, Michaël Périn
Pattern-Based Abstraction for Verifying Secrecy in Protocols. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:299-314 [Conf]
- Samik Basu, C. R. Ramakrishnan
Compositional Analysis for Verification of Parameterized Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:315-330 [Conf]
- Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
Learning Assumptions for Compositional Verification. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:331-346 [Conf]
- Stavros Tripakis
Automated Module Composition. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:347-362 [Conf]
- Rajeev Alur, Salvatore La Torre, P. Madhusudan
Modular Strategies for Recursive Game Graphs. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:363-378 [Conf]
- Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
Saturation Unbound. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:379-393 [Conf]
- Constantinos Bartzis, Tevfik Bultan
Construction of Efficient BDDs for Bounded Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:394-408 [Conf]
- Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
Modeling and Analysis of Power-Aware Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:409-425 [Conf]
- Holger Hermanns, Christophe Joubert
A Set of Performance and Dependability Analysis Components for CADP. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:425-430 [Conf]
- Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:431-436 [Conf]
- Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:437-441 [Conf]
- Bernard Berthomieu, François Vernadat
State Class Constructions for Branching Analysis of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:442-457 [Conf]
- Victor Khomenko, Maciej Koutny
Branching Processes of High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:458-472 [Conf]
- Karsten Schmidt
Using Petri Net Invariants in State Space Construction. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:473-488 [Conf]
- Scott D. Stoller, Ernie Cohen
Optimistic Synchronization-Based State-Space Reduction. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:489-504 [Conf]
- Mandana Vaziri, Daniel Jackson
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:505-520 [Conf]
- Sergey Berezin, Vijay Ganesh, David L. Dill
An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:521-536 [Conf]
- Sylvain Conchon, Sava Krstic
Strategies for Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:537-552 [Conf]
- Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
Generalized Symbolic Execution for Model Checking and Testing. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:553-568 [Conf]
- Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
Code-Based Test Generation for Validation of Functional Processor Descriptions. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:569-584 [Conf]
- Jan Friso Groote, Frank van Ham
Large State Space Visualization. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:585-590 [Conf]
- Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
Automatic Test Generation with AGATHA. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:591-596 [Conf]
- Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. [Citation Graph (0, 0)][DBLP]
TACAS, 2003, pp:597-601 [Conf]
|
