I agree that this site is using cookies. You can find further informations here.
X
Katoen, Joost-Pieter
17  results:
Thesis (Online) X
Search for persons X
?
1

Verification of multi-objective Markov models 

Aachen, RWTH Aachen University, 2023
Quatmann, Tim , 2023
Link: https://nbn-resolving.de..
 
?
2

Synthesizing FDIR recovery strategies for space systems:

Müller, Sascha , 2023
Link: https://nbn-resolving.de..
 
?
3

Monotonicity in Markov models 

Aachen, RWTH Aachen University, 2023
Spel, Jip , 2023
Link: https://nbn-resolving.de..
 
?
4

Dynamic fault trees: semantics, analysis and applications 

Aachen, RWTH Aachen University, 2022
Volk, Matthias , 2022
Link: https://nbn-resolving.de..
 
?
5

Boolean-logic driven Markov processes 

explained. analysed. verified.  Aachener Informatik-Berichte (AIB) ; 2022, 02;Technical report / Department of Computer Science, RWTH Aachen
Khan, Shahid , October 2022
Link: https://nbn-resolving.de..
 
?
6

Automated reasoning and randomization in separation logic:

Matheja, Christoph , 2020
Link: https://nbn-resolving.de..
 
?
7

Parameter synthesis in Markov models:

Junges, Sebastian , 2020
Link: https://nbn-resolving.de..
 
?
8

Advanced weakest precondition calculi for probabilistic pro..:

Kaminski, Benjamin Lucien , 2019
Link: https://nbn-resolving.de..
 
?
9

New results on probabilistic verification 

automata, logic and satisfiability 
Chakraborty, Souymodip , 2019
Link: https://nbn-resolving.de..
 
?
10

IC3 software model checking 

Aachener Informatik-Berichte ; 2019, 02;Technical report / Department of Computer Science, RWTH Aachen
Lange, Tim Felix , February 2019
Link: https://nbn-resolving.de..
 
?
11

The probabilistic model checker Storm 

symbolic methods for probabilistic model checking  Aachener Informatik-Berichte ; 2018, 06;Technical report / Department of Computer Science, RWTH Aachen
Hensel, Christian , December 2018
Link: https://nbn-resolving.de..
 
?
12

Model-based reliability analysis of aerospace systems:

Bruintjes, Harold Y. , 2018
Link: https://nbn-resolving.de..
 
?
13

Semantics and loop invariant synthesis for probabilistic pr..:

Gretz, Friedrich , 2016
Link: http://nbn-resolving.de/..
 
?
14

Counterexamples in probabilistic verification:

Jansen, Nils , 2015
Link: http://nbn-resolving.de/..
 
?
15

Reduction Techniques for Nondeterministic and Probabilistic.. 

Aachener Informatik-Berichte ; 2015,3
Sharma, Arpit , 2015
Link: http://nbn-resolving.de/..
 
1-15