Borzoo Bonakdarpour

Available identifiers

zbMath Open bonakdarpour.borzooMaRDI QIDQ832223

List of research outcomes

Publication	Date of Publication	Type
Runtime verification of partially-synchronous distributed system	2025-01-13	Paper
Introducing asynchronicity to probabilistic hyperproperties	2024-05-29	Paper
Gray-box monitoring of hyperproperties	2024-03-14	Paper
Finite-word hyperlanguages	2024-02-02	Paper
Bounded model checking for asynchronous hyperproperties	2023-12-13	Paper
Efficient loop conditions for bounded model checking hyperproperties	2023-12-13	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

This page was built for person: Borzoo Bonakdarpour