Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/vmcai/vmcai2024-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/AbdullaLR24,
author = {Parosh Aziz Abdulla and
Chencheng Liang and
Philipp R{\"{u}}mmer},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Boosting Constrained Horn Solving by Unsat Core Learning},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {280--302},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_13},
doi = {10.1007/978-3-031-50524-9\_13},
timestamp = {Sun, 14 Jan 2024 19:41:04 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbdullaLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AmatDB24,
author = {Nicolas Amat and
Silvano Dal{-}Zilio and
Didier Le Botlan},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Project and Conquer: Fast Quantifier Elimination for Checking Petri
Net Reachability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {101--123},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_5},
doi = {10.1007/978-3-031-50524-9\_5},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AmatDB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AndreEJK24,
author = {{\'{E}}tienne Andr{\'{e}} and
Paul Eichler and
Swen Jacobs and
Shyam Lal Karra},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Parameterized Verification of Disjunctive Timed Networks},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {124--146},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_6},
doi = {10.1007/978-3-031-50524-9\_6},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AndreEJK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BoltzSF24,
author = {Lucas B{\"{o}}ltz and
Viorica Sofronie{-}Stokkermans and
Hannes Frey},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {On the Verification of the Correctness of a Subgraph Construction
Algorithm},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {303--325},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_14},
doi = {10.1007/978-3-031-50524-9\_14},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BoltzSF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FinkelH24,
author = {Alain Finkel and
Mathieu Hilaire},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Resilience and Home-Space for {WSTS}},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {147--168},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_7},
doi = {10.1007/978-3-031-50524-9\_7},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/FinkelH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GuilloudGK24,
author = {Simon Guilloud and
Sankalp Gambhir and
Viktor Kuncak},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Interpolation and Quantifiers in Ortholattices},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {235--257},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_11},
doi = {10.1007/978-3-031-50524-9\_11},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GuilloudGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HausmannHPSS24,
author = {Daniel Hausmann and
Merlin Humml and
Simon Prucker and
Lutz Schr{\"{o}}der and
Aaron Strahlberger},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Generic Model Checking for Modal Fixpoint Logics in {COOL-MC}},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {171--185},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_8},
doi = {10.1007/978-3-031-50524-9\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HausmannHPSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HeckingHarbuschQS24,
author = {Jesko Hecking{-}Harbusch and
Jochen Quante and
Maximilian Schlund},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Formal Runtime Error Detection During Development in the Automotive
Industry},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {3--26},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_1},
doi = {10.1007/978-3-031-50524-9\_1},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HeckingHarbuschQS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MilaneseM24,
author = {Marco Milanese and
Antoine Min{\'{e}}},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Generation of Violation Witnesses by Under-Approximating Abstract
Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {50--73},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_3},
doi = {10.1007/978-3-031-50524-9\_3},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/MilaneseM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PalRUZ24,
author = {Abhinandan Pal and
Francesco Ranzato and
Caterina Urban and
Marco Zanella},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Abstract Interpretation-Based Feature Importance for Support Vector
Machines},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {27--49},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_2},
doi = {10.1007/978-3-031-50524-9\_2},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/PalRUZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SaanSESTV24,
author = {Simmo Saan and
Michael Schwarz and
Julian Erhard and
Helmut Seidl and
Sarah Tilscher and
Vesal Vojdani},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Correctness Witness Validation by Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {74--97},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_4},
doi = {10.1007/978-3-031-50524-9\_4},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SaanSESTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SchmuckTSN24,
author = {Anne{-}Kathrin Schmuck and
K. S. Thejaswini and
Irmak Saglam and
Satya Prakash Nayak},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Solving Two-Player Games Under Progress Assumptions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {208--231},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_10},
doi = {10.1007/978-3-031-50524-9\_10},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SchmuckTSN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/VigourouxBEM24,
author = {Thomas Vigouroux and
Marius Bozga and
Cristian Ene and
Laurent Mounier},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Function Synthesis for Maximizing Model Counting},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {258--279},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_12},
doi = {10.1007/978-3-031-50524-9\_12},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/VigourouxBEM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangZLC24,
author = {Zhonghan Wang and
Bohua Zhan and
Bohan Li and
Shaowei Cai},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Efficient Local Search for Nonlinear Real Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {326--349},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_15},
doi = {10.1007/978-3-031-50524-9\_15},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WangZLC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/XiaoLHXLPSV24,
author = {Shengping Xiao and
Yongkang Li and
Xinyue Huang and
Yicong Xu and
Jianwen Li and
Geguang Pu and
Ofer Strichman and
Moshe Y. Vardi},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Model-Guided Synthesis for {LTL} over Finite Traces},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {186--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_9},
doi = {10.1007/978-3-031-50524-9\_9},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/XiaoLHXLPSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2024-1,
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9},
doi = {10.1007/978-3-031-50524-9},
isbn = {978-3-031-50523-2},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/2024-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-12 21:59 CEST from data curated 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:
