Tools and Algorithms for Construction and Analysis of Systems

TACAS

CORE rank

CORE rank (raw)

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.

Year	Title	Authors
2019	Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.	Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
2019	VerifyThis - Verification Competition with a Human Factor.	Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
2019	Abstract Dependency Graphs and Their Application to Model Checking.	Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba
2019	The Rewrite Engines Competitions: A RECtrospective.	Francisco Durn, Hubert Garavel
2019	Multi-core On-The-Fly Saturation.	Tom van Dijk, Jeroen Meijer, Jaco van de Pol
2019	VyPR2: A Framework for Runtime Verification of Python Web Services.	Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
2019	JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).	Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2019	Semantic Fault Localization and Suspiciousness Ranking.	Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz
2019	VeriFuzz: Program Aware Fuzzing - (Competition Contribution).	Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh
2019	Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution).	Eti Chaudhary, Saurabh Joshi
2019	Shepherding Hordes of Markov Chains.	Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019	\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes.	Nathalie Cauchi, Alessandro Abate
2019	Measuring Masking Fault-Tolerance.	Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2019	Optimal Time-Bounded Reachability Analysis for Concurrent Systems.	Yuliya Butkova, Gereon Fox
2019	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.	Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
2019	Building Better Bit-Blasting for Floating-Point Problems.	Martin Brain, Florian Schanda, Youcheng Sun
2019	COMPASS 3.0.	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
2019	Checking Deadlock-Freedom of Parametric Component-Based Systems.	Marius Bozga, Radu Iosif, Joseph Sifakis
2019	Decomposing Farkas Interpolants.	Martin Blicha, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina
2019	On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition.	Thomas Blsius, Tobias Friedrich, Andrew M. Sutton
2019	Computing Coupled Similarity.	Benjamin Bisping, Uwe Nestmann
2019	International Competition on Software Testing (Test-Comp).	Dirk Beyer
2019	Automatic Verification of C and Java Programs: SV-COMP 2019.	Dirk Beyer
2019	Digital Bifurcation Analysis of TCP Dynamics.	Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek
2019	VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.	Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

501–525 of 1,576← Previous Next →

Comparable venues

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