I agree that this site is using cookies. You can find further informations here.
X
Katoen, Joost-Pieter
15  results:
E-Books X
Search for persons X
?
1

Formal Methods: 25th International Symposium, FM 2023, Lübe.. 

Lecture Notes in Computer Science, 14000
Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker, Martin - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
2

Foundations of probabilistic programming:

Barthe, Gilles ; Katoen, Joost-Pieter ; Silva, Alexandra , 2021
Link: https://doi.org/10.1017/..
 
?
3

Dependable Software Engineering. Theories, Tools, and Appli.. 

Programming and Software Engineering, 11951
Guan, Nan ; Katoen, Joost-Pieter ; Sun, Jun - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
4

CONCUR 2011 - concurrency theory 

22nd international conference, CONCUR 2011, Aachen, Germany...  Lecture notes in computer science ; 6901
Katoen, Joost-Pieter ; König, Barbara , 2011
Link: http://dx.doi.org/10.100..
 
?
5

Compositional abstraction for stochastic systems 

Aachener Informatik-Berichte ; 2009,15;Technical report / Department of Computer Science, RWTH Aachen
Katoen, Joost-Pieter ; Klink, Daniel ; Neuhäußer, Martin , 2009
Link: http://edok01.tib.uni-ha..
 
?
6

Abstraction for stochastic systems by Erlang's method of st.. 

Aachener Informatik-Berichte ; 2008,12
Katoen, Joost-Pieter , 2008
Link: http://edok01.tib.uni-ha..
 
?
7

Compositional modeling and minimization of time-inhomogeneo.. 

Aachener Informatik-Berichte ; 2007,21
Han, Tingting ; Katoen, Joost-Pieter ; Mereacre, Alexandru , 2007
Link: http://edok01.tib.uni-ha..
 
?
8

Verifying concurrent list-manipulating programs by LTL mode.. 

Aachener Informatik-Berichte ; 2007,6
Katoen, Joost-Pieter ; Noll, Thomas ; Rieger, Stefan , 2007
Link: http://edok01.tib.uni-ha..
 
?
9

Bisimulation and logical preservation for continuous-time M.. 

Aachener Informatik-Berichte ; 2007,10
Neuhäußer, Martin ; Katoen, Joost-Pieter , 2007
Link: http://edok01.tib.uni-ha..
 
?
10

Counterexamples in probabilistic model checking 

Aachener Informatik-Berichte ; 2006,9
Han, Tingting ; Katoen, Joost-Pieter , 2006
Link: http://edok01.tib.uni-ha..
 
?
11

Model-Based Testing of Reactive Systems 

Advanced Lectures  Lecture Notes in Computer Science ; 3472
Broy, Manfred ; Jonsson, Bengt ; Katoen, Joost-Pieter.. , 2005
Link: http://dx.doi.org/10.100..
 
?
12

Validation of Stochastic Systems 

A Guide to Current Research  Lecture Notes in Computer Science ; 2925
Baier, Christel ; Haverkort, Boudewijn R. ; Hermanns, Holger.. , 2004
Link: https://doi.org/10.1007/..
 
?
13

Tools and Algorithms for the Construction and Analysis of S.. 

8th International Conference, TACAS 2002 Held as Part of th...  Lecture Notes in Computer Science ; 2280;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Katoen, Joost-Pieter ; Stevens, Perdita , 2002
Link: https://doi.org/10.1007/..
 
?
14

Lectures on Formal Methods and PerformanceAnalysis 

First EEF/Euro Summer School on Trends in Computer Science ...  Lecture Notes in Computer Science ; 2090;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Brinksma, Ed ; Hermanns, Holger ; Katoen, Joost-Pieter , 2001
Link: https://doi.org/10.1007/..
 
?
15

Formal Methods for Real-Time and Probabilistic Systems 

5th International AMAST Workshop, ARTS’99 Bamberg, Germany,...  Lecture Notes in Computer Science ; 1601;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Katoen, Joost-Pieter , 1999
Link: https://doi.org/10.1007/..
 
1-15