Tools and Algorithms for Construction and Analysis of Systems
TACAS
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
1,576
1995–2026
Papers per year
199577 peak2026
Most published authors
TACAS papers
1,576 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2003 | Branching Processes of High-Level Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2003 | A Set of Performance and Dependability Analysis Components for CADP. | Holger Hermanns, Christophe Joubert |
| 2003 | On the Universal and Existential Fragments of the -Calculus. | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
| 2003 | Proof-Like Counter-Examples. | Arie Gurfinkel, Marsha Chechik |
| 2003 | Large State Space Visualization. | Jan Friso Groote, Frank van Ham |
| 2003 | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
| 2003 | Decidability of Invariant Validation for Paramaterized Systems. | Pascal Fontaine, E. Pascal Gribomont |
| 2003 | Schedulability Analysis Using Two Clocks. | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2003 | Simple Representative Instantiations for Multicast Protocols. | Javier Esparza, Monika Maidl |
| 2003 | Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. | E. Allen Emerson, Vineet Kahlon |
| 2003 | Verics: A Tool for Verifying Timed Automata and Estelle Specifications. | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Plrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
| 2003 | Strategies for Combining Decision Procedures. | Sylvain Conchon, Sava Krstic |
| 2003 | Learning Assumptions for Compositional Verification. | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2003 | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
| 2003 | Saturation Unbound. | Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu |
| 2003 | Verification and Improvement of the Sliding Window Protocol. | Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink |
| 2003 | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | Pattern-Based Abstraction for Verifying Secrecy in Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |
| 2003 | Automatic Test Generation with AGATHA. | Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |
| 2003 | State Class Constructions for Branching Analysis of Time Petri Nets. | Bernard Berthomieu, Franois Vernadat |
| 2003 | An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. | Sergey Berezin, Vijay Ganesh, David L. Dill |
| 2003 | Bounded Model Checking for Past LTL. | Marco Benedetti, Alessandro Cimatti |
| 2003 | Static Guard Analysis in Timed Automata Verification. | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
| 2003 | A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | Compositional Analysis for Verification of Parameterized Systems. | Samik Basu, C. R. Ramakrishnan |
1,276–1,300 of 1,576← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems