TACAS (1)

Keyphrases

Publications

2024

Mertcan Temel
VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. TACAS (1) (2024)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. TACAS (1) (2024)
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule
TaSSAT: Transfer and Share SAT. TACAS (1) (2024)
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Z3-Noodler: An Automata-based String Solver. TACAS (1) (2024)
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) (2024)
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
Speculative SAT Modulo SAT. TACAS (1) (2024)
Rüdiger Ehlers, Ayrat Khalimov
Fully Generalized Reactivity(1) Synthesis. TACAS (1) (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Thibault Hilaire, David Ilcinkas, Jérôme Leroux
A State-of-the-Art Karp-Miller Algorithm Certified in Coq. TACAS (1) (2024)
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
On Dependent Variables in Reactive Synthesis. TACAS (1) (2024)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Explainable Online Monitoring of Metric First-Order Temporal Logic. TACAS (1) (2024)
Marijn J. H. Heule, Manfred Scheucher
Happy Ending: An Empty Hexagon in Every Set of 30 Points. TACAS (1) (2024)
Laura Bocchi, Andy King, Maurizio Murgia
Asynchronous Subtyping by Trace Relaxation. TACAS (1) (2024)
Tom van Dijk, Feije van Abbema, Naum Tomov
Knor: reactive synthesis using Oink. TACAS (1) (2024)
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
Formally Verifying an Efficient Sorter. TACAS (1) (2024)
Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
Deciding Boolean Separation Logic via Small Models. TACAS (1) (2024)
Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He
SootUp: A Redesign of the Soot Static Analysis Framework. TACAS (1) (2024)
Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov
Automate where Automation Fails: Proof Strategies for Frama-C/WP. TACAS (1) (2024)
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou
Formally verified asymptotic consensus in robust networks. TACAS (1) (2024)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. TACAS (1) (2024)
Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu
A Logical Treatment of Finite Automata. TACAS (1) (2024)

volume 14570, 2024

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I TACAS (1) 14570 (2024)

2023

volume 13993, 2023

Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I TACAS (1) 13993 (2023)