Publications
2026
Tzu-Han Hsu, Milad Rabizadeh, Kenneth Rogale, Fedor Filippov, Marco A. de Oliveira Batista, Borzoo Bonakdarpour,
"HyperQB 2.0: A Bounded Model Checker for Hyperproperties"
International Conference on Computer-Aided Verification,
,
2026.
CAV26.pdf
(896.57 KB)
Morteza Mahmoudi, Amir Ata Saei, Bahareh Ghaffari, Borzoo Bonakdarpour, Liangliang Sun, Ying Ge, David Nisbet, Vahid Serpooshan, Babak Borhan, Catherine Murphy, Frank Caruso, Kostas Kostarelos,
"Leveraging nanoparticle protein corona to advance plasma proteome profiling"
Nature Communications,
,
2026.
NATURECOM26.pdf
(1.58 MB)
Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour,
"Efficient Discovery of Actual Causality in Stochastic Systems"
27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026),
,
2026.
VMCAI26.pdf
(623.17 KB)
Arshia Rafieioskouei, Tzu-Han Hsu, Mathew Lucas, Borzoo Bonakdarpour,
"HYPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation"
International Conference on Machine Learning (ICML),
,
2026.
ICML26.pdf
(15.1 MB)
2025
Avirup Guha, Seyed Amirhossein Sadeghi, Harikrishnan Hyma Kunhiraman, Fei Fang, Qianyi Wang, Arshia Rafieioskouei, Shaun Grumelot, Hassan Gharibi, Amir Ata Saei, Maryam Sayadi, Neal L Weintraub, Sachi Horibata, Phillip Chung-Ming Yang, Borzoo Bonakdarpour, Mohammad Ghassemi, Liangliang Sun, Morteza Mahmoudi,
"AI-driven prediction of cardio-oncology biomarkers through protein corona analysis"
Chemical Engineering Journal,
,
2025.
1-s2.0-S1385894725019552-main.pdf
(5.83 MB)
Arshia Rafieioskouei, Kenneth Rogale, Amir Ata Saei, Morteza Mahmoudi, Borzoo Bonakdarpour,
"Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine"
ACS Journal of Molecular Pharmaceutics,
,
2025.
Mol. Pharmaceutics25.pdf
(1.71 MB)
Lina Gerlach, Tobias Winkler, Erika Abraham, Borzoo Bonakdarpour, Sebastian Junges,
"Efficient Probabilistic Model Checking for Relational Reachability"
International Conference on Computer-Aided Verification (CAV),
,
2025.
CAV-2025.pdf
(967.08 KB)
Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour,
"Gray-box Runtime Enforcement of Hyperproperties"
Acta Informatica,
,
2025.
ACTA25.pdf
(722.9 KB)
Tzu-Han Hsu, Arshia Rafieioskouei, Borzoo Bonakdarpour,
"HypRL: Reinforcement Learning of Control Policies for Hyperproperties"
39th Annual Conference on Neural Information Processing Systems (NeurIPS),
,
2025.
NeurIPS25.pdf
(1.17 MB)
2024
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy,
"Distributed runtime verification of metric temporal properties"
Journal of Parallel and Distributed Computing,
Elsevier,
2024.
JPDC24.pdf
(1.06 MB)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner,
"Syntax-Guided Automated Program Repair for Hyperproperties"
The 36th International Conference on computer-Aided Verification (CAV),
Springer,
2024.
CAV24.pdf
(910.95 KB)
Arshia Rafieioskouei, Borzoo Bonakdarpour,
"Efficient Discovery of Actual Causality using Abstraction-Refinement"
Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
International Conference on Embedded Software,
IEEE,
2024.
EMSOFT24.pdf
(478.43 KB)
Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç,
"Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy"
International Conference on Runtime Verification,
,
2024.
RV24.pdf
(791.94 KB)
Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour,
"Crash-Resilient Decentralized Synchronous Runtime Verification"
Transactions on Dependable and Secure Systems (TDSC),
IEEE,
2024.
tdsc23.pdf
(2.48 MB)
2023
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour,
"Resource Optimization of Stream Processing in Layered Internet of Things"
The 42nd International Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2023.
srds23.pdf
(497.11 KB)
Charles Koll, Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour,
"Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals"
International Conference on Runtime Verification (RV),
Springer,
2023.
rv23.pdf
(406.8 KB)
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour,
"Runtime Verification of Partially-Synchronous Distributed System"
Springer Journal on Formal Methods in System Design (FMSD),
,
2023.
fmsd23.pdf
(694.03 KB)
Borzoo Bonakdarpour, Sarai Sheinvald,
"Finite-Word Hyperlanguages"
Information and Computation,
Elsevier,
2023.
InfComp23-1.pdf
(628.4 KB)
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, Cesar Sanchez,
"Bounded Model Checking for Asynchronous Hyperproperties"
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
,
2023.
tacas23-1.pdf
(684.71 KB)
Tzu-Han Hsu, Cesar Sanchez, Sarai Sheinvald, Borzoo Bonakdarpour,
"Efficient Loop Conditions for Bounded Model Checking Hyperproperties"
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
,
2023.
tacas23-2.pdf
(837.58 KB)
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour,
"Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems"
International Conference on Cyber-physical Systems,
ACM,
2023.
iccps23.pdf
(782.54 KB)
Lina Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour,
"Introducing Asynchronicity to Probabilistic Hyperproperties"
The International Conference on Quantitative Evaluation of SysTems (QEST),
Springer,
2023.
qest23.pdf
(754.13 KB)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour,
"Predicate Monitoring in Distributed Cyber-physical Systems"
Springer Journal on Software Tools for Technology Transfer,
Springer,
2023.
sttt23.pdf
(1.05 MB)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang,
"Lightweight Verification of Hyperproperties"
The 21th International Symposium on Automated Technology for Verification and Analysis (ATVA),
Springer,
2023.
atva23.pdf
(649.98 KB)
2022
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki,
"Synthesizing Optimal Bias in Randomized Self-Stabilization"
Springer Journal on Distributed Computing (DC),
Springer,
2022.
dc22.pdf
(538.27 KB)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers,
"Decentralized Asynchronous Crash-Resilient Runtime Verification"
Journal of the ACM,
,
2022.
jacm22.pdf
(780.65 KB)
[Among 8 selected papers of 2022 by ACM]
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"
International Conference on Distributed Computing Systems,
IEEE,
2022.
main.pdf
(503.17 KB)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers,
"Decentralized Asynchronous Crash-Resilient Runtime Verification"
Journal of the ACM,
,
2022.
journal.pdf
(784.05 KB)
Houssam Abbas, Borzoo Bonakdarpour,
"Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems"
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation,
,
2022.
isola22.pdf
(473.33 KB)
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour,
"Model Checking Hyperproperties for Markov Decision Processes"
Information and Computation,
Elsevier,
2022.
InfComp23.pdf
(659.33 KB)
Oyendrila Dobe, Lukas Wilke, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour,
"Probabilistic Hyperproperties with Rewards"
NASA Formal Methods Symposium,
,
2022.
NFM22.pdf
(544.59 KB)
Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis,
"Mapping Synthesis for Hyperproperties"
The 35th IEEE International Symposium on Computer Security Foundations (CSF),
IEEE,
2022.
main.pdf
(466 KB)
2021
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic,
"Probabilistic Conformance for Cyber-Physical Systems"
In the 12th ACM International Conference on Cyber-physical Systems (ICCPS),
,
2021.
iccps21.pdf
(1.7 MB)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic,
"Statistical Model Checking for Hyperproperties"
The 34th IEEE International Symposium on Computer Security Foundations (CSF),
IEEE,
2021.
csf21_1.pdf
(436.14 KB)
Borzoo Bonakdarpour, Sarai Sheinvald,
"Finite-Word Hyperlanguages"
The 14t International Conference on Language and Automata Theory and Applications (LATA),
Springer,
2021.
lata21.pdf
(418.21 KB)
Anh-Duy Vu, Borzoo Bonakdarpour,
"Optimal Recharging of Teams of Mobile Robots"
The 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
IEEE,
2021.
rtcsa21.pdf
(2.07 MB)
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour,
"Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction"
The 40th International Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2021.
main.pdf
(365.33 KB)
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour,
"HyperProb: A Model Checker for Probabilistic Hyperproperties"
The 24th International Symposium on Formal Methods (FM),
Springer,
2021.
fm21.pdf
(350.22 KB)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour,
"Predicate Monitoring in Distributed Cyber-physical Systems"
The 21st International Conference on Runtime Verification (RV),
Springer,
2021.
rv21.pdf
(573.81 KB)
[Received the Best Paper Award]
Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour,
"Gray-box Monitoring of Hyperproperties with Application in Privacy"
Formal Methods in System Design (FMSD),
Springer,
2021.
fmsd21.pdf
(1002.76 KB)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Cesar Sanchez, Bernd Finkbeiner,
"A Temporal Logic for Asynchronous Hyperproperties"
33rd International Conference on Computer Aided Verification (CAV),
Springer,
2021.
cav21.pdf
(522.49 KB)
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour,
"Bounded Model Checking for Hyperproperties"
The 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Springer,
2021.
tacas21.pdf
(579.32 KB)
2020
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour,
"Monitoring Distributed Systems under Partial Synchrony"
The 25th International Conference on Principles of Distributed Systems (OPODIS),
LIPICS,
2020.
opodis20.pdf
(688.15 KB)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour,
"Parameterized synthesis of self-stabilizing protocols in symmetric networks"
Acta Informatica,
Springer,
2020.
acta20.pdf
(420.62 KB)
Borzoo Bonakdarpour, Bernd Finkbeiner,
"Controller Synthesis for Hyperproperties"
The 33rd IEEE International Symposium on Computer Security Foundations (CSF),
IEEE,
2020.
csf20.pdf
(397.7 KB)
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe,
"Probabilistic Hyperproperties with Nondeterminism"
The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA),
Springer,
2020.
atva20.pdf
(558.93 KB)
Borzoo Bonakdarpour, Pavithra Prabhakar, Cesar Sanchez,
"Model Checking Timed Hyperproperties in Discrete-time Systems"
The 12th NASA Formal Methods Conference (NFM),
Springer,
2020.
nfm20.pdf
(597.86 KB)
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe,
"Parameter Synthesis for Probabilistic Hyperproperties"
The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
,
2020.
lpar20.pdf
(703.87 KB)
2019
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Energy-Efficient Multiple Producer-Consumer"
IEEE Transactions on Parallel and Distributed Systems (TPDS),
IEEE,
2019.
tpds19.pdf
(1007.7 KB)
Borzoo Bonakdarpour, Bernd Finkbeiner,
"Program Repair for Hyperproperties"
The 17th International Symposium on Automated Technology for Verification and Analysis (ATVA),
Springer,
2019.
atva19.pdf
(484.66 KB)
[Best Paper Award Finalist]
Sandro Stucki, Cesar Sanchez, Gerardo Schneider, Borzoo Bonakdarpour,
"Gray-Box Monitoring of Hyperproperties"
The 23rd International Symposium on Formal Methods (FM),
Springer,
2019.
fm19.pdf
(457.86 KB)
Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour,
"Managing the security-energy tradeoff in distributed cyber-physical systems"
The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS),
ACM,
2019.
iccps19.pdf
(2.54 MB)
Ezio Bartocci, Ylies 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"
International Journal on Software Tools for Technology Transfer (STTT),
,
2019.
sttt19.pdf
(1.29 MB)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic,
"Statistical Verification of Hyperproperties for Cyber-Physical Systems"
ACM Transactions on Embedded Computing Systems,
ACM,
2019.
tecs19.pdf
(865.93 KB)
[Best Paper Award Finalist]
2018
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkrani,
"Automated Synthesis of Distributed Self-Stabilizing Protocols"
Logical Methods in Computer Science,
,
2018.
lmcs18.pdf
(369.17 KB)
Fathiyeh Faghih, Borzoo Bonakdarpour,
"Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery"
IEEE Transactions on Dependable and Secure Computing,
IEEE,
2018.
tdsc18.pdf
(968.46 KB)
Borzoo Bonakdarpour, Bernd Finkbeiner,
"The Complexity of Monitoring Hyperproperties"
The 31st IEEE Computer Security Foundations Symposium (CSF),
IEEE,
2018.
csf18.pdf
(497.96 KB)
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider,
"Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification"
The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification (ISoLA),
Springer,
2018.
isola18-1.pdf
(442.06 KB)
Borzoo Bonakdarpour, Jyotirmoy Deshmukh, Miroslav Pajic,
"Opportunities and Challenges in Monitoring Cyber-Physical Systems Security"
The 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (ISoLA),
Springer,
2018.
isola18-2.pdf
(269.89 KB)
Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour,
"Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings"
The 22nd International Conference on Principles of Distributed Systems (OPODIS),
LIPICS,
2018.
opodis18.pdf
(506.39 KB)
Erika Abraham, Borzoo Bonakdarpour,
"HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties"
The 15th International Conference on Quantitative Evaluation of Systems (QEST),
Springer,
2018.
qest18.pdf
(409.6 KB)
Shokufeh Kazemloo, Borzoo Bonakdarpour,
"Crash-Resilient Decentralized Synchronous Runtime Verification"
The 37th IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2018.
srds18.pdf
(371.43 KB)
2017
Noel Brett, Umair Siddique,
"Rewriting-Based Runtime Verification for Alternation-Free HyperLTL"
The 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
Springer,
2017.
tacas17.pdf
(423.52 KB)
Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Managing the Performance/Error Tradeoff of Floating-point Intensive Applications"
ACM Transactions on Embedded Computing Systems, Volume 16,
ACM,
2017.
Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour,
"Distributed Vehicle Routing Approximation"
The 31st IEEE International Parallel and Distributed Processing Symposium (IPDPS),
IEEE,
2017.
ipdps17.pdf
(418.54 KB)
Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann,
"Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms"
The 36th IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2017.
srds17.pdf
(364.86 KB)
[Received the Best Paper Award]
Fathiyeh Faghih, Borzoo Bonakdarpour,
"ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms"
The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2017.
sss17.pdf
(414.41 KB)
2016
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David Rsenblueth, Corentin Travers,
"Decentralized Asynchronous Crash-Resilient Runtime Verification"
International Conference on Concurrency Theory (CONCUR),
LIPICS,
2016.
concur16.pdf
(926.11 KB)
Shreya Agrawal, Borzoo Bonakdarpour,
"Runtime Verification of k-Safety Hyperproperties in HyperLTL"
IEEE Computer Security Foundations Symposium (CSF),
,
2016.
csf16.pdf
(517.94 KB)
Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkrani, Sébastien Tixeuil,
"Specification-based Synthesis of Distributed Self-stabilizing Protocols"
International Conference on Formal Techniques on Distributed Objects, Components and Systems (FORTE),
Springer,
2016.
forte16.pdf
(332.39 KB)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi,
"Accelerated Runtime Verification of LTL Specifications with Counting Semantics"
International Conference on Runtime Verification (RV),
Springer,
2016.
rv16.pdf
(731.69 KB)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers,
"Challenges in Fault-tolerant Distributed Runtime Verification"
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA),
Springer,
2016.
isola16.pdf
(205.01 KB)
Borzoo Bonakdarpour, Stephane Devismes, Franck Petit,
" Snap-stabilizing Committee Coordinat"
Journal of Parallel and Distributed Computing (JPDC),
Elsevier,
2016.
jpdc16.pdf
(528.71 KB)
2015
Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour,
"Synthesizing Self-stabilizing Protocols under Average Recovery Time Constraints"
IEEE International Conference on Distributed Computing Systems (ICDCS),
IEEE,
2015.
icdcs15.pdf
(420.56 KB)
Menna Mostafa, Borzoo Bonakdarpour,
"Decentralized Runtime Verification of LTL Specifications in Distributed Systems"
IEEE International Parallel & Distributed Processing Symposium (IPDPS),
IEEE,
2015.
ipdps15.pdf
(430.23 KB)
Fathiyeh Faghih,
"SMT-Based Synthesis of Distributed Self-Stabilizing Systems"
ACM Transactions on Autonomous and Adaptive Systems (TAAS),
ACM,
2015.
Ramy Medhat, Ramesh S., Borzoo Bonakdarpour, Sebastian Fischmeister,
"A Framework for Mining Hybrid Automata from Input/Output Traces"
International Conference on Embedded Software (EMSOFT),
ACM,
2015.
emsoft15.pdf
(1.77 MB)
Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep Kulkrani,
"The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States"
Journal of Distributed Computing (DC),
Springer,
2015.
dc15.pdf
(439.71 KB)
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil,
"Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols."
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2015.
sss15.pdf
(441.12 KB)
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott Smolka,
"Abstract Model Repair"
Logical Methods in Computer Science (LMCS),
,
2015.
lmcs15.pdf
(544.04 KB)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Time-triggered Runtime Verification of Component-Based Multi-core Systems"
International Conference on Runtime Verification (RV),
Springer,
2015.
rv15.pdf
(981.8 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Synthesizing Bounded-time 2-phase Recovery"
Journal of Formal Aspects of Computing (FAOC),
Springer,
2015.
faoc15.pdf
(554.12 KB)
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem,
"Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models"
NASA Formal Methods Symposium (NFM),
Springer,
2015.
nfm15.pdf
(298.97 KB)
Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister,
"Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints"
ACM Transactions on Embedded Computing Systems (TECS),
ACM,
2015.
tecs15.pdf
(1.26 MB)
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Runtime Verification with Minimal Intrusion through Parallelism"
Journal of Formal Methods in System Design (FMSD),
Springer,
2015.
2014
Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems"
In ACM International Conference on Cyber-physical Systems (ICCPS),
,
2014.
iccps14.pdf
(2.44 MB)
Borzoo Bonakdarpour, Reza Hajisheikhi, Sandeep Kulkrani,
"Knowledge-based Automated Repair of Authentication Protocols"
International Conference on Formal Methods (FM),
Springer,
2014.
fm14.pdf
(353.25 KB)
Fathiyeh Faghih, Borzoo Bonakdarpour,
"SMT-based Synthesis of Distributed Self-stabilizing Systems"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2014.
sss14.pdf
(361.32 KB)
[Received the best student paper award]
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Power-efficient Multiple Producer-Consumer"
IEEE International Parallel & Distributed Processing Symposium (IPDPS),
IEEE,
2014.
ipdps14.pdf
(796.27 KB)
2013
Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister,
"Time-triggered Runtime Verification"
Journal of Formal Methods in System Design (FMSD),
Springer,
2013.
FMSD13.pdf
(2.85 MB)
Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron Peled, Jean Quilbeuf,
"Performance Evaluation of Process Partitioning using Probabilistic Model Checking"
Haifa Verification Conference (HVC),
Springer,
2013.
hvc13.pdf
(308.53 KB)
Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil,
"Rigorous Performance Evaluation of Self-stabilization Using Probabilistic Model Checking"
IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2013.
SRDS13.pdf
(474.84 KB)
Narges Fallahi, Borzoo Bonakdarpour,
"How Good is Weak Stabilization?"
In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2013.
sss13-1.pdf
(329.72 KB)
Yiyan Lin, Borzoo Bonakdarpour, Sandeep Kulkrani,
"Automated Addition of Fault-tolerance under Synchronous Semantics "
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2013.
Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques"
International Conference on Runtime Verification (RV),
Springer,
2013.
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"
ACM Symposium on the Foundations of Software Engineering (FSE),
ACM,
2013.
FSE13.pdf
(1.45 MB)
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister,
"GPU-based Runtime Verification"
IEEE International Parallel & Distributed Processing Symposium (IPDPS),
IEEE,
2013.
IPDPS13.pdf
(388.63 KB)
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeauf,
"Model-based Implementation of Distributed Systems with Priorities"
Journal of Design Automation for Embedded System,
Springer,
2013.
DAEM12.pdf
(357.91 KB)
2012
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeauf, Joseph Sifakis,
"A Framework for Automated Distributed Implementation of Component-based Models"
Journal of distributed Computing,
Springer,
2012.
DC12-1.pdf
(497.13 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Automated Program Repair for Distributed Systems"
ACM SIGACT News Distributed Computing Column,
ACM,
2012.
sigact.pdf
(378.4 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani, Fuad Abujarad,
"Symbolic Synthesis of Masking Fault-tolerant Distributed Programs"
Journal of Distributed Computing (DC),
Springer,
2012.
DC12-2.pdf
(414.7 KB)
Borzoo Bonakdarpour, Johnson Thomas, Sebastian Fischmeister,
"Time-triggered Self-monitoring Programs"
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
IEEE,
2012.
RTCSA12.pdf
(375.38 KB)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Path-aware Time-triggered Runtime Verification"
International Conference on Runtime Verification ,
Springer,
2012.
rv12.pdf
(509.83 KB)
Borzoo Bonakdarpour, Marius Bozga, Gregor Goessler,
"A Theory of Fault Recovery for Component-Based Models"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2012.
SSS12.pdf
(367.96 KB)
George Chatzieleftheriou, Borzoo Bonakdarpour, Scott Smolka, Panagiotis Katsaros,
"Abstract Model Repair"
NASA Formal Methods Symposium (NFM),
,
2012.
NFM12.pdf
(746.44 KB)
2011
Borzoo Bonakdarpour, Yiyan Lin, Sandeep Kulkrani,
"Automated Addition of Fault Recovery to Cyber-physical Component-based Models"
ACM International Conference on Embedded Software (EMSOFT),
ACM,
2011.
EMSOFT111.pdf
(216.96 KB)
Borzoo Bonakdarpour, Sebastian Fischmeister,
"Tutorial: Runtime Monitoring of Time-sensitive Systems"
International Conference on Runtime Verification (RV),
Springer,
2011.
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister,
" Optimal Instrumentation of Data-flow in Concurrent Data Structures"
International Conference on Principles Of Distributed Systems (OPODIS),
Springer,
2011.
OPODIS11.pdf
(378.36 KB)
Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Efficient Techniques for Near-optimal Instrumentation in Sampling-based Runtime Verification"
International Conference on Runtime Verification (RV),
Springer,
2011.
RV111.pdf
(394.52 KB)
Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister,
"Sampling-based Runtime Verification"
International Symposium on Formal Methods (FM),
Springer,
2011.
FM11.pdf
(1.09 MB)
Borzoo Bonakdarpour, Stephane Devismes, Franck Petit,
"Snap-stabilizing Committee Coordination"
IEEE International Parallel and Distributed Processing Symposium (IPDPS),
IEEE,
2011.
IPDPS11.pdf
(228.58 KB)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister,
"Software Debugging and Testing using the Abstract Diagnosis Theory"
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES),
ACM,
2011.
LCTES11.pdf
(186.14 KB)
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeauf,
"Automated Distributed Implementation of Component-based Models with Priorities"
ACM International Conference on Embedded Software (EMSOFT),
ACM,
2011.
EMSOFT112.pdf
(239.85 KB)
[Best paper award finalist]
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Active Stabilization"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2011.
SSS11.pdf
(169.75 KB)
Borzoo Bonakdarpour, Marius Bozga, Gregor Goessler,
"A Theory of Fault Recovery for Component-Based Models"
IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2011.
SRDS11.pdf
(127.77 KB)
2010
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis,
"Automated Conflict-free Distributed Implementation of Component-based Models"
IEEE International Symposium on Industrial Embedded Systems (SIES),
IEEE,
2010.
SIES10.pdf
(188.03 KB)
[Received the best paper award]
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeauf, Joseph Sifakis,
"From High-Level Component-Based Models to Distributed Implementations"
ACM/IEEE International Conference on Embedded Software (EMSOFT),
ACM,
2010.
EMSOFT10.pdf
(284.63 KB)
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis,
"Systematic Correct Construction of Self-stabilizing Systems: A Case Study"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2010.
SSS10.pdf
(465.35 KB)
2009
Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep Kulkrani,
"Complexity Results in Revising UNITY Programs"
ACM Transactions on Autonomous and Adaptive Systems (TAAS),
ACM,
2009.
taas09.pdf
(382.15 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery"
International Symposium on Formal Methods (FM),
Springer,
2009.
FM09.pdf
(319.24 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Compositional Verification of Fault-Tolerant Real-Time Programs"
ACM/IEEE International Conference on Embedded Software (EMSOFT),
,
2009.
EMSOFT09.pdf
(233.95 KB)
[Best paper award finalist]
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep Kulkrani,
"Multi-core Synthesis of Fault-Tolerant Distributed Programs"
International Workshop on Parallel and Distributed Methods in verifiCation (PDMC),
EPTCS,
2009.
PDMC09.pdf
(456.26 KB)
2008
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Masking Faults While Providing Bounded-Time Phased Recovery"
International Symposium on Formal Methods (FM),
,
2008.
FM08.pdf
(267.17 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Revising Distributed UNITY Programs is NP-Complete"
International Conference on Principles of Distributed Systems (OPODIS),
Springer,
2008.
opodis08.pdf
(418.66 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Disassembling Real-Time Fault-Tolerant Programs"
ACM/IEEE International Conference on Embedded Software (EMSOFT),
ACM,
2008.
EMSOFT08.pdf
(227.08 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"SYCRAFT: A Tool for Automated Synthesis of Fault-Tolerant Distributed Programs"
International Conference on Concurrency Theory (CONCUR),
ACM,
2008.
concur08.pdf
(107.55 KB)
2007
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs"
IEEE International Conference on Distributed Computing Systems (ICDCS),
IEEE,
2007.
icdcs07.pdf
(368.6 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2007.
2006
Borzoo Bonakdarpour, Sandeep Kulkrani,
"ncremental Synthesis of Fault-Tolerant Real-Time Programs"
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer,
2006.
sss06.pdf
(244.21 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Automated Incremental Synthesis of Timed Automata"
Formal Methods in Industrial Critical Systems (FMICS),
Springer,
2006.
fmics06.pdf
(464.63 KB)
Borzoo Bonakdarpour, Sandeep Kulkrani,
"Towards Reusing Formal Proofs in Verification of Fault-Tolerance"
Automated Formal Methods (AFM),
,
2006.
afm06.pdf
(152.15 KB)
2005
Ali Ebnenasir, Sandeep Kulkrani, Borzoo Bonakdarpour,
"Revising UNITY Programs: Possibilities and Limitations"
International Conference on Principles of Distributed Systems (OPODIS),
Springer,
2005.
opodis05.pdf
(174.69 KB)
2004
Sandeep Kulkrani, Borzoo Bonakdarpour, Ali Ebnenasir,
"Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs"
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR),
Springer,
2004.
lopstr04.pdf
(348.46 KB)
