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
2018	Map2Check Using LLVM and KLEE - (Competition Contribution).	Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
2018	EMME: A Formal Tool for ECMAScript Memory Model Evaluation.	Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith
2018	TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.	Lina Marsso, Radu Mateescu, Wendelin Serwe
2018	2LS: Memory Safety and Non-termination - (Competition Contribution).	Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang
2018	Geometric Nontermination Arguments.	Jan Leike, Matthias Heizmann
2018	Frame Inference for Inductive Entailment Proofs in Separation Logic.	Quang Loc Le, Jun Sun, Shengchao Qin
2018	Property Checking Array Programs Using Loop Shrinking.	Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
2018	Bit-Vector Model Counting Using Statistical Estimation.	Seonmo Kim, Stephen McCamant
2018	Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.	Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
2018	Generation of Minimum Tree-Like Witnesses for Existential CTL.	Chuan Jiang, Gianfranco Ciardo
2018	Abstraction Refinement for Emptiness Checking of Alternating Data Automata.	Radu Iosif, Xiao Xu
2018	What a Difference a Variable Makes.	Marijn J. H. Heule, Armin Biere
2018	Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).	Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
2018	Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.	Daniel Hausmann, Lutz Schrder, Hans-Peter Deifel
2018	Hoare Logics for Time Bounds - A Study in Meta Theory.	Maximilian P. L. Haslbeck, Tobias Nipkow
2018	Multi-cost Bounded Reachability in MDP.	Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2018	RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.	Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018	Accelerating Syntax-Guided Invariant Synthesis.	Grigory Fedyukovich, Rastislav Bodk
2018	More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ).	Rohit Dureja, Kristin Yvonne Rozier
2018	InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).	Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong
2018	The Refinement Calculus of Reactive Systems Toolset.	Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2018	Oink: An Implementation and Evaluation of Modern Parity Game Solvers.	Tom van Dijk
2018	Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).	Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
2018	Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper).	Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
2018	VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).	Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

551–575 of 1,576← Previous Next →

Comparable venues

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