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	MUST: Minimal Unsatisfiable Subsets Enumeration Tool.	Jaroslav Bendk, Ivana Cern
2020	Analysing installation scenarios of Debian packages.	Benedikt F. H. Becker, Nicolas Jeannerod, Claude March, Yann Rgis-Gianas, Mihaela Sighireanu, Ralf Treinen
2020	Mora - Automatic Generation of Moment-Based Invariants.	Ezio Bartocci, Laura Kovcs, Miroslav Stankovic
2020	Polynomial Identification of mega-Automata.	Dana Angluin, Dana Fisman, Yaara Shoval
2020	Learning One-Clock Timed Automata.	Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020	Deciding the Bisimilarity of Context-Free Session Types.	Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
2020	GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.	Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio
2020	Revisiting Underapproximate Reachability for Multipushdown Systems.	S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury
2020	Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.	Daniele Ahmed, Andrea Peruffo, Alessandro Abate
2020	VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).	Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2020	CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering.	Dirk Beyer, Philipp Wendler
2020	Software Verification with PDR: An Implementation of the State of the Art.	Dirk Beyer, Matthias Dangl
2019	Incremental Analysis of Evolving Alloy Models.	Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
2019	Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.	Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
2019	Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.	Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2019	Reachability Analysis for Termination and Confluence of Rewriting.	Christian Sternagel, Akihisa Yamada
2019	SL-COMP: Competition of Solvers for Separation Logic.	Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu
2019	PhASAR: An Inter-procedural Static Analysis Framework for C/C++.	Philipp Dominik Schubert, Ben Hermann, Eric Bodden
2019	Symbolic Regex Matcher.	Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
2019	MetAcsl: Specification and Verification of High-Level Properties.	Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
2019	PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).	Cedric Richter, Heike Wehrheim
2019	VIAP 1.1 - (Competition Contribution).	Pritom Rajkhowa, Fangzhen Lin
2019	LCV: A Verification Tool for Linear Controller Software.	Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2019	Parallel SAT Simplification on GPU Architectures.	Muhammad Osama, Anton Wijs
2019	Symbolic Pathfinder for SV-COMP - (Competition Contribution).	Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser

451–475 of 1,576← Previous Next →

Comparable venues

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