From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 154

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Delivering building demand flexibility for grid-interactive operation: from perception and cognition to decision, execution, and verification
2026 Applied Energy article Engineering Smart Grid Energy Management Open access

Zhenjun Ma, Menglong Lu, Xiaochen Yang, Maomao Hu, Anand Prakash, José A. Candanedo, +28 more

1

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

citations
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods
2020 RWTH Publications (RWTH Aachen) book Engineering Advanced Battery Technologies Research Open access

Christian Fleischer

0

citations
Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees
2024 conference-paper Engineering Underwater Vehicles and Communication Systems Open access

Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, László Antal, María João Costa, Yury Brodskiy

3

citations
Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees
2024 arXiv (Cornell University) preprint Engineering Underwater Vehicles and Communication Systems Open access

Martin Aubard, Olaya Álvarez-Tuñón, László Antal, María João Costa, Yury Brodskiy

0

citations
Adaptive data generation framework for machine learning models in nonlinear structural dynamics
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Control Systems and Identification Open access

Pavle Milicevic

0

citations
Behavioral Level Simulation Framework to Support Error-Aware CNN Training with In-Memory Computing
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Engineering Advanced Memory and Neural Computing

Shih-Han Chang, Chien‐Nan Jimmy Liu, Alexandra Küster

10

citations
FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
2025 Linköping electronic conference proceedings conference-paper Computer Science Modeling and Simulation Systems Open access

Nils Bosbach, Lukas Jünger, Matthias Berthold, Rainer Leupers

0

citations
A product assurance framework for the distributed serial production of the ESA PLATO flight cameras
2026 conference-abstract Engineering Spacecraft Design and Technology

N. Auricchio, J Huesler, Simonetta Chinellato, Ilina Kondofersky, Giacomo Cherchi, Fabrizio Cogato, +22 more

0

citations
Ensuring Safety in Automated Mechanical Ventilation through Offline Reinforcement Learning and Digital Twin Verification
2026 arXiv (Cornell University) preprint Medicine Respiratory Support and Mechanisms Open access

Hang Yu, Huidong Liu, Qingchen Zhang, William Joy, Kateryna Nikulina, Andreas Schuppert, +2 more

0

citations
Reversible imprinting and retrieval of quantum information: experimental verification of the Quantum Memory Matrix hypothesis
2026 Quantum Information Processing article Computer Science Quantum Computing Algorithms and Architecture Open access

Florian Neukart, E. J. Marx, V. M. Vinokur

1

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

László Antal

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
Guidance for laboratory implementation, governance and continuous assurance of artificial intelligence in histopathology
2026 Archiv für Pathologische Anatomie und Physiologie und für Klinische Medicin article Medicine Artificial Intelligence in Healthcare and Education Open access

Emad A. Rakha, Jelle Wesseling, Anikó Kovács, Aleš Ryška, Elena Provenzano, Gábor Cserni, +10 more

0

citations
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more

13

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
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
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
TOPO: Time-Ordered Provable Outputs
2024 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Santiago Casas

0

citations
Multi-Agent Software Development for Automotive Model-Based Graphical Programming
2026 IEEE Access article Engineering Safety Systems Engineering in Autonomy Open access

Abdelrahman Said Abdalla, Vincent Thie, Joschka Schaub, Markus Eisenbarth, Sung-Yong Lee, Jakob Andert

0

citations
Towards Formalized Training and Validation of AI-based Systems with Digital Twin Scenarios
2025 preprint Engineering Safety Systems Engineering in Autonomy Open access

Osama Maqbool, André Kupetz, Jürgen Roßmann

0

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