From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Modal Simulation Framework for the Design and Verification of Future Few-Mode Far-Infrared Spectrometers
2022 arXiv (Cornell University) preprint Physics and Astronomy Astronomy and Astrophysical Research Open access

B. N. R. Lap, W. Jellema, S. Withington, David A. Naylor

0

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

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
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
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
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
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
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
Inductive Synthesis of Finite-State Controllers for POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

1

citations
A semantic model for interacting cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

3

citations
Infrared-safe flavoured anti-$k_T$ jets
2022 arXiv (Cornell University) preprint Physics and Astronomy Particle physics theoretical and experimental studies Open access

Michał Czakon, Alexander Mitov, René Poncelet

1

citations

13 results