default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th VMCAI 2024: London, UK - Part I
- Rayna Dimitrova, Ori Lahav
, Sebastian Wolff:
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14499, Springer 2024, ISBN 978-3-031-50523-2
Abstract Interpretation
- Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund:
Formal Runtime Error Detection During Development in the Automotive Industry. 3-26 - Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella:
Abstract Interpretation-Based Feature Importance for Support Vector Machines. 27-49 - Marco Milanese, Antoine Miné:
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation. 50-73 - Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani:
Correctness Witness Validation by Abstract Interpretation. 74-97
Infinite-State Systems
- Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. 101-123 - Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. 124-146 - Alain Finkel, Mathieu Hilaire:
Resilience and Home-Space for WSTS. 147-168
Model Checking and Synthesis
- Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger:
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. 171-185 - Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi:
Model-Guided Synthesis for LTL over Finite Traces. 186-207 - Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak:
Solving Two-Player Games Under Progress Assumptions. 208-231
SAT, SMT, and Automated Reasoning
- Simon Guilloud, Sankalp Gambhir, Viktor Kuncak:
Interpolation and Quantifiers in Ortholattices. 235-257 - Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier:
Function Synthesis for Maximizing Model Counting. 258-279 - Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer:
Boosting Constrained Horn Solving by Unsat Core Learning. 280-302 - Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey:
On the Verification of the Correctness of a Subgraph Construction Algorithm. 303-325 - Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:
Efficient Local Search for Nonlinear Real Arithmetic. 326-349
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-24 17:02 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:
