Not finding it? Sign in to also search OpenAlex live.
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
0citations -
Generating Cheap Representative Functions for Expensive Automotive Crashworthiness Optimization2024 ACM Transactions on Evolutionary Learning and Optimization article Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Bas van Stein, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck
8citations -
Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions2024 Automated Software Engineering article Computer Science Software Testing and Debugging Techniques Open access
Max‐Arno Meyer, Mehdi Zouari, Sebastian Bannenberg, Markus Deppe, Sébastien Christiaens, Sung-Yong Lee, +1 more
2citations -
Challenges of ELA-based Function Evolution using Genetic Programming - Reproducability files2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Evolutionary Algorithms and Applications Open access
Fu Xing Long, Diederick Vermetten, Anna V. Kononova, Roman Kalkreuth, Kaifeng Yang, Thomas Bäck, +1 more
0citations -
Challenges of ELA-based Function Evolution using Genetic Programming - Reproducability files2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Evolutionary Algorithms and Applications Open access
Fu Xing Long, Diederick Vermetten, Anna V. Kononova, Roman Kalkreuth, Kaifeng Yang, Thomas Bäck, +1 more
0citations