Zum Inhalt springen

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

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

    Cham: Springer, [2018]

  2. Biere, Armin [VerfasserIn] ; Bloem, Roderick [HerausgeberIn]

    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

    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 [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8559

  3. Bloem, Roderick [Sonstige Person, Familie und Körperschaft] ; Association for Computing Machinery Special Interest Group on Programming Languages

    Formal methods in computer-aided design (FMCAD), 2010 : 20 - 23 Oct. 2010, Lugano, Switzerland

    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.

    Piscataway, NJ: IEEE, 2010

  4. Bloem, Roderick [VerfasserIn] ; Lipp, Peter [HerausgeberIn]

    Trusted Systems : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, 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 [u.a.]: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8292

  5. Bloem, Roderick [VerfasserIn] ; 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

    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.

    Austin,Texas: FMCAD Inc, 2010

    Erschienen in: ACM Other conferences- ACM Digital Library

  6. Bloem, Roderick [VerfasserIn] ; 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

    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.

    Austin, TX: FMCAD Inc, 2010

    Erschienen in: ACM Digital Library

  7. Bloem, Roderick [HerausgeberIn]; Arbel, Eli [HerausgeberIn]

    Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, 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, 2016

    Erschienen in: Lecture notes in computer science ; 10028

  8. Bloem, Roderick P [VerfasserIn] ; Jacobs, Swen [Sonstige Person, Familie und Körperschaft]; Khalimov, Ayrat [Sonstige Person, Familie und Körperschaft]; Konnov, Igor V. [Sonstige Person, Familie und Körperschaft]; Rubin, Sasha [Sonstige Person, Familie und Körperschaft]; Veith, Helmut [Sonstige Person, Familie und Körperschaft]; Widder, Josef [Sonstige Person, Familie und Körperschaft]

    Decidability of parameterized verification

    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.

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

    Erschienen in: Synthesis lectures on distributed computing theory ; 13

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

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

    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 International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Programming and Software Engineering ; 13124

  10. Clarke, Edmund M. [HerausgeberIn]; Henzinger, Thomas [HerausgeberIn]; Veith, Helmut [HerausgeberIn]; Bloem, Roderick [HerausgeberIn]

    Handbook of 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.

    Cham: Springer, 2018

    Erschienen in: SpringerLink ; Bücher- Springer eBook Collection

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

    Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

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

  12. Lazic, Marijana [VerfasserIn]; Konnov, Igor [VerfasserIn]; Widder, Josef [VerfasserIn]; Bloem, Roderick [VerfasserIn] ; Marijana Lazic and Igor Konnov and Josef Widder and Roderick Bloem [MitwirkendeR]

    Synthesis of Distributed Algorithms with Parameterized Threshold Guards

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

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

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

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

    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 International Publishing, 2015. ; Cham: Imprint: Springer, 2015.

    Erschienen in: Synthesis Lectures on Distributed Computing Theory

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

    Safety shielding under delayed observation

    Aufsätze
    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.

    2023

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

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

    Safety shielding under delayed observation

    Aufsätze
    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.

    2023

    Erschienen 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 [VerfasserIn]; Fey, Görschwin [VerfasserIn]; Greif, Fabian [VerfasserIn]; Könighofer, Robert [VerfasserIn]; Pill, Ingo [VerfasserIn]; Riener, Heinz [VerfasserIn]; Röck, Franz [VerfasserIn] ; Technische Universität Hamburg, Technische Universität Hamburg Institute of Embedded Systems

    Synthesizing adaptive test strategies from temporal logic specifications

    Aufsätze
    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.

    14 October 2019

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

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

    Robustness in the presence of liveness ; LNCS

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

    Springer, 2010

    Erschienen 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 [VerfasserIn]; Bernsteiner, Angelika [VerfasserIn]; Bloem, Roderick [VerfasserIn]; Dolezal, Dominik [VerfasserIn]; Garcia, David [VerfasserIn]; Göltl, Kathrin [VerfasserIn]; Haagen-Schützenhöfer, Claudia [VerfasserIn]; Hadler, Markus [VerfasserIn]; Hell, Timotheus [VerfasserIn]; Herderich, Alina [VerfasserIn]

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

    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.

    Konstanz: KOPS Universität Konstanz, 2023

  20. Bloem, Roderick; Tabuada, Paulo

    Preface for the SYNT

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2020

    Erschienen in: Acta Informatica