Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Zhi Zhong
Lathuilière, Stéphane
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
M. Tezer-Sezgin
Chen Ma
Home
/
Author
/
JOOST-PIETER KATOEN
Author Info
Open Visualization
Name
Affiliation
Papers
JOOST-PIETER KATOEN
Rhein Westfal TH Aachen, Aachen, Germany
13
Collaborators
Citations
PageRank
35
7
4.45
Referers
Referees
References
16
290
144
Search Limit
100
290
Publications (13 rows)
Collaborators (35 rows)
Referers (16 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
DFT modeling approach for operational risk assessment of railway infrastructure
0
0.34
2022
Under-Approximating Expected Total Rewards in POMDPs
0
0.34
2022
POMDP Controllers with Optimal Budget
0
0.34
2022
Tweaking The Odds In Probabilistic Timed Automata
0
0.34
2021
Counterexample-guided inductive synthesis for probabilistic systems
0
0.34
2021
Foundations for Entailment Checking in Quantitative Separation Logic
0
0.34
2021
Scalable Reliability Analysis by Lazy Verification.
0
0.34
2021
The Probabilistic Termination Tool Amber
0
0.34
2021
Aiming low is harder: induction for lower bounds in probabilistic program verification
2
0.36
2020
Verification of indefinite-horizon POMDPs
1
0.34
2020
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.
0
0.34
2019
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.
0
0.34
2018
Markov Automata With Multiple Objectives
4
0.37
2017
1