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
2016	On Atomicity in Presence of Non-atomic Writes.	Constantin Enea, Azadeh Farzan
2016	Probabilistic CTL	Rayna Dimitrova, Luis Mara Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
2016	Multi-core Symbolic Bisimulation Minimisation.	Tom van Dijk, Jaco van de Pol
2016	Runtime Monitoring with Union-Find Structures.	Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
2016	Faster Statistical Model Checking for Unbounded Temporal Properties.	Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov
2016	Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.	Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2016	Integrated Environment for Diagnosing Verification Errors.	Maria Christakis, K. Rustan M. Leino, Peter Mller, Valentin Wstholz
2016	Parametric Runtime Verification of C Programs.	Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
2016	Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).	Marek Chalupa, Martin Jons, Jiri Slaby, Jan Strejcek, Martina Vitovsk
2016	Deductive Proofs of Almost Sure Persistence and Recurrence Properties.	Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
2016	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.	Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
2016	Efficient Syntax-Driven Lumping of Differential Equations.	Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.	Radu Calinescu, Kenneth Johnson, Colin Paterson
2016	T2: Temporal Property Verification.	Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2016	Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.	Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
2016	Approaching the Coverability Problem Continuously.	Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
2016	Complementing Semi-deterministic Bchi Automata.	Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai
2016	The xSAP Safety Analysis Platform.	Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
2016	Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).	Dirk Beyer
2016	Finding Recurrent Sets with Backward Analysis and Trace Partitioning.	Alexey Bakhirkin, Nir Piterman
2016	TcT: Tyrolean Complexity Tool.	Martin Avanzini, Georg Moser, Michael Schaper
2016	Acceleration in Multi-PushDown Systems.	Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2016	Reduction of Nondeterministic Tree Automata.	Ricardo Almeida, Luks Holk, Richard Mayr
2016	Advances in Symbolic Probabilistic Model Checking with PRISM.	Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller
2015	A Method for Improving the Precision and Coverage of Atomicity Violation Predictions.	Reng Zeng, Zhuo Sun, Su Liu, Xudong He

701–725 of 1,576← Previous Next →

Comparable venues

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