Borzoo Bonakdarpour

Available identifiers

zbMath Open bonakdarpour.borzooMaRDI QIDQ832223

List of research outcomes

Publication	Date of Publication	Type
Finite-word hyperlanguages	2024-02-02	Paper
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties	2023-06-28	Paper
Decentralized Asynchronous Crash-resilient Runtime Verification	2023-04-27	Paper
Probabilistic Hyperproperties with Nondeterminism	2022-12-22	Paper
Model checking hyperproperties for Markov decision processes	2022-12-08	Paper
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms	2022-11-04	Paper
HyperPCTL model checking by probabilistic decomposition	2022-08-19	Paper
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings	2022-07-21	Paper
Gray-box monitoring of hyperproperties with an application to privacy	2022-06-20	Paper
Synthesizing optimal bias in randomized self-stabilization	2022-04-01	Paper
A temporal logic for asynchronous hyperproperties	2022-03-25	Paper
Finite-word hyperlanguages	2021-10-04	Paper
Bounded model checking for hyperproperties	2021-08-04	Paper
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL	2020-08-05	Paper
Program Repair for Hyperproperties	2020-07-20	Paper
Parameterized synthesis of self-stabilizing protocols in symmetric networks	2020-03-06	Paper
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols	2020-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4608668	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4603447	2018-02-20	Paper
Synthesizing bounded-time 2-phase fault recovery	2016-01-06	Paper
Runtime verification with minimal intrusion through parallelism	2015-10-30	Paper
Abstract Model Repair	2015-10-29	Paper
The complexity of automated addition of fault-tolerance without explicit legitimate states	2015-07-22	Paper
Time-triggered runtime verification	2014-06-30	Paper
Symbolic synthesis of masking fault-tolerant distributed programs	2013-02-04	Paper
A framework for automated distributed implementation of component-based models	2013-02-04	Paper
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs	2008-04-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Borzoo Bonakdarpour