Zum Inhalt springen

  1. Bonakdarpour, Borzoo [VerfasserIn] ; Smolka, Scott A. [HerausgeberIn]

    Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 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 ; 8734

  2. Bonakdarpour, Borzoo [VeranstalterIn]; Brito, Andrey [HerausgeberIn] ; International Symposium on Reliable Distributed Systems 40. 2021 Online

    2021 40th International Symposium on Reliable Distributed Systems : SRDS 2021 : virtual conference, 20-23 September 2021 : 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.

    Piscataway, NJ: IEEE, 2021

  3. Hsu, Tzu-Han [VerfasserIn] ; Sanchez, Cesar [Sonstige Person, Familie und Körperschaft]; Bonakdarpour, Borzoo [Sonstige Person, Familie und Körperschaft]

    Bounded Model Checking for Hyperproperties

    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]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) -

  4. Ganguly, Ritam [VerfasserIn] ; Momtaz, Anik [Sonstige Person, Familie und Körperschaft]; Bonakdarpour, Borzoo [Sonstige Person, Familie und Körperschaft]

    Formal methods: Monitoring Distributed Systems under Partial Synchrony

    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]: Opodis, 2020

    Erschienen in: OPODIS: International Conference on Principles of Distributed Systems, 2020 ; (Jan. 2020) -

  5. Bonakdarpour, Borzoo [HerausgeberIn]; Petit, Franck [HerausgeberIn]

    Stabilization, Safety, and Security of Distributed Systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 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 ; 10083

  6. Ganguly, Ritam [VerfasserIn]; Momtaz, Anik [VerfasserIn]; Bonakdarpour, Borzoo [VerfasserIn] ; Ritam Ganguly and Anik Momtaz and Borzoo Bonakdarpour [MitwirkendeR]

    Distributed Runtime Verification Under Partial Synchrony

    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.

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

  7. Schwenger, Maximilian [VerfasserIn] ; Finkbeiner, Bernd [AkademischeR BetreuerIn]; Sánchez, César [AkademischeR BetreuerIn]; Bonakdarpour, Borzoo [AkademischeR BetreuerIn]

    Statically-analyzed stream monitoring for cyber-physical 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.

    Saarbrücken, 2022

  8. Mirzaie, Nahal [VerfasserIn]; Faghih, Fathiyeh [VerfasserIn]; Jacobs, Swen [VerfasserIn]; Bonakdarpour, Borzoo [VerfasserIn] ; Nahal Mirzaie and Fathiyeh Faghih and Swen Jacobs and Borzoo Bonakdarpour [MitwirkendeR]

    Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

    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.

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

  9. Bonakdarpour, Borzoo [VerfasserIn]; Fraigniaud, Pierre [VerfasserIn]; Rajsbaum, Sergio [VerfasserIn]; Rosenblueth, David A. [VerfasserIn]; Travers, Corentin [VerfasserIn] ; Borzoo Bonakdarpour and Pierre Fraigniaud and Sergio Rajsbaum and David A. Rosenblueth and Corentin Travers [MitwirkendeR]

    Decentralized Asynchronous Crash-Resilient Runtime Verification

    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.

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

  11. Abbas, Houssam; Bonakdarpour, Borzoo

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems

    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.

    Springer International Publishing, 2022

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

  16. Faghih, Fathiyeh; Bonakdarpour, Borzoo

    Lecture Notes in Computer Science: ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms

    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.

    Springer International Publishing, 2017

    Erschienen in: Lecture Notes in Computer Science