Search dblp for Publications

export results for "toc:db/conf/vmcai/vmcai2024-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vmcai/BardJV24,
  author       = {Joachim Bard and
                  Swen Jacobs and
                  Yakir Vizel},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Automatic and Incremental Repair for Speculative Information Leaks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {291--313},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_14},
  doi          = {10.1007/978-3-031-50521-8\_14},
  timestamp    = {Mon, 15 Jan 2024 09:04:26 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BardJV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BodenmullerDDSW24,
  author       = {Stefan Bodenm{\"{u}}ller and
                  John Derrick and
                  Brijesh Dongol and
                  Gerhard Schellhorn and
                  Heike Wehrheim},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {A Fully Verified Persistency Library},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {26--47},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_2},
  doi          = {10.1007/978-3-031-50521-8\_2},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BodenmullerDDSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BorealeC24,
  author       = {Michele Boreale and
                  Luisa Collodi},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Guaranteed Inference for Probabilistic Programs: {A} Parallelisable,
                  Small-Step Operational Approach},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {141--162},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_7},
  doi          = {10.1007/978-3-031-50521-8\_7},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BorealeC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ByrnesTJ24,
  author       = {Twain Byrnes and
                  Yoshiki Takashima and
                  Limin Jia},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Automatically Enforcing Rust Trait Properties},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {210--223},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_10},
  doi          = {10.1007/978-3-031-50521-8\_10},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/ByrnesTJ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DengWX24,
  author       = {Yuxin Deng and
                  Huiling Wu and
                  Ming Xu},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Local Reasoning About Probabilistic Behaviour for Classical-Quantum
                  Programs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {163--184},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_8},
  doi          = {10.1007/978-3-031-50521-8\_8},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/DengWX24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DhonthiEHH24,
  author       = {Akshay Dhonthi and
                  Marcello Eiermann and
                  Ernst Moritz Hahn and
                  Vahid Hashemi},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {{AGNES:} Abstraction-Guided Framework for Deep Neural Networks Security},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_6},
  doi          = {10.1007/978-3-031-50521-8\_6},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/DhonthiEHH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HavelundKOPT24,
  author       = {Klaus Havelund and
                  Panagiotis Katsaros and
                  Moran Omer and
                  Doron Peled and
                  Anastasios Temperekidis},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {TP-DejaVu: Combining Operational and Declarative Runtime Verification},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {249--263},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_12},
  doi          = {10.1007/978-3-031-50521-8\_12},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/HavelundKOPT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HeizmannKNS24,
  author       = {Matthias Heizmann and
                  Dominik Klumpp and
                  Lars Nitzke and
                  Frank Sch{\"{u}}ssele},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Petrification: Software Model Checking for Programs with Dynamic Thread
                  Management},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {3--25},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_1},
  doi          = {10.1007/978-3-031-50521-8\_1},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/HeizmannKNS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/LakenbrinkMOG24,
  author       = {Roman Lakenbrink and
                  Markus M{\"{u}}ller{-}Olm and
                  Christoph Ohrem and
                  Jens Oliver Gutsfeld},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {A Navigation Logic for Recursive Programs with Dynamic Thread Creation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {48--70},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_3},
  doi          = {10.1007/978-3-031-50521-8\_3},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/LakenbrinkMOG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/NakayamaMSSK24,
  author       = {Takashi Nakayama and
                  Yusuke Matsushita and
                  Ken Sakayori and
                  Ryosuke Sato and
                  Naoki Kobayashi},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Borrowable Fractional Ownership Types for Verification},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {224--246},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_11},
  doi          = {10.1007/978-3-031-50521-8\_11},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/NakayamaMSSK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ParoliniM24,
  author       = {Francesco Parolini and
                  Antoine Min{\'{e}}},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Sound Abstract Nonexploitability Analysis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {314--337},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_15},
  doi          = {10.1007/978-3-031-50521-8\_15},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/ParoliniM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/RahaRFNP24,
  author       = {Ritam Raha and
                  Rajarshi Roy and
                  Nathana{\"{e}}l Fijalkow and
                  Daniel Neider and
                  Guillermo A. P{\'{e}}rez},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {264--288},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_13},
  doi          = {10.1007/978-3-031-50521-8\_13},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/RahaRFNP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ReshefKSD24,
  author       = {Roie Reshef and
                  Anan Kabaha and
                  Olga Seleznova and
                  Dana Drachsler{-}Cohen},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Verification of Neural Networks' Local Differential Classification
                  Privacy},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {98--123},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_5},
  doi          = {10.1007/978-3-031-50521-8\_5},
  timestamp    = {Sun, 14 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/ReshefKSD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/TascheMDBHH24,
  author       = {Philip Tasche and
                  Ra{\'{u}}l E. Monti and
                  Stefanie Eva Drerup and
                  Pauline Blohm and
                  Paula Herber and
                  Marieke Huisman},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Deductive Verification of Parameterized Embedded Systems Modeled in
                  SystemC},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {187--209},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_9},
  doi          = {10.1007/978-3-031-50521-8\_9},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/TascheMDBHH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/TianZLWKZ24,
  author       = {Jiaxu Tian and
                  Dapeng Zhi and
                  Si Liu and
                  Peixin Wang and
                  Guy Katz and
                  Min Zhang},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based
                  Training},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {73--97},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_4},
  doi          = {10.1007/978-3-031-50521-8\_4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/TianZLWKZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2024-2,
  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 {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8},
  doi          = {10.1007/978-3-031-50521-8},
  isbn         = {978-3-031-50520-1},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/2024-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.