default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th TACAS@ETAPS 2023: Paris, France - Part I
- Sriram Sankaranarayanan
, Natasha Sharygina:
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. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2
Invited Talk
- Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. 3-25
Model Checking
- Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. 29-46 - Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi:
Model Checking Linear Dynamical Systems under Floating-point Rounding. 47-65 - Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. 66-84 - Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis:
Reconciling Preemption Bounding with DPOR. 85-104 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe:
Optimal Stateless Model Checking for Causal Consistency. 105-125 - Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
Symbolic Model Checking for TLA+ Made Faster. 126-144 - Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. 145-163
Machine Learning/Neural Networks
- Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. 167-186 - Shahaf Bassan, Guy Katz:
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks. 187-207 - Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang:
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. 208-226 - Naoki Kobayashi, Minchao Wu:
Neural Network-Guided Synthesis of Recursive List Functions. 227-245
Automata
- Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini:
Modular Mix-and-Match Complementation of Büchi Automata. 249-270 - Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet:
Validating Streaming JSON Documents with Learned VPAs. 271-289 - Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic:
Antichains Algorithms for the Inclusion Problem Between ømega-VPL. 290-307 - Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan:
Stack-Aware Hyperproperties. 308-325
Proofs
- Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule:
Propositional Proof Skeletons. 329-347 - Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen:
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. 348-366 - Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa:
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. 367-386
Constraint Solving/Blockchain
- Bernardo Subercaseaux, Marijn J. H. Heule:
The Packing Chromatic Number of the Infinite Square Grid is 15. 389-406 - Tobias Fuchs, Jakob Bach, Markus Iser:
Active Learning for SAT Solver Benchmarking. 407-425 - Maximilian Heisinger, Martina Seidl, Armin Biere:
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. 426-447 - Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode. 448-466
Markov Chains/Stochastic Control
- Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger:
A Practitioner's Guide to MDP Model Checking Algorithms. 469-488 - Tobias Meggendorfer:
Correct Approximation of Stationary Distributions. 489-507 - Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. 508-526 - Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. 527-545
Verification
- Seung Hoon Park, Rekha R. Pai, Tom Melham:
A Formal CHERI-C Semantics for Verification. 549-568 - Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. 569-587 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. 588-606 - Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. 607-627 - Roland Meyer, Thomas Wies, Sebastian Wolff:
Make Flows Small Again: Revisiting the Flow Framework. 628-646 - Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov:
ALASCA: Reasoning in Quantified Linear Arithmetic. 647-665 - Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez:
A Matrix-Based Approach to Parity Games. 666-683 - Anton Wijs, Muhammad Osama:
A GPU Tree Database for Many-Core Explicit State Space Exploration. 684-703
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.
last updated on 2025-01-22 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
