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. Herrmann, Linda [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Baier, Christel [Sonstige Person, Familie und Körperschaft] Technische Universität Dresden

    Formal configuration of fault-tolerant 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.

    Dresden, 2019

  7. Piribauer, Jakob [VerfasserIn] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]

    On Skolem-hardness and saturation points in Markov decision processes: Q/A Session A - Paper A4.A

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020) -

  8. Baier, Christel [VerfasserIn] ; ACM Special Interest Group on Logic and Computation, ACM SIGs

    Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

    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.

    New York,NY,United States: Association for Computing Machinery, 2022

    Erschienen in: ACM Conferences- ACM Digital Library

  9. Baier, Christel [VerfasserIn] ; Dal Lago, Ugo [HerausgeberIn]

    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    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.

    Cham: Springer Nature, 2018

  10. Baier, Christel [VerfasserIn] ; Tinelli, Cesare [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

    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.

    Berlin, Heidelberg: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9035

  11. Baier, Christel [VerfasserIn] ; Haverkort, Boudewijn R. [Sonstige Person, Familie und Körperschaft]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]; Siegle, Markus [Sonstige Person, Familie und Körperschaft]

    Validation of Stochastic Systems : A Guide to Current Research

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 2925

  12. Baier, Christel [VerfasserIn] ; Haverkort, Boudewijn R. [Sonstige Person, Familie und Körperschaft]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]; Siegle, Markus [Sonstige Person, Familie und Körperschaft]

    Validation of Stochastic Systems : A Guide to Current Research

    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.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 292500

  13. Jantsch, Simon [VerfasserIn] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]; Jansen, Nils [Sonstige Person, Familie und Körperschaft]

    Certificates and Witnesses 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.

    Dresden: Technische Universität Dresden, 2022

  14. Märcker, Steffen [VerfasserIn] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]; Becker, Bernd [Sonstige Person, Familie und Körperschaft]

    Model Checking Techniques for Design and Analysis of Future Hardware and Software 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.

    Dresden: Technische Universität Dresden, 2021

  15. Piribauer, Jakob [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Křetínský, Jan [Sonstige Person, Familie und Körperschaft]

    On Non-Classical Stochastic Shortest Path Problems

    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.

    Dresden: Technische Universität Dresden, 2021

  16. Müller, David [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Esparza, Javier [Sonstige Person, Familie und Körperschaft]

    Alternative Automata-based Approaches to 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.

    Dresden: Technische Universität Dresden, 2019

  17. Daum, Marcus [VerfasserIn] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]; Parker, David [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Probabilistic Energy 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.

    Dresden: Technische Universität Dresden, 2019

  18. Gburek, Daniel [VerfasserIn] ; Baier, Christel [Sonstige Person, Familie und Körperschaft]; Panangaden, Prakash [Sonstige Person, Familie und Körperschaft]

    Stochastic transition systems: bisimulation, logic, and composition

    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.

    Dresden: Technische Universität Dresden, 2018

  19. Klein, Joachim [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Steffen, Martin [AkademischeR BetreuerIn]

    Compositional Synthesis and Most General Controllers

    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.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2013

  20. Klüppelholz, Sascha [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Arbab, Farhad [AkademischeR BetreuerIn]

    Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination 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.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012