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 |
|---|---|---|
| 2024 | Scalable Tree-based Register Automata Learning. | Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2024 | On-The-Fly Algorithm for Reachability in Parametric Timed Games. | Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol |
| 2024 | Deciding Boolean Separation Logic via Small Models. | Toms Dack, Adam Rogalewicz, Toms Vojnar, Florian Zuleger |
| 2024 | NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. | Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt |
| 2024 | Automate where Automation Fails: Proof Strategies for Frama-C/WP. | Loc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov |
| 2024 | TaSSAT: Transfer and Share SAT. | Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule |
| 2024 | Mata: A Fast and Simple Finite Automata Library. | David Chocholat, Toms Fiedor, Vojtech Havlena, Luks Holk, Martin Hruska, Ondrej Lengl, Juraj Sc |
| 2024 | CPV: A Circuit-Based Program Verifier. | Po-Chun Chien, Nian-Ze Lee |
| 2024 | Z3-Noodler: An Automata-based String Solver. | Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc |
| 2024 | Bubaak-SpLit: Split what you cannot verify (Competition contribution). | Marek Chalupa, Cedric Richter |
| 2024 | Dissipative quadratizations of polynomial ODE systems. | Yubo Cai, Gleb Pogudin |
| 2024 | Learning Explainable and Better Performing Representations of POMDP Strategies. | Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretnsk, Stefanie Mohr |
| 2024 | Asynchronous Subtyping by Trace Relaxation. | Laura Bocchi, Andy King, Maurizio Murgia |
| 2024 | State of the Art in Software Verification and Witness Validation: SV-COMP 2024. | Dirk Beyer |
| 2024 | Automated Software Verification of Hyperliveness. | Raven Beutner |
| 2024 | Formally Verifying an Efficient Sorter. | Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt |
| 2024 | Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). | Levente Bajczi, Csand Telbisz, Mrk Somorjai, Zsfia dm, Mihly Dobos-Kovcs, Dniel Szekeres, Miln Mondok, Vince Molnr |
| 2024 | EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). | Levente Bajczi, Dniel Szekeres, Miln Mondok, Zsfia dm, Mrk Somorjai, Csand Telbisz, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2024 | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler |
| 2024 | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2024 | Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). | Paulna Ayaziov, Jan Strejcek |
| 2024 | Auction-Based Scheduling. | Guy Avni, Kaushik Mallik, Suman Sadhukhan |
| 2024 | JPF: From 2003 to 2023. | Cyrille Artho, Pavel Parzek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi |
| 2024 | On Dependent Variables in Reactive Synthesis. | S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried |
176–200 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