From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “verification framework” 83

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

5

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
Towards an Isabelle Theory for distributed, interactive systems : the untimed case
2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more

3

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
FAIA - FAIR AI Attribution White Paper
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Law, AI, and Intellectual Property Open access

Sylvia E. Le Dévédec, Kristina Maria Hettne, Alessa A. Gambardella, Erik Schultes, Sebastian Posth

0

citations
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
Veriﬁcation and validation of digital twins and virtual testbeds
2022 International Journal of Advances in Applied Sciences article Computer Science Modeling and Simulation Systems Open access

Tobias Osterloh, Jürgen Roßmann

12

citations
Improving the Model-Based Systems Engineering Process
2022 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

Michael von Wenckstern

2

citations
Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Bernd Frauenknecht, Lukas Kesper, Daniel Mayfrank, Henrik Hose, Sebastian Trimpe

0

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

15

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Verifying LTL for Infinite State Systems via Termination Analysis
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Lommen, Moritz Leven Rosarius, Jürgen Giesl

0

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
LLM-Driven Heuristic Synthesis for Industrial Process Control: Lessons from Hot Steel Rolling
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Emad Scharifi

0

citations
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

citations
Hardware Model Checking Certification with Certifaiger and Cerbtora
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu

0

citations