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	Confluence Competition 2019.	Aart Middeldorp, Julian Nagele, Kiraku Shintani
2019	Computing the Expected Execution Time of Probabilistic Workflow Nets.	Philipp J. Meyer, Javier Esparza, Philip Offtermatt
2019	nonreach - A Tool for Nonreachability Analysis.	Florian Mener, Christian Sternagel
2019	Environmentally-Friendly GR(1) Synthesis.	Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019	Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.	Si Liu, Peter Csaba lveczky, Min Zhang, Qi Wang, Jos Meseguer
2019	ROLL 1.0: \omega -Regular Language Learning Library.	Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
2019	Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution).	Henrich Lauko, Vladimr Still, Petr Rockai, Jiri Barnat
2019	Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.	Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
2019	CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution).	Kareem Khazem, Michael Tautschnig
2019	Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.	Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
2019	Effective Entailment Checking for Separation Logic with Inductive Definitions.	Jens Katelaan, Christoph Matheja, Florian Zuleger
2019	JayHorn: A Java Model Checker - (Competition Contribution).	Temesghen Kahsai, Philipp Rmmer, Martin Schf
2019	RERS 2019: Combining Synthesis with Real-World Models.	Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2019	ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.	Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
2019	Encoding Redundancy for Satisfaction-Driven Clause Learning.	Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
2019	The Quantitative Verification Benchmark Set.	Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2019	Constraint-Based Monitoring of Hyperproperties.	Christopher Hahn, Marvin Stenger, Leander Tentrup
2019	Omega-Regular Objectives in Model-Free Reinforcement Learning.	Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).	Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019	WAPS: Weighted and Projected Sampling.	Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2019	The Termination and Complexity Competition.	Jrgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
2019	Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.	Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
2019	On Reachability in Parameterized Phaser Programs.	Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
2019	ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).	Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
2019	Verifiably Safe Off-Model Reinforcement Learning.	Nathan Fulton, Andr Platzer

476–500 of 1,576← Previous Next →

Comparable venues

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