From

Institution

Field

Type

Topic: Formal Methods in Verification ×

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

Reset

Papers in Formal Methods in Verification 41

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

28

citations
BDDs Strike Back
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

20

citations
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'
2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

16

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

15

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

14

citations
Gradient-Descent for Randomized Controllers Under Partial Observability
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

13

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
2022 Information and Computation article Computer Science Formal Methods in Verification

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

9

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Verification of Behavior Trees using Linear Constrained Horn Clauses
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrović, Christian Brecher

7

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
Probabilistic Hyperproperties with Rewards
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

6

citations
Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
Configurable Benchmarks for C Model Checkers
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Xaver Fink, Philipp K. Berger, Joost-Pieter Katoen

4

citations
Robot Swarms as Hybrid Systems: Modelling and Verification
2022 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella

3

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen

3

citations
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
2022 Information Sciences article Computer Science Formal Methods in Verification Open access

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding

3

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
Scenario-based verification of uncertain parametric MDPs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

2

citations
Assessing the combination of differential flatness and deterministic automata for controllable hybrid systems
2022 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Computer Science Formal Methods in Verification

Frederik Zahn, Tobias Kleinert, Veit Hagenmeyer

2

citations
Controlling timed automata against MTL specifications with TACoS
2022 Science of Computer Programming article Computer Science Formal Methods in Verification

Till Hofmann, Stefan Schupp

2

citations
HyperPCTL Model Checking by Probabilistic Decomposition
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour

2

citations
From symbolic constraint automata to Promela
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Hui Juan Feng, Marcello Bonsangue, Benjamin Lion

2

citations
The Power of Disjoint Support Decompositions in Decision Diagrams
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Lieuwe Vinkhuijzen, Alfons Laarman

2

citations