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 |
|---|---|---|
| 2013 | The MathSAT5 SMT Solver. | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani |
| 2013 | Proof Tree Preserving Interpolation. | Jrgen Christ, Jochen Hoenicke, Alexander Nutz |
| 2013 | BULL: A Library for Learning Algorithms of Boolean Functions. | Yu-Fang Chen, Bow-Yaw Wang |
| 2013 | PRISM-games: A Model Checker for Stochastic Multi-Player Games. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2013 | Synthesis from LTL Specifications with Mean-Payoff Objectives. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Jean-Franois Raskin |
| 2013 | Encoding Monomorphic and Polymorphic Types. | Jasmin Christian Blanchette, Sascha Bhme, Andrei Popescu, Nicholas Smallbone |
| 2013 | Deriving Probability Density Functions from Probabilistic Functional Programs. | Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo |
| 2013 | Second Competition on Software Verification - (Summary of SV-COMP 2013). | Dirk Beyer |
| 2013 | LTL Model Checking of Interval Markov Chains. | Michael Benedikt, Rastislav Lenhardt, James Worrell |
| 2013 | Formula Preprocessing in MUS Extraction. | Anton Belov, Matti Jrvisalo, Joo Marques-Silva |
| 2013 | Structural Counter Abstraction. | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
| 2013 | Polyglot: Systematic Analysis for Multiple Statechart Formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
| 2013 | AppGuard - Enforcing User Requirements on Android Apps. | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
| 2013 | On-the-Fly Exact Computation of Bisimilarity Distances. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | Equivalence Checking of Quantum Protocols. | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
| 2013 | UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). | Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik |
| 2013 | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk, Bengt Jonsson, Ahmed Rezine |
| 2013 | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2013 | CSeq: A Sequentialization Tool for C - (Competition Contribution). | Bernd Fischer, Omar Inverso, Gennaro Parlato |
| 2012 | History-Aware Data Structure Repair Using SAT. | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley |
| 2012 | QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. | Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang |
| 2012 | Block Abstraction Memoization for CPAchecker - (Competition Contribution). | Daniel Wonisch |
| 2012 | Minimal Critical Subsystems for Discrete-Time Markov Models. | Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen |
| 2012 | Wolverine: Battling Bugs with Interpolants - (Competition Contribution). | Georg Weissenbacher, Daniel Kroening, Sharad Malik |
| 2012 | Reduction-Based Formal Analysis of BGP Instances. | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
876–900 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