Papers matching “quantitative verification” 73
Not finding it? Sign in to also search OpenAlex live.
-
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods0citations
-
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations -
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
0citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Developing and verifying a quantitative dissolution model for metal-bearing nanoparticles in aqueous media2023 Environmental Science Nano article Materials Science Nanoparticles: synthesis and applications Open access
Yuchao Song, Vivi Rottschäfer, Martina G. Vijver, Willie J.G.M. Peijnenburg
7citations -
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog2021 Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Luca Hanel, Dominik Šišejković, Farhad Merchant, Rainer Leupers
26citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations