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 |
|---|---|---|
| 2017 | Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). | Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). | Jan Mrzek, Martin Jons, Vladimr Still, Henrich Lauko, Jiri Barnat |
| 2017 | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2017 | A Novel Learning Algorithm for Bchi Automata Based on Family of DFAs and Classification Trees. | Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu |
| 2017 | HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). | Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin |
| 2017 | Fair Termination for Parameterized Probabilistic Concurrent Systems. | Ondrej Lengl, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rmmer |
| 2017 | FlyFast: A Mean Field Model Checker. | Diego Latella, Michele Loreti, Mieke Massink |
| 2017 | Validation, Synthesis and Optimization for Cyber-Physical Systems. | Kim Guldstrand Larsen |
| 2017 | Hierarchical Network Formation Games. | Orna Kupferman, Tami Tamir |
| 2017 | Index Appearance Record for Transforming Rabin Automata into Parity Automata. | Jan Kretnsk, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger |
| 2017 | Optimal Translation of LTL to Limit Deterministic Automata. | Dileep Kini, Mahesh Viswanathan |
| 2017 | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2017 | Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2017 | AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). | Jera Hensel, Frank Emrich, Florian Frohn, Thomas Strder, Jrgen Giesl |
| 2017 | Minimization of Visibly Pushdown Automata Using Partial Max-SAT. | Matthias Heizmann, Christian Schilling, Daniel Tischner |
| 2017 | Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | Lazy Automata Techniques for WS1S. | Toms Fiedor, Luks Holk, Petr Janku, Ondrej Lengl, Toms Vojnar |
| 2017 | Bounded Quantifier Instantiation for Checking Inductive Invariants. | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham |
| 2017 | Encodings of Bounded Synthesis. | Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup |
| 2017 | From LTL and Limit-Deterministic Bchi Automata to Deterministic Parity Automata. | Javier Esparza, Jan Kretnsk, Jean-Franois Raskin, Salomon Sickert |
| 2017 | Learning Symbolic Automata. | Samuel Drews, Loris D'Antoni |
| 2017 | ML for ML: Learning Cost Semantics by Experiment. | Ankush Das, Jan Hoffmann |
| 2017 | Forward Bisimulations for Nondeterministic Symbolic Finite Automata. | Loris D'Antoni, Margus Veanes |
| 2017 | Sequential Convex Programming for the Efficient Verification of Parametric MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu |
601–625 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