More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

30th TACAS@ETAPS 2024: Luxembourg City, Luxembourg - Part I

> Home > Conferences and Workshops > TACAS
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-1
Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14570, Springer 2024, ISBN 978-3-031-57245-6

SAT and SMT Solving

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FengHBITWPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FengHBITWPB24
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. 3-23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenCHHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenCHHLS24
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Z3-Noodler: An Automata-based String Solver. 24-33
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChowdhuryCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChowdhuryCH24
Md. Solimul Chowdhury, Cayden R. Codel, Marijn J. H. Heule:
TaSSAT: Transfer and Share SAT. 34-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KGSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KGSG24
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel:
Speculative SAT Modulo SAT. 43-60
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HeuleS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HeuleS24
Marijn J. H. Heule, Manfred Scheucher:
Happy Ending: An Empty Hexagon in Every Set of 30 Points. 61-80

Synthesis

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/EhlersK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EhlersK24
Rüdiger Ehlers, Ayrat Khalimov:
Fully Generalized Reactivity(1) Synthesis. 83-102
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DijkAT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DijkAT24
Tom van Dijk, Feije van Abbema, Naum Tomov:
Knor: reactive synthesis using Oink. 103-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AkshayBCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AkshayBCF24
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried:
On Dependent Variables in Reactive Synthesis. 123-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KabraLMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KabraLMP24
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer:
CESAR: Control Envelope Synthesis via Angelic Refinements. 144-164

Logic and Decidability

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WesthofenNJN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WesthofenNJN24
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider:
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. 167-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DacikRVZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DacikRVZ24
Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Deciding Boolean Separation Logic via Small Models. 188-206
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BocchiKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BocchiKM24
Laura Bocchi, Andy King, Maurizio Murgia:
Asynchronous Subtyping by Trace Relaxation. 207-226

Program Analysis and Proofs

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KarakayaSKBSLH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KarakayaSKBSLH24
Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He:
SootUp: A Redesign of the Soot Static Analysis Framework. 229-247
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TekriwalTJKP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TekriwalTJKP24
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou:
Formally verified asymptotic consensus in robust networks. 248-267
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BeckertSUWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BeckertSUWW24
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
Formally Verifying an Efficient Sorter. 268-287
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LimaMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LimaMT24
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel:
Explainable Online Monitoring of Metric First-Order Temporal Logic. 288-307

Proof Checking

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LachnittFARBNBT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LachnittFARBNBT24
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. 311-330
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CorrensonBDK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CorrensonBDK24
Loïc Correnson, Allan Blanchard, Adel Djoudi, Nikolai Kosmatov:
Automate where Automation Fails: Proof Strategies for Frama-C/WP. 331-339
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Temel24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Temel24
Mertcan Temel:
VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification. 340-349
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/RodriguesSCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RodriguesSCR24
Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu:
A Logical Treatment of Finite Automata. 350-369
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HilaireIL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HilaireIL24
Thibault Hilaire, David Ilcinkas, Jérôme Leroux:
A State-of-the-Art Karp-Miller Algorithm Certified in Coq. 370-389

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.