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
2020	Fold/Unfold Transformations for Fixpoint Logic.	Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta
2020	Endicheck: Dynamic Analysis for Detecting Endianness Bugs.	Roman Kpl, Pavel Parzek
2020	An O(m log n) algorithm for branching bisimilarity on labelled transition systems.	David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2020	Verifying OpenJDK's LinkedList using KeY.	Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
2020	Discourje: Runtime Verification of Communication Protocols in Clojure.	Ruben Hamers, Sung-Shik Jongmans
2020	Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	AVR: Abstractly Verifying Reachability.	Aman Goel, Karem A. Sakallah
2020	How Many Bits Does it Take to Quantize Your Neural Network?	Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
2020	Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.	Florian Funke, Simon Jantsch, Christel Baier
2020	A Calculus for Modular Loop Acceleration.	Florian Frohn
2020	Assume, Guarantee or Repair.	Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2020	KReach: A Tool for Reachability in Petri Nets.	Alex Dixon, Ranko Lazic
2020	Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).	Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Frank Schssele
2020	Simple Strategies in Multi-Objective MDPs.	Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour
2020	Scenario-Based Verification of Uncertain MDPs.	Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2020	Safe Decomposition of Startup Requirements: Verification and Synthesis.	Alessandro Cimatti, Luca Geatti, Alberto Griggio, Greg Kimberly, Stefano Tonetta
2020	Symbiotic 7: Integration of Predator and More - (Competition Contribution).	Marek Chalupa, Toms Jasek, Luks Tomovic, Martin Hruska, Veronika Sokov, Paulna Ayaziov, Jan Strejcek, Toms Vojnar
2020	Verifying Array Manipulating Programs with Full-Program Induction.	Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2020	EMTST: Engineering the Meta-theory of Session Types.	David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
2020	Rare Event Simulation for Non-Markovian Repairable Fault Trees.	Carlos E. Budde, Marco Biagi, Ral E. Monti, Pedro R. D'Argenio, Marille Stoelinga
2020	FIG: The Finite Improbability Generator.	Carlos E. Budde
2020	Structural Invariants for the Verification of Systems with Parameterized Architectures.	Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020	Describing and Simulating Concurrent Quantum Systems.	Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, Rajagopal Nagarajan
2020	Advances in Automatic Software Verification: SV-COMP 2020.	Dirk Beyer
2020	Solving Mean-Payoff Games via Quasi Dominions.	Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

426–450 of 1,576← Previous Next →

Comparable venues

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