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	The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.	Nils Becker, Peter Mller, Alexander J. Summers
2019	International Competition on Runtime Verification (CRV).	Ezio Bartocci, Ylis Falcone, Giles Reger
2019	TOOLympics 2019: An Overview of Competitions in Formal Methods.	Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
2019	Debugging of Behavioural Models with CLEAR.	Gianluca Barbon, Vincent Leroy, Gwen Salan
2019	Specification and Efficient Monitoring Beyond STL.	Alexey Bakhirkin, Nicolas Basset
2019	Binary Decision Diagrams with Edge-Specified Reductions.	Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner
2019	Java Pathfinder at SV-COMP 2019 (Competition Contribution).	Cyrille Artho, Willem Visser
2019	Minimal-Time Synthesis for Parametric Timed Automata.	tienne Andr, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
2019	i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.	Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
2019	Presentation of the 9th Edition of the Model Checking Contest.	Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
2018	Efficient Verification of Imperative Programs Using Auto2.	Bohua Zhan
2018	YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).	Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
2018	Verified Model Checking of Timed Automata.	Simon Wimmer, Peter Lammich
2018	Feature-Guided Black-Box Safety Testing of Deep Neural Networks.	Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2018	Automating Deductive Verification for Weak-Memory Programs.	Alexander J. Summers, Peter Mller
2018	Structurally Defined Conditional Data-Flow Static Analysis.	Elena Sherman, Matthew B. Dwyer
2018	Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.	Stefan Schupp, Erika brahm
2018	A Non-linear Arithmetic Procedure for Control-Command Software Verification.	Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
2018	Revisiting Enumerative Instantiation.	Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
2018	Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning.	Giles Reger, Martin Suda, Andrei Voronkov
2018	AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.	Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrre, Dogan Ulus
2018	Invariant Synthesis for Incomplete Verification Engines.	Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2018	Symmetry Reduction for the Local Mu-Calculus.	Kedar S. Namjoshi, Richard J. Trefler
2018	Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.	Philipp J. Meyer, Javier Esparza, Hagen Vlzer
2018	CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.	Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon

526–550 of 1,576← Previous Next →

Comparable venues

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