Skip to content
cs-conference-ranking.org

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

Best Software Engineering conferences

Papers per year

199577 peak2026

Most published authors

TACAS papers

1,576 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Quantifier Elimination Meets Treewidth.Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
2026Automatically Tightening Access Control Policies with Restricter.Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury
2026Data Structure Analysis for Binaries.Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter
2026VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2026Re3ver: Reverse and Verify - (Competition Contribution).Adla Stepkov, Martin Jons, Jan Strejcek
2026Exploring the SMT-LIB Benchmark Library.Hans-Jrg Schurr, Franois Bobot, Mathias Preiner, Aina Niemetz, Clark W. Barrett, Pascal Fontaine, Cesare Tinelli
2026Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob.Dominik Schreiber, Aina Niemetz, Mathias Preiner
2026Real-time Proof Checking for Distributed Incremental SAT Solving.Dominik Schreiber, Mathias Fleury, Katalin Fazekas, Armin Biere
2026Trace Repair for Temporal Behavior Trees.Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2026Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl
2026ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution).Nam Moussaoui Remil, Caterina Urban
2026DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling.Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026QSOLE: Automatic QBF Equivalence Checking.Peter Pfeiffer, Mark Peyrer, Daniel Groe, Martina Seidl
2026CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems.Roberto Pettinau, Christoph Matheja
2026Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos
2026jMT: Testing Correctness of Java Memory Models.Lukas Panneke, Heike Wehrheim
2026Efficient Verification of Lingua Franca Programs.Peter Csaba lveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin
2026Bit-Precise Interpolation in Bitwuzla.Aina Niemetz, Mathias Preiner
2026Deconstructing Subset Construction - Reducing While Determinizing.John Nicol, Markus Frohme
2026EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution).Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr
2026Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP.Charles Moloney, Robert Dyer, Elena Sherman
2026Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring.Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi, Nicolas Troquard
2026Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution).Marco Milanese, Raphal Monat, Abdelraouf Ouadjaout, Antoine Min
2026Faster Signature Refinement for Branching Bisimilarity Minimization.Jan Martens, Maurice Laveaux
2026DASA: Fully Gradient-Based Program Analysis (Competition Contribution).Felix Mchtle, Jan-Niclas Serr, Nils Loose, Thomas Eisenbarth
1–25 of 1,576← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.