Skip to contents

Bonakdarpour, Borzoo [Author] ; Smolka, Scott A. [Editor]

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

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 ; 8734
Bonakdarpour, Borzoo [Organizer]; Brito, Andrey [Editor] ; 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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Piscataway, NJ: IEEE, 2021
Hsu, Tzu-Han [Author] ; Sanchez, Cesar [Other]; Bonakdarpour, Borzoo [Other]

Bounded Model Checking for Hyperproperties

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) -
Ganguly, Ritam [Author] ; Momtaz, Anik [Other]; Bonakdarpour, Borzoo [Other]

Formal methods: Monitoring Distributed Systems under Partial Synchrony

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

[Erscheinungsort nicht ermittelbar]: Opodis, 2020

Published in: OPODIS: International Conference on Principles of Distributed Systems, 2020 ; (Jan. 2020) -
Bonakdarpour, Borzoo [Editor]; Petit, Franck [Editor]

Stabilization, Safety, and Security of Distributed Systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 10083
Ganguly, Ritam [Author]; Momtaz, Anik [Author]; Bonakdarpour, Borzoo [Author] ; Ritam Ganguly and Anik Momtaz and Borzoo Bonakdarpour [Contributor]

Distributed Runtime Verification Under Partial Synchrony

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Schwenger, Maximilian [Author] ; Finkbeiner, Bernd [Degree supervisor]; Sánchez, César [Degree supervisor]; Bonakdarpour, Borzoo [Degree supervisor]

Statically-analyzed stream monitoring for cyber-physical Systems

View online
Schließen

Access

https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/33890

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Saarbrücken, 2022
Mirzaie, Nahal [Author]; Faghih, Fathiyeh [Author]; Jacobs, Swen [Author]; Bonakdarpour, Borzoo [Author] ; Nahal Mirzaie and Fathiyeh Faghih and Swen Jacobs and Borzoo Bonakdarpour [Contributor]

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Bonakdarpour, Borzoo [Author]; Fraigniaud, Pierre [Author]; Rajsbaum, Sergio [Author]; Rosenblueth, David A. [Author]; Travers, Corentin [Author] ; Borzoo Bonakdarpour and Pierre Fraigniaud and Sergio Rajsbaum and David A. Rosenblueth and Corentin Travers [Contributor]

Decentralized Asynchronous Crash-Resilient Runtime Verification

View online
Schließen

Access

Close

Bookmarks

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

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

Challenges in transformation of existing real-time embedded systems to cyber-physical systems

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2008

Published in: ACM SIGBED Review
Abbas, Houssam; Bonakdarpour, Borzoo

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2022

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Bonakdarpour, Borzoo; Sheinvald, Sarai

Language and Automata Theory and Applications: Finite-Word Hyperlanguages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2021

Published in: Language and Automata Theory and Applications
Bonakdarpour, Borzoo; Finkbeiner, Bernd

Automated Technology for Verification and Analysis: Program Repair for Hyperproperties

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2019

Published in: Automated Technology for Verification and Analysis
Ábrahám, Erika; Bonakdarpour, Borzoo

Quantitative Evaluation of Systems: HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2018

Published in: Quantitative Evaluation of Systems
Faghih, Fathiyeh; Bonakdarpour, Borzoo

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2018

Published in: IEEE Transactions on Dependable and Secure Computing
Faghih, Fathiyeh; Bonakdarpour, Borzoo

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2017

Published in: Lecture Notes in Computer Science
Bonakdarpour, Borzoo; Finkbeiner, Bernd

Runtime Verification: Runtime Verification for HyperLTL

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2016

Published in: Runtime Verification
Faghih, Fathiyeh; Bonakdarpour, Borzoo

SMT-Based Synthesis of Distributed Self-Stabilizing Systems

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2015

Published in: ACM Transactions on Autonomous and Adaptive Systems
Faghih, Fathiyeh; Bonakdarpour, Borzoo

Lecture Notes in Computer Science: SMT-Based Synthesis of Distributed Self-stabilizing Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2014

Published in: Lecture Notes in Computer Science
Fallahi, Narges; Bonakdarpour, Borzoo

Lecture Notes in Computer Science: How Good is Weak-Stabilization?

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer International Publishing, 2013

Published in: Lecture Notes in Computer Science

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication