Borzoo Bonakdarpour - Publications, H-index & Citations

Borzoo Bonakdarpour

michigan state university

23H指数

175论文数

1.7K被引数

收录论文 8

发表时间

Efficient Discovery of Actual Causality in Stochastic Systems 在随机系统中高效发现实际因果关系

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026

IF0

2026-01-01

PREAI

Rafieioskouei, Arshia; Rogale, Kenneth; Bonakdarpour, Borzoo

Crash-Resilient Decentralized Synchronous Runtime Verification

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2024-05-01

PREAI

Ganguly, Ritam; Kazemloo, Shokufeh; Bonakdarpour, Borzoo

Distributed runtime verification of metric temporal properties

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2024-03-01

PREAI

Ganguly, Ritam; Xue, Yingjie; Jonckheere, Aaron; Ljung, Parker; Schornstein, Benjamin; Bonakdarpour, Borzoo; Herlihy, Maurice

Optimal Recharging of Teams of Mobile Robots

2021 IEEE 27TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2021)

IF0

2021-08-01

PREAI

Vu, Anh-Duy; Bonakdarpour, Borzoo

Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems 管理分布式网络物理系统中的安全-能源权衡

ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS

IF0

2019-04-16

OAAI

Anh-Duy Vu; Medhat, Ramy; Bonakdarpour, Borzoo

Energy-Efficient Multiple Producer-Consumer

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

2019-03-01

PREAI

Medhat, Ramy; Bonakdarpour, Borzoo; Fischmeister, Sebastian

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

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2018-05-01

PREAI

Faghih, Fathiyeh; Bonakdarpour, Borzoo

Snap-stabilizing committee coordination

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2016-01-01

OAAI

Bonakdarpour, Borzoo; Devismes, Stephane; Petit, Franck

研究方向