Not finding it? Sign in to also search OpenAlex live.
-
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 -
Toward an Operational Anthropogenic CO2 Emissions Monitoring and Verification Support Capacity2020 Bulletin of the American Meteorological Society article Environmental Science Atmospheric and Environmental Gas Dynamics Open access
Greet Janssens‐Maenhout, B. Pinty, Mark D. Dowell, H. Zunker, Erik Andersson, Gianpaolo Balsamo, +34 more
205citations -
Development of a high-fidelity computational tool for chemically reacting hypersonic flow simulations2022 King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access
Athanasios Margaritis, Clément Scherding, Olaf Marxen, Peter J. Schmid, Taraneh Sayadi
3citations -
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more
7citations