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
2017	Combining String Abstract Domains for JavaScript Analysis: An Evaluation.	Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang
2017	Scaling Enumerative Program Synthesis via Divide and Conquer.	Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
2017	HiFrog: SMT-based Function Summarization for Software Verification.	Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina
2017	Towards Parallel Boolean Functional Synthesis.	S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017	Context-Bounded Analysis for POWER.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2016	CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).	Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
2016	Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication.	Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu
2016	Some Complexity Results for Stateful Network Verification.	Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
2016	Synthesizing Ranking Functions from Bits and Pieces.	Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
2016	Online Timed Pattern Matching Using Derivatives.	Dogan Ulus, Thomas Ferrre, Eugene Asarin, Oded Maler
2016	MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).	Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
2016	DIVINE: Explicit-State LTL Model Checker - (Competition Contribution).	Vladimr Still, Petr Rockai, Jiri Barnat
2016	Safety Verification of Continuous-Space Pure Jump Markov Processes.	Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
2016	2LS for Program Analysis - (Competition Contribution).	Peter Schrammel, Daniel Kroening
2016	LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).	Olli Saarikivi, Keijo Heljanko
2016	Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.	Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan
2016	Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution).	Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
2016	RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.	Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
2016	Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.	Daniel Poetzl, Daniel Kroening
2016	Scalable Verification of Linear Controller Software.	Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
2016	An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.	Daniel Neider, Ufuk Topcu
2016	Synthesizing Piece-Wise Functions by Learning Classifiers.	Daniel Neider, Shambwaditya Saha, P. Madhusudan
2016	Parameterized Compositional Model Checking.	Kedar S. Namjoshi, Richard J. Trefler
2016	Bit-Vector Optimization.	Alexander Nadel, Vadim Ryvchin
2016	v2c - A Verilog to C Translator.	Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening

651–675 of 1,576← Previous Next →

Comparable venues

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