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 |
|---|---|---|
| 2022 | Practical Applications of the Alternating Cycle Decomposition. | Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert |
| 2022 | BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). | Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li |
| 2022 | Clausal Proofs for Pseudo-Boolean Reasoning. | Randal E. Bryant, Armin Biere, Marijn J. H. Heule |
| 2022 | Learning Realtime One-Counter Automata. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2022 | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2022 | Searching for Ribbon-Shaped Paths in Fair Transition Systems. | Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktria Vozrov |
| 2022 | Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. | Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons |
| 2022 | Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. | Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretnsk, Laura Nenzi |
| 2022 | Under-Approximating Expected Total Rewards in POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann |
| 2022 | Transition Power Abstractions for Deep Counterexample Detection. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2022 | Distributed Coalgebraic Partition Refinement. | Fabian Birkmann, Hans-Peter Deifel, Stefan Milius |
| 2022 | The Static Analyzer Frama-C in SV-COMP (Competition Contribution). | Dirk Beyer, Martin Spiessl |
| 2022 | CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. | Dirk Beyer, Sudeep Kanav |
| 2022 | Progress on Software Verification: SV-COMP 2022. | Dirk Beyer |
| 2022 | cvc5: A Versatile and Industrial-Strength SMT Solver. | Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Ntzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar |
| 2022 | A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. | Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2022 | Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). | Paulna Ayaziov, Marek Chalupa, Jan Strejcek |
| 2022 | NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. | Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni |
| 2022 | Property Directed Reachability for Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa |
| 2022 | A Max-SMT Superoptimizer for EVM handling Memory and Storage. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Albert Rubio |
| 2022 | Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). | Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr |
| 2021 | Synthesizing Context-free Grammars from Recurrent Neural Networks. | Daniel M. Yellin, Gail Weiss |
| 2021 | Improving Neural Network Verification through Spurious Region Guided Refinement. | Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang |
| 2021 | Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests. | Anjiang Wei, Pu Yi, Tao Xie, Darko Marinov, Wing Lam |
| 2021 | Deductive Stability Proofs for Ordinary Differential Equations. | Yong Kiam Tan, Andr Platzer |
326–350 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