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 38

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

246

citations
On Correctness, Precision, and Performance in Quantitative Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more

39

citations
The complexity of reachability in parametric Markov decision processes
2021 Journal of Computer and System Sciences article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

23

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

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

21

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

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
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

13

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

13

citations
Finding Provably Optimal Markov Chains
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

12

citations
HyperProb: A Model Checker for Probabilistic Hyperproperties
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

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

9

citations
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Muhammad Hannan Khan, Osman Hassan, Shahid Ali Khan

8

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

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
A Semantic Model for Interacting Cyber-Physical Systems
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

6

citations
Markov automata with multiple objectives
2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

5

citations
Scalable Reliability Analysis by Lazy Verification
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

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

5

citations
Tweaking the Odds in Probabilistic Timed Automata
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

4

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Erich Grädel, Niels Lücking, Matthias Naaf

4

citations
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification Open access

Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport

3

citations
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
TACoS: A Tool for MTL Controller Synthesis
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Till Hofmann, Stefan Schupp

3

citations
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

2

citations
Controller verification meets controller code
2021 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) conference-paper Computer Science Formal Methods in Verification

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám

2

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 other Computer Science Formal Methods in Verification

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

2

citations