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 |
|---|---|---|
| 2024 | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2024 | Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler |
| 2024 | ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). | Rafael S Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2024 | Rabin Games and Colourful Universal Trees. | Rupak Majumdar, Irmak Saglam, K. S. Thejaswini |
| 2024 | SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution). | Nils Loose, Felix Mchtle, Florian Sieck, Thomas Eisenbarth |
| 2024 | A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. | Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sann, Yon Shin Teo |
| 2024 | Explainable Online Monitoring of Metric First-Order Temporal Logic. | Leonardo Lima, Jonathan Julin Huerta y Munive, Dmitriy Traytel |
| 2024 | IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. | Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Ntzli, Clark W. Barrett, Cesare Tinelli |
| 2024 | Small Test Suites for Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2024 | Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. | Lukas Knig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kperkoch, Dennis Fassbender, Michael Hanselmann |
| 2024 | Enhancing GenMC's Usability and Performance. | Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis |
| 2024 | Speculative SAT Modulo SAT. | Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel |
| 2024 | SootUp: A Redesign of the Soot Static Analysis Framework. | Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He |
| 2024 | CESAR: Control Envelope Synthesis via Angelic Refinements. | Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr Platzer |
| 2024 | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 2024 | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). | Martin Jons, Kristin Kumor, Jakub Novk, Jindrich Sedlcek, Marek Trtk, Luks Zaoral, Paulna Ayaziov, Jan Strejcek |
| 2024 | Forward and Backward Constrained Bisimulations for Quantum Circuits. | Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
| 2024 | Fast Symbolic Computation of Bottom SCCs. | Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jrgensen, Jaco van de Pol, Andreas Pavlogiannis |
| 2024 | OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. | Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Khl |
| 2024 | A State-of-the-Art Karp-Miller Algorithm Certified in Coq. | Thibault Hilaire, David Ilcinkas, Jrme Leroux |
| 2024 | Happy Ending: An Empty Hexagon in Every Set of 30 Points. | Marijn J. H. Heule, Manfred Scheucher |
| 2024 | HaliVer: Deductive Verification and Scheduling Languages Join Forces. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. | Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes |
| 2024 | Fully Generalized Reactivity(1) Synthesis. | Rdiger Ehlers, Ayrat Khalimov |
| 2024 | Knor: reactive synthesis using Oink. | Tom van Dijk, Feije van Abbema, Naum Tomov |
151–175 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