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
2012	Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).	Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar
2012	Numeric Bounds Analysis with Conflict-Driven Learning.	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
2012	TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.	Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jrgensen, Mikael H. Mller, Jir Srba
2012	A Bit Too Precise? Bounded Verification of Quantized Digital Filters.	Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
2012	Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).	Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
2012	Automatic Verification of Competitive Stochastic Systems.	Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2012	Reachability under Contextual Locking.	Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012	SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.	Lus Caires, Hugo Torres Vieira
2012	Deciding Conditional Termination.	Marius Bozga, Radu Iosif, Filip Konecn
2012	Bounded Phase Analysis of Message-Passing Programs.	Ahmed Bouajjani, Michael Emmi
2012	Competition on Software Verification - (SV-COMP).	Dirk Beyer
2012	satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).	Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
2012	Coupling and Importance Sampling for Statistical Model Checking.	Benot Barbot, Serge Haddad, Claudine Picaronny
2012	LTL to Bchi Automata Translation: Fast and More Deterministic.	Toms Babiak, Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek
2012	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.	Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan
2012	From Under-Approximations to Over-Approximations and Back.	Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2012	Counter-Example Guided Fence Insertion under TSO.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2011	Applying CEGAR to the Petri Net State Equation.	Harro Wimmel, Karsten Wolf
2011	Loop Summarization and Termination Analysis.	Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
2011	Bchi Store: An Open Repository of Bchi Automata.	Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
2011	Confluence Reduction for Probabilistic Systems.	Mark Timmer, Marille Stoelinga, Jaco van de Pol
2011	Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.	Tino Teige, Martin Frnzle
2011	Biased Model Checking Using Flows.	Muralidhar Talupur, Hyojung Han
2011	GameTime: A Toolkit for Timing Analysis of Software.	Sanjit A. Seshia, Jonathan Kotker
2011	Modelling and Verification of Web Services Business Activity Protocol.	Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio

926–950 of 1,576← Previous Next →

Comparable venues

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