![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Borzoo Bonakdarpour
Person information
- affiliation: Michigan State University, MI, USA
- affiliation (former): McMaster University, Hamilton, Canada
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed runtime verification of metric temporal properties. J. Parallel Distributed Comput. 185: 104801 (2024) - [j28]Ritam Ganguly
, Shokufeh Kazemloo
, Borzoo Bonakdarpour
:
Crash-Resilient Decentralized Synchronous Runtime Verification. IEEE Trans. Dependable Secur. Comput. 21(3): 1017-1031 (2024) - [c98]Raven Beutner
, Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
:
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) 2024: 3-26 - [d2]Raven Beutner
, Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
:
HyRep: Automated Program Repair For Hyperproperties. Version 1. Zenodo, 2024 [all versions] - [d1]Raven Beutner
, Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
:
HyRep: Automated Program Repair For Hyperproperties. Version 2. Zenodo, 2024 [all versions] - [i25]Arshia Rafieioskouei, Borzoo Bonakdarpour:
Efficient Discovery of Actual Causality using Abstraction-Refinement. CoRR abs/2407.16629 (2024) - 2023
- [j27]Borzoo Bonakdarpour, Sarai Sheinvald
:
Finite-word hyperlanguages. Inf. Comput. 295(Part B): 104944 (2023) - [j26]Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 25(4): 541-556 (2023) - [c97]Oyendrila Dobe
, Stefan Schupp
, Ezio Bartocci
, Borzoo Bonakdarpour
, Axel Legay
, Miroslav Pajic
, Yu Wang
:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c96]Anik Momtaz
, Houssam Abbas
, Borzoo Bonakdarpour
:
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS 2023: 154-165 - [c95]Lina Gerlach
, Oyendrila Dobe
, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour
:
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64 - [c94]Charles Koll
, Anik Momtaz
, Borzoo Bonakdarpour
, Houssam Abbas
:
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV 2023: 213-230 - [c93]Anik Momtaz
, Ramy Medhat
, Borzoo Bonakdarpour
:
Resource Optimization of Stream Processing in Layered Internet of Things. SRDS 2023: 221-231 - [c92]Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
, César Sánchez
:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - [c91]Tzu-Han Hsu
, César Sánchez
, Sarai Sheinvald
, Borzoo Bonakdarpour
:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) 2023: 66-84 - [i24]Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023) - [i23]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i22]Ritam Ganguly, Borzoo Bonakdarpour:
Stream-based Decentralized Runtime Verification. CoRR abs/2301.13266 (2023) - [i21]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR abs/2307.05282 (2023) - [i20]Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas:
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals. CoRR abs/2308.02763 (2023) - 2022
- [j25]Matthias Volk
, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki:
Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. 35(1): 37-57 (2022) - [j24]Oyendrila Dobe
, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour:
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022) - [j23]Borzoo Bonakdarpour
, Pierre Fraigniaud
, Sergio Rajsbaum
, David A. Rosenblueth
, Corentin Travers
:
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69(5): 34:1-34:31 (2022) - [c90]Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis:
Mapping Synthesis for Hyperproperties. CSF 2022: 486-500 - [c89]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. ICDCS 2022: 23-33 - [c88]Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám
, Borzoo Bonakdarpour:
HyperPCTL Model Checking by Probabilistic Decomposition. IFM 2022: 209-226 - [c87]Houssam Abbas, Borzoo Bonakdarpour:
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. ISoLA (1) 2022: 264-278 - [c86]Oyendrila Dobe, Lukas Wilke, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour:
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673 - [i19]Borzoo Bonakdarpour, Sarai Sheinvald:
Finite-Word Hyperlanguages. CoRR abs/2201.01670 (2022) - [i18]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. CoRR abs/2204.09796 (2022) - 2021
- [j22]Sandro Stucki
, César Sánchez
, Gerardo Schneider
, Borzoo Bonakdarpour
:
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - [c85]Jan Baumeister
, Norine Coenen
, Borzoo Bonakdarpour
, Bernd Finkbeiner
, César Sánchez
:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c84]Yu Wang
, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Hyperproperties. CSF 2021: 1-16 - [c83]Oyendrila Dobe, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour
:
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666 - [c82]Yu Wang
, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic conformance for cyber-physical systems. ICCPS 2021: 55-66 - [c81]Borzoo Bonakdarpour
, Sarai Sheinvald
:
Finite-Word Hyperlanguages. LATA 2021: 173-186 - [c80]Anh-Duy Vu, Borzoo Bonakdarpour:
Optimal Recharging of Teams of Mobile Robots. RTCSA 2021: 179-188 - [c79]Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate Monitoring in Distributed Cyber-Physical Systems. RV 2021: 3-22 - [c78]Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour:
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. SRDS 2021: 67-77 - [c77]Tzu-Han Hsu
, César Sánchez
, Borzoo Bonakdarpour
:
Bounded Model Checking for Hyperproperties. TACAS (1) 2021: 94-112 - [i17]Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021) - [i16]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021) - [i15]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021) - [i14]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i13]Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez:
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR abs/2109.12989 (2021) - 2020
- [j21]Nahal Mirzaie
, Fathiyeh Faghih
, Swen Jacobs
, Borzoo Bonakdarpour:
Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica 57(1-2): 271-304 (2020) - [c76]Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - [c75]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379 - [c74]Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour, Oyendrila Dobe
:
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31 - [c73]Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM 2020: 311-328 - [c72]Ritam Ganguly, Anik Momtaz
, Borzoo Bonakdarpour
:
Distributed Runtime Verification Under Partial Synchrony. OPODIS 2020: 20:1-20:17 - [i12]Borzoo Bonakdarpour, Sarai Sheinvald:
Automata for Hyperlanguages. CoRR abs/2002.09877 (2020) - [i11]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. CoRR abs/2005.06115 (2020) - [i10]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic Conformance for Cyber-Physical Systems. CoRR abs/2008.01135 (2020) - [i9]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. CoRR abs/2009.08907 (2020)
2010 – 2019
- 2019
- [j20]Ezio Bartocci
, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo
, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger
, Grigore Rosu, Julien Signoles
, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [j19]Yu Wang
, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
:
Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 92:1-92:23 (2019) - [j18]Ramy Medhat
, Borzoo Bonakdarpour
, Sebastian Fischmeister:
Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. 30(3): 560-574 (2019) - [c71]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441 - [c70]Sandro Stucki
, César Sánchez
, Gerardo Schneider
, Borzoo Bonakdarpour
:
Gray-Box Monitoring of Hyperproperties. FM 2019: 406-424 - [c69]Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour:
Managing the security-energy tradeoff in distributed cyber-physical systems. ICCPS 2019: 118-128 - [i8]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Probabilistic Hyperproperties. CoRR abs/1902.04111 (2019) - [i7]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR abs/1906.07253 (2019) - [i6]Sandro Stucki
, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR abs/1906.08731 (2019) - 2018
- [j17]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14(1) (2018) - [j16]Fathiyeh Faghih, Borzoo Bonakdarpour
:
Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. IEEE Trans. Dependable Secur. Comput. 15(3): 526-541 (2018) - [c68]Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CSF 2018: 162-174 - [c67]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c66]Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic:
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) 2018: 9-18 - [c65]Nahal Mirzaie
, Fathiyeh Faghih, Swen Jacobs
, Borzoo Bonakdarpour:
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS 2018: 29:1-29:17 - [c64]Erika Ábrahám
, Borzoo Bonakdarpour:
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST 2018: 20-35 - [c63]Shokoufeh Kazemlou
, Borzoo Bonakdarpour:
Crash-Resilient Decentralized Synchronous Runtime Verification. SRDS 2018: 207-212 - [i5]Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR abs/1804.01853 (2018) - [i4]Wei Zhao, Borzoo Bonakdarpour:
Decentralized Multi-UAV Routing in the Presence of Disturbances. CoRR abs/1807.04823 (2018) - 2017
- [j15]Ramy Medhat
, Michael O. Lam
, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister:
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. 16(5s): 184:1-184:19 (2017) - [c62]Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour:
Distributed Vehicle Routing Approximation. IPDPS 2017: 503-512 - [c61]Saba Aflaki, Matthias Volk
, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann:
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS 2017: 94-103 - [c60]Fathiyeh Faghih, Borzoo Bonakdarpour:
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. SSS 2017: 219-233 - [c59]Noel Brett, Umair Siddique, Borzoo Bonakdarpour:
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. TACAS (2) 2017: 77-93 - 2016
- [j14]Borzoo Bonakdarpour, Stéphane Devismes
, Franck Petit
:
Snap-stabilizing committee coordination. J. Parallel Distributed Comput. 87: 26-42 (2016) - [c58]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum
, David A. Rosenblueth, Corentin Travers:
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR 2016: 16:1-16:15 - [c57]Shreya Agrawal, Borzoo Bonakdarpour:
Runtime Verification of k-Safety Hyperproperties in HyperLTL. CSF 2016: 239-252 - [c56]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE 2016: 124-141 - [c55]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Challenges in Fault-Tolerant Distributed Runtime Verification. ISoLA (2) 2016: 363-370 - [c54]Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. RV 2016: 41-45 - [c53]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV 2016: 251-267 - [e2]Borzoo Bonakdarpour, Franck Petit
:
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. Lecture Notes in Computer Science 10083, 2016, ISBN 978-3-319-49258-2 [contents] - 2015
- [j13]George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros
, Scott A. Smolka:
Abstract Model Repair. Log. Methods Comput. Sci. 11(3) (2015) - [j12]Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. 28(3): 201-219 (2015) - [j11]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. 27(1): 1-31 (2015) - [j10]Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46(3): 317-348 (2015) - [j9]Fathiyeh Faghih, Borzoo Bonakdarpour:
SMT-Based Synthesis of Distributed Self-Stabilizing Systems. ACM Trans. Auton. Adapt. Syst. 10(3): 21:1-21:26 (2015) - [j8]Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister:
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. 14(4): 79:1-79:29 (2015) - [c52]Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister:
A framework for mining hybrid automata from input/output traces. EMSOFT 2015: 177-186 - [c51]Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour:
Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. ICDCS 2015: 579-588 - [c50]Menna Mostafa, Borzoo Bonakdarpour:
Decentralized Runtime Verification of LTL Specifications in Distributed Systems. IPDPS 2015: 494-503 - [c49]Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem:
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374 - [c48]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV 2015: 153-168 - [c47]Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil:
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. SSS 2015: 156-170 - [i3]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR abs/1509.05664 (2015) - 2014
- [c46]Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni:
Knowledge-Based Automated Repair of Authentication Protocols. FM 2014: 132-147 - [c45]Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS 2014: 115-126 - [c44]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Power-Efficient Multiple Producer-Consumer. IPDPS 2014: 669-678 - [c43]Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone:
First International Competition on Software for Runtime Verification. RV 2014: 1-9 - [c42]Fathiyeh Faghih, Borzoo Bonakdarpour:
SMT-Based Synthesis of Distributed Self-stabilizing Systems. SSS 2014: 165-179 - [e1]Borzoo Bonakdarpour, Scott A. Smolka:
Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science 8734, Springer 2014, ISBN 978-3-319-11163-6 [contents] - [i2]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Power Redistribution for Optimizing Performance in MPI Clusters. CoRR abs/1410.6824 (2014) - [i1]Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR abs/1411.2239 (2014) - 2013
- [j7]Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. 17(2): 251-276 (2013) - [j6]Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister:
Time-triggered runtime verification. Formal Methods Syst. Des. 43(1): 29-60 (2013) - [c41]Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358 - [c40]Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister:
GPU-based Runtime Verification. IPDPS 2013: 1025-1036 - [c39]Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. RV 2013: 304-321 - [c38]Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE 2013: 603-606 - [c37]Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil:
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. SRDS 2013: 153-162 - [c36]Narges Fallahi, Borzoo Bonakdarpour:
How Good is Weak-Stabilization? SSS 2013: 148-162 - [c35]Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Addition of Fault-Tolerance under Synchronous Semantics. SSS 2013: 266-280 - [c34]Fathiyeh Faghih, Borzoo Bonakdarpour:
Zone-Based Synthesis of Strict 2-Phase Fault Recovery. SSS 2013: 357-359 - 2012
- [j5]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Comput. 25(1): 83-108 (2012) - [j4]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
A framework for automated distributed implementation of component-based models. Distributed Comput. 25(5): 383-409 (2012) - [j3]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated model repair for distributed programs. SIGACT News 43(2): 85-107 (2012) - [c33]Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification of real-time embedded systems. EMSOFT 2012: 249-250 - [c32]George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros
:
Abstract Model Repair. NASA Formal Methods 2012: 341-355 - [c31]Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister:
Time-Triggered Program Self-Monitoring. RTCSA 2012: 260-269 - [c30]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Path-Aware Time-Triggered Runtime Verification. RV 2012: 199-213 - [c29]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SSS 2012: 314-328 - 2011
- [c28]Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities. EMSOFT 2011: 59-68 - [c27]Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni:
Automated addition of fault recovery to cyber-physical component-based models. EMSOFT 2011: 127-136 - [c26]Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister:
Sampling-Based Runtime Verification. FM 2011: 88-102 - [c25]Borzoo Bonakdarpour, Stéphane Devismes
, Franck Petit
:
Snap-Stabilizing Committee Coordination. IPDPS 2011: 231-242 - [c24]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120 - [c23]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512 - [c22]Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33 - [c21]Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister:
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222 - [c20]Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler:
A Theory of Fault Recovery for Component-Based Models. SRDS 2011: 265-270 - [c19]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Active Stabilization. SSS 2011: 77-91 - 2010
- [c18]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218 - [c17]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117 - [c16]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18
2000 – 2009
- 2009
- [j2]Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni:
Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. 4(1): 5:1-5:28 (2009) - [c15]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38 - [c14]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675 - [c13]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175 - [c12]Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. PDMC 2009: 92-106 - 2008
- [j1]Borzoo Bonakdarpour:
Challenges in transformation of existing real-time embedded systems to cyber-physical systems. SIGBED Rev. 5(1): 11 (2008) - [c11]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171 - [c10]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora:
Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178 - [c9]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389 - [c8]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427 - 2007
- [c7]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3 - [c6]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36 - 2006
- [c5]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276 - [c4]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136 - [c3]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567 - 2005
- [c2]Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour:
Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290 - 2004
- [c1]Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir:
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint