Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/vmcai/vmcai2024-1.bht:"
@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} }
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.