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 |
|---|---|---|
| 2023 | Explainable Online Monitoring of Metric Temporal Logic. | Leonardo Lima, Andrei Herasimau, Martin Raszyk, Dmitriy Traytel, Simon Yuan |
| 2023 | CoPTIC: Constraint Programming Translated Into C. | Martin Mariusz Lester |
| 2023 | Model Checking Linear Dynamical Systems under Floating-point Rounding. | Engel Lefaucheux, Jol Ouaknine, David Purser, Mohammadamin Sharifi |
| 2023 | A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. | Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis |
| 2023 | Transforming Quantified Boolean Formulas Using Biclique Covers. | Oliver Kullmann, Ankit Shukla |
| 2023 | ALASCA: Reasoning in Quantified Linear Arithmetic. | Konstantin Korovin, Laura Kovcs, Giles Reger, Johannes Schoisswohl, Andrei Voronkov |
| 2023 | Neural Network-Guided Synthesis of Recursive List Functions. | Naoki Kobayashi, Minchao Wu |
| 2023 | Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. | Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta |
| 2023 | Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). | Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen |
| 2023 | Feature Necessity & Relevancy in ML Classifier Explanations. | Xuanxiang Huang, Martin C. Cooper, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2023 | Efficient Loop Conditions for Bounded Model Checking Hyperproperties. | Tzu-Han Hsu, Csar Snchez, Sarai Sheinvald, Borzoo Bonakdarpour |
| 2023 | Bounded Model Checking for Asynchronous Hyperproperties. | Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2023 | Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). | Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schssele, Andreas Podelski |
| 2023 | ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. | Maximilian Heisinger, Martina Seidl, Armin Biere |
| 2023 | Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. | Philippe Heim, Rayna Dimitrova |
| 2023 | Modular Mix-and-Match Complementation of Bchi Automata. | Vojtech Havlena, Ondrej Lengl, Yong Li, Barbora Smahlkov, Andrea Turrini |
| 2023 | A Practitioner's Guide to MDP Model Checking Algorithms. | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger |
| 2023 | Lockstep Composition for Unbalanced Loops. | Ameer Hamza, Grigory Fedyukovich |
| 2023 | Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. | Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang |
| 2023 | Active Learning for SAT Solver Benchmarking. | Tobias Fuchs, Jakob Bach, Ashlin Iser |
| 2023 | Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. | Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel |
| 2023 | WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification. | Wenji Fang, Hongce Zhang |
| 2023 | Korn - Software Verification with Horn Clauses (Competition Contribution). | Gidon Ernst |
| 2023 | Antichains Algorithms for the Inclusion Problem Between mega-VPL. | Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic |
226–250 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