From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 28

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Modal simulation framework for the design and verification of future few-mode far-infrared spectrometers
2022 Millimeter, Submillimeter, and Far-Infrared Detectors and Instrumentation for Astronomy XI conference-paper Physics and Astronomy Astronomy and Astrophysical Research

Bram Lap, Willem Jellema, S. Withington

1

citations
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Maxim Jourenko, Marcus Völker

0

citations
Continuous Verification of Evolving Architecture Models: A Testing Framework for MontiArc
2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access

Tom Bursch, Adrian Marin, Bernhard Rumpe⋆, David Schmalzing

0

citations
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model
2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques

Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more

0

citations
Verification of Robust Multi-Agent Systems
2026 conference-paper Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
A Virtual Testbed for the Development and Verification of Cyber-Physical Systems
2023 Winter Simulation Conference conference-paper Computer Science Modeling and Simulation Systems

Jan Reitz, David Böken, Jürgen Roßmann

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
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
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
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
Computational Guidance & Navigation for Bearings-Only Rendezvous – methods and outcomes of GUIBEAR
2021 Zenodo (CERN European Organization for Nuclear Research) conference-paper Engineering Spacecraft Dynamics and Control Open access

Pedro Serra, Pedro Lourenço, José Briz Valero, Marco Mammarella, T. V. Peters, Dario Mora Portela, +6 more

1

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
Semantic Comparison of Asset Administration Shells
2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry Open access

Torben Miny, Sebastian Heppner, Igor Garmaev, Marko Ristin, Björn Otto, Nico Braunisch, +3 more

1

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
Streamlining Hybrid Vehicle Control Development with an Efficient MATLAB/Simulink Simulation Platform
2024 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Engineering Real-time simulation and control systems

Achyut Venkataramu, Yue Wang, Nadirsh Patel, Shichao Huo, Onur Şenoğlu

1

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
Model Checking the Multi-Formalism Language FIGARO
2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

7

citations
Test Automation Challenges for Application Landscape Frameworks
2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) conference-paper Computer Science Software Testing and Debugging Techniques

Nils Wild, Horst Lichter, Peter Kehren

4

citations
Automated Information Flow Analysis for Integrated Computing-in-Memory Modules
2023 IEEE Interregional NEWCAS Conference (NEWCAS) conference-paper Computer Science Security and Verification in Computing

Lennart M. Reimann, Felix Staudigl, Rainer Leupers

0

citations
Learning One-Clock Timed Automata
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

33

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Ontology-Based Grounding and Feedback for Reliable LLM-Based Asset Administration Shell Generation
2026 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry

Martin B. Jensen, Tristan Schwörer, Sazvan Saeed, Zakka Ugih Rizqi, Casper; id_orcid 0000-0001-7831-311X Schou

0

citations