Skip to contents

  1. Clarke, Edmund M. [Editor]; Henzinger, Thomas [Editor]; Veith, Helmut [Editor]; Bloem, Roderick [Editor]

    Handbook of model checking

    Books
    Close

    Bookmarks

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

    Cham: Springer, [2018]

  2. Biere, Armin [Author] ; Bloem, Roderick [Editor]

    Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham [u.a.]: Springer, 2014

    Published in: Lecture notes in computer science ; 8559

  5. Bloem, Roderick [Author] ; ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Software Engineering

    Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Austin,Texas: FMCAD Inc, 2010

    Published in: ACM Other conferences- ACM Digital Library

  6. Bloem, Roderick [Author] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

    Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Austin, TX: FMCAD Inc, 2010

    Published in: ACM Digital Library

  8. Bloem, Roderick P [Author] ; Jacobs, Swen [Other]; Khalimov, Ayrat [Other]; Konnov, Igor V. [Other]; Rubin, Sasha [Other]; Veith, Helmut [Other]; Widder, Josef [Other]

    Decidability of parameterized verification

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2015

    Published in: Synthesis lectures on distributed computing theory ; 13

  9. Bloem, Roderick [Editor]; Dimitrova, Rayna [Editor]; Fan, Chuchu [Editor]; Sharygina, Natasha [Editor]

    Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers - [1st ed. 2022.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Programming and Software Engineering ; 13124

  11. Jansen, Nils [Author]; Könighofer, Bettina [Author]; Junges, Sebastian [Author]; Serban, Alex [Author]; Bloem, Roderick [Author] ; Nils Jansen and Bettina Könighofer and Sebastian Junges and Alex Serban and Roderick Bloem [Contributor]

    Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  12. Lazic, Marijana [Author]; Konnov, Igor [Author]; Widder, Josef [Author]; Bloem, Roderick [Author] ; Marijana Lazic and Igor Konnov and Josef Widder and Roderick Bloem [Contributor]

    Synthesis of Distributed Algorithms with Parameterized Threshold Guards

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  13. Bloem, Roderick [Author]; Jacobs, Swen [Author]; Kalimov, Ayrat [Author]; Konnov, Igor [Author]

    Decidability of Parameterized Verification - [1st ed. 2015.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2015. ; Cham: Imprint: Springer, 2015.

    Published in: Synthesis Lectures on Distributed Computing Theory

  14. Cano Córdoba, Filip [Author]; Palmisano, Alexander [Author]; Fränzle, Martin [Author]; Bloem, Roderick [Author]; Könighofer, Bettina [Author]

    Safety shielding under delayed observation

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    2023

    Published in: De.arxiv.org ; (2023) vom: 5. Juli, Seite 1-6

  15. Cano Córdoba, Filip [Author]; Palmisano, Alexander [Author]; Fränzle, Martin [Author]; Bloem, Roderick [Author]; Könighofer, Bettina [Author]

    Safety shielding under delayed observation

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    2023

    Published in: International Conference on Automated Planning and Scheduling (33. : 2023 : Prag): Thirty-third International Conference on Automated Planning and Scheduling ; (2023), Seite 80-85

  16. Bloem, Roderick [Author]; Fey, Görschwin [Author]; Greif, Fabian [Author]; Könighofer, Robert [Author]; Pill, Ingo [Author]; Riener, Heinz [Author]; Röck, Franz [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institute of Embedded Systems

    Synthesizing adaptive test strategies from temporal logic specifications

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    14 October 2019

    Published in: Formal methods in system design ; 55(2019), 2, Seite 103-135

  17. Bloem, Roderick [Author]; Chatterjee, Krishnendu [Author]; Greimel, Karin [Author]; Henzinger, Thomas A [Author]; Jobstmann, Barbara [Author]; Touili, Tayssir [Author]; Cook, Byron [Author]; Jackson, Paul [Author]

    Robustness in the presence of liveness ; LNCS

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    Springer, 2010

    Published in: Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi: 10.1007/978-3-642-14295-6_36

  18. Ambros, Roland [Author]; Bernsteiner, Angelika [Author]; Bloem, Roderick [Author]; Dolezal, Dominik [Author]; Garcia, David [Author]; Göltl, Kathrin [Author]; Haagen-Schützenhöfer, Claudia [Author]; Hadler, Markus [Author]; Hell, Timotheus [Author]; Herderich, Alina [Author]

    Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Konstanz: KOPS Universität Konstanz, 2023

  20. Bloem, Roderick; Tabuada, Paulo

    Preface for the SYNT

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Science and Business Media LLC, 2020

    Published in: Acta Informatica