Skip to contents

Katoen, Joost-Pieter [Editor] ; TACAS 8 2002 Grenoble, ETAPS 5 2002 Grenoble

Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2280
Katoen, Joost-Pieter [Editor] ; International AMAST Workshop 5 1999 Bamberg

Formal methods for real time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1601
Katoen, Joost-Pieter [Editor]; König, Barbara [Other] ; CONCUR 22 2011 Aachen

CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6901
Baier, Christel [Author]; Katoen, Joost-Pieter [Author]

Principles of model checking

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 2008
Rieger, Stefan [Author] ; Katoen, Joost-Pieter [Degree supervisor]

Verification of pointer programs

View online
Schließen

Access

https://d-nb.info/1128316080/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2009
Spel, Jip [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Petrov, Tatjana [Degree supervisor]

Monotonicity in Markov models

View online
Schließen

Access

https://d-nb.info/1317716124/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2023

Published in: Aachen : RWTH Aachen University, 2023
Quatmann, Tim [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Randour, Mickael [Degree supervisor]

Verification of multi-objective Markov models

View online
Schließen

Access

https://d-nb.info/1310697698/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2023

Published in: Aachen : RWTH Aachen University, 2023
Matheja, Christoph [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Iosif, Radu [Degree supervisor]

Automated reasoning and randomization in separation logic

View online
Schließen

Access

https://d-nb.info/1216175748/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2020
Khan, Shahid [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Stoelinga, Mariëlle [Degree supervisor]

Boolean-logic driven Markov processes : Explained. Analysed. Verified.

View online
Schließen

Access

https://d-nb.info/1275875378/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2022

Published in: Aachener Informatik-Berichte (AIB) ; AIB-2022-02
Volk, Matthias [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Cimatti, Alessandro [Degree supervisor]

Dynamic fault trees: semantics, analysis and applications

View online
Schließen

Access

https://d-nb.info/1289351813/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2022

Published in: Aachen : RWTH Aachen University, 2022
Chakraborty, Souymodip [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Zhang, Lijun [Degree supervisor]

New results on probabilistic verification : automata, logic and satisfiability

View online
Schließen

Access

https://d-nb.info/119418426X/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2019
Sher, Falak [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Zhang, Lijun [Degree supervisor]

Abstraction and refinement of probabilistic automata using modal stochastic games

View online
Schließen

Access

https://d-nb.info/1168667437/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2015

Published in: Aachener Informatik-Berichte ; 2015,10
Cramer, Tim [Author] ; Müller, Matthias [Degree supervisor]; Katoen, Joost-Pieter [Degree supervisor]

Analyzing memory accesses for performance and correctness of parallel programs

View online
Schließen

Access

https://d-nb.info/1161412042/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2017
Wu, Hao [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Haverkort, Boudewijn [Degree supervisor]

Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -

View online
Schließen

Access

https://d-nb.info/1162450916/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2017
Bruintjes, Harold Y. [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Cimatti, Alessandro [Degree supervisor]

Model-based reliability analysis of aerospace systems

View online
Schließen

Access

https://d-nb.info/1192375491/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2018
Swaminathan, Mani [Author] ; Fränzle, Martin [Degree supervisor]; Katoen, Joost-Pieter [Degree supervisor]

Quantitative and structural analysis of real-time and probabilistic systems

View online
Schließen

Access

https://d-nb.info/1106381106/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2016
Sharma, Arpit [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Hermanns, Holger [Degree supervisor]

Reduction Techniques for Nondeterministic and Probabilistic Systems

View online
Schließen

Access

https://d-nb.info/1159379912/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2015

Published in: Aachener Informatik-Berichte ; 2015,3
Gretz, Friedrich [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Sankaranarayanan, Sriram [Degree supervisor]

Semantics and loop invariant synthesis for probabilistic programs

View online
Schließen

Access

https://d-nb.info/1126278491/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek der RWTH Aachen, 2016
Hensel, Hans Christian [Author] ; Katoen, Joost-Pieter [Other]; Parker, David [Other]

The probabilistic model checker Storm : symbolic methods for probabilistic model checking

View online
Schließen

Access

https://d-nb.info/1187766534/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Universitätsbibliothek RWTH Aachen, 2018

Published in: Aachener Informatik-Berichte ; 2018-06
Müllner, Nils Henning [Author] ; Theel, Oliver [Degree supervisor]; Katoen, Joost-Pieter [Degree supervisor]

Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments

View online
Schließen

Access

https://d-nb.info/1051433495/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2014

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication