Tools and Algorithms for Construction and Analysis of Systems
TACAS
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
1,576
1995–2026
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 |
|---|---|---|
| 2015 | Verified Reachability Analysis of Continuous Systems. | Fabian Immler |
| 2015 | Forester: Shape Analysis Using Tree Automata - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2015 | Ultimate Automizer with Array Interpolation - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski |
| 2015 | SMACK+Corral: A Modular Verifier - (Competition Contribution). | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
| 2015 | Semantic Importance Sampling for Statistical Model Checking. | Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein |
| 2015 | SeaHorn: A Framework for Verifying C Programs (Competition Contribution). | Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas |
| 2015 | Scalable Timing Analysis with Refinement. | Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi |
| 2015 | Model Checking Gene Regulatory Networks. | Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixo, Tatjana Petrov |
| 2015 | Insight: An Open Binary Analysis Framework. | Emmanuel Fleury, Olivier Ly, Grald Point, Aymeric Vincent |
| 2015 | Nested Antichains for WS1S. | Toms Fiedor, Luks Holk, Ondrej Lengl, Toms Vojnar |
| 2015 | C2E2: A Verification Tool for Stateflow Models. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok |
| 2015 | BINSEC: Binary Code Analysis with Low-Level Regions. | Adel Djoudi, Sbastien Bardin |
| 2015 | Sylvan: Multi-Core Decision Diagrams. | Tom van Dijk, Jaco van de Pol |
| 2015 | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |
| 2015 | Uppaal Stratego. | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
| 2015 | CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution). | Matthias Dangl, Stefan Lwe, Philipp Wendler |
| 2015 | Fairness for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2015 | An LTL Proof System for Runtime Verification. | Clare Cini, Adrian Francalanza |
| 2015 | HyComp: An SMT-Based Model Checker for Hybrid Systems. | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
| 2015 | Approximate Counting in SMT and Value Estimation for Probabilistic Programs. | Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar |
| 2015 | CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). | Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang |
| 2015 | Commutativity of Reducers. | Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang |
| 2015 | On Parallel Scalable Uniform SAT Witness Generation. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2015 | Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). | Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth |
| 2015 | MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. | Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera |
751–775 of 1,576← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems