Zum Inhalt springen

  4. Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]

    Principles of model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, Mass. [u.a.]: MIT Press, 2008

  6. Spel, Jip [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Petrov, Tatjana [AkademischeR BetreuerIn]

    Monotonicity in Markov models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen : RWTH Aachen University, 2023

  7. Quatmann, Tim [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Randour, Mickael [AkademischeR BetreuerIn]

    Verification of multi-objective Markov models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Erschienen in: Aachen : RWTH Aachen University, 2023

  8. Matheja, Christoph [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Iosif, Radu [AkademischeR BetreuerIn]

    Automated reasoning and randomization in separation logic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2020

  9. Khan, Shahid [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Stoelinga, Mariëlle [AkademischeR BetreuerIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

    Erschienen in: Aachener Informatik-Berichte (AIB) ; AIB-2022-02

  10. Volk, Matthias [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Cimatti, Alessandro [AkademischeR BetreuerIn]

    Dynamic fault trees: semantics, analysis and applications

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

    Erschienen in: Aachen : RWTH Aachen University, 2022

  11. Chakraborty, Souymodip [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Zhang, Lijun [AkademischeR BetreuerIn]

    New results on probabilistic verification : automata, logic and satisfiability

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2019

  12. Cramer, Tim [VerfasserIn] ; Müller, Matthias [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]

    Analyzing memory accesses for performance and correctness of parallel programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2017

  13. Wu, Hao [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Haverkort, Boudewijn [AkademischeR BetreuerIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2017

  14. Bruintjes, Harold Y. [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Cimatti, Alessandro [AkademischeR BetreuerIn]

    Model-based reliability analysis of aerospace systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2018

  15. Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]

    Quantitative and structural analysis of real-time and probabilistic systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2016

  16. Gretz, Friedrich [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Sankaranarayanan, Sriram [AkademischeR BetreuerIn]

    Semantics and loop invariant synthesis for probabilistic programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2016

  17. Hensel, Hans Christian [VerfasserIn] ; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]; Parker, David [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek RWTH Aachen, 2018

    Erschienen in: Aachener Informatik-Berichte ; 2018-06

  18. Sher, Falak [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Zhang, Lijun [AkademischeR BetreuerIn]

    Abstraction and refinement of probabilistic automata using modal stochastic games

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2015

    Erschienen in: Aachener Informatik-Berichte ; 2015,10

  19. Sharma, Arpit [VerfasserIn] ; Katoen, Joost-Pieter [AkademischeR BetreuerIn]; Hermanns, Holger [AkademischeR BetreuerIn]

    Reduction Techniques for Nondeterministic and Probabilistic Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2015

    Erschienen in: Aachener Informatik-Berichte ; 2015,3

  20. Müllner, Nils Henning [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]

    Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2014