Borzoo Bonakdarpour

165 papers A 14B 40C 16Misc 7Journal 62Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Efficient Discovery of Actual Causality in Stochastic Systems. VMCAI Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour
2025	J	`jnl`	Efficient Discovery of Actual Causality with Uncertainty. CoRR Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour
2025	J	`jnl`	Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). CoRR Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025	—	`conf`	Efficient Probabilistic Model Checking for Relational Reachability. CAV (1) Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025	J	`jnl`	Gray-box runtime enforcement of hyperproperties. Acta Informatica Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour
2025	J	`jnl`	HypRL: Reinforcement Learning of Control Policies for Hyperproperties. CoRR Tzu-Han Hsu, Arshia Rafieioskouei, Borzoo Bonakdarpour
2024	B	`conf`	Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. RV Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024	J	`jnl`	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. CoRR Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024	J	`jnl`	Crash-Resilient Decentralized Synchronous Runtime Verification. IEEE Trans. Dependable Secur. Comput. Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour
2024	J	`jnl`	Distributed runtime verification of metric temporal properties. J. Parallel Distributed Comput. Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2024	J	`jnl`	Efficient Discovery of Actual Causality Using Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Arshia Rafieioskouei, Borzoo Bonakdarpour
2024	J	`jnl`	Efficient Discovery of Actual Causality using Abstraction-Refinement. CoRR Arshia Rafieioskouei, Borzoo Bonakdarpour
2024	J	`jnl`	Runtime verification of partially-synchronous distributed system. Formal Methods Syst. Des. Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
2024	—	`conf`	Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024	J	`jnl`	Syntax-Guided Automated Program Repair for Hyperproperties. CoRR Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2023	—	`conf`	Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023	J	`jnl`	Bounded Model Checking for Asynchronous Hyperproperties. CoRR Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2023	B	`conf`	Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023	J	`jnl`	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals. CoRR Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023	—	`conf`	Efficient Loop Conditions for Bounded Model Checking Hyperproperties. TACAS (1) Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023	J	`jnl`	Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour
2023	J	`jnl`	Finite-word hyperlanguages. Inf. Comput. Borzoo Bonakdarpour, Sarai Sheinvald
2023	—	`conf`	Introducing Asynchronicity to Probabilistic Hyperproperties. QEST Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	J	`jnl`	Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2023	B	`conf`	Lightweight Verification of Hyperproperties. ATVA Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2023	—	`conf`	Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
2023	J	`jnl`	Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2023	B	`conf`	Resource Optimization of Stream Processing in Layered Internet of Things. SRDS Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour
2023	J	`jnl`	Stream-based Decentralized Runtime Verification. CoRR Ritam Ganguly, Borzoo Bonakdarpour
2022	J	`jnl`	Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
2022	A	`conf`	Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. ICDCS Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2022	J	`jnl`	Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. CoRR Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2022	J	`jnl`	Finite-Word Hyperlanguages. CoRR Borzoo Bonakdarpour, Sarai Sheinvald
2022	B	`conf`	HyperPCTL Model Checking by Probabilistic Decomposition. IFM Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour
2022	—	`conf`	Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. ISoLA (1) Houssam Abbas, Borzoo Bonakdarpour
2022	A	`conf`	Mapping Synthesis for Hyperproperties. CSF Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis
2022	J	`jnl`	Model checking hyperproperties for Markov decision processes. Inf. Comput. Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	—	`conf`	Probabilistic Hyperproperties with Rewards. NFM Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2022	J	`jnl`	Synthesizing optimal bias in randomized self-stabilization. Distributed Comput. Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
2021	—	`conf`	A Temporal Logic for Asynchronous Hyperproperties. CAV (1) Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021	J	`jnl`	A Temporal Logic for Asynchronous Hyperproperties. CoRR Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021	—	`conf`	Bounded Model Checking for Hyperproperties. TACAS (1) Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2021	J	`jnl`	Controller Synthesis for Hyperproperties. CoRR Borzoo Bonakdarpour, Bernd Finkbeiner
2021	C	`conf`	Finite-Word Hyperlanguages. LATA Borzoo Bonakdarpour, Sarai Sheinvald
2021	J	`jnl`	Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2021	B	`conf`	HyperProb: A Model Checker for Probabilistic Hyperproperties. FM Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
2021	J	`jnl`	HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez
2021	B	`conf`	Optimal Recharging of Teams of Mobile Robots. RTCSA Anh-Duy Vu, Borzoo Bonakdarpour
2021	B	`conf`	Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. SRDS Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
2021	B	`conf`	Predicate Monitoring in Distributed Cyber-Physical Systems. RV Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2021	—	`conf`	Probabilistic conformance for cyber-physical systems. ICCPS Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2021	J	`jnl`	Program Repair for Hyperproperties. CoRR Borzoo Bonakdarpour, Bernd Finkbeiner
2021	A	`conf`	Statistical Model Checking for Hyperproperties. CSF Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
2021	J	`jnl`	The Complexity of Monitoring Hyperproperties. CoRR Borzoo Bonakdarpour, Bernd Finkbeiner
2020	J	`jnl`	Automata for Hyperlanguages. CoRR Borzoo Bonakdarpour, Sarai Sheinvald
2020	J	`jnl`	Bounded Model Checking for Hyperproperties. CoRR Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour
2020	A	`conf`	Controller Synthesis for Hyperproperties. CSF Borzoo Bonakdarpour, Bernd Finkbeiner
2020	B	`conf`	Distributed Runtime Verification Under Partial Synchrony. OPODIS Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
2020	—	`conf`	Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez
2020	B	`conf`	Parameter Synthesis for Probabilistic Hyperproperties. LPAR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	J	`jnl`	Parameterized synthesis of self-stabilizing protocols in symmetric networks. Acta Informatica Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
2020	J	`jnl`	Probabilistic Conformance for Cyber-Physical Systems. CoRR Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2020	B	`conf`	Probabilistic Hyperproperties with Nondeterminism. ATVA Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2020	J	`jnl`	Probabilistic Hyperproperties with Nondeterminism. CoRR Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
2019	J	`jnl`	Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2019	J	`jnl`	First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 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
2019	B	`conf`	Gray-Box Monitoring of Hyperproperties. FM Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019	J	`jnl`	Gray-box Monitoring of Hyperproperties (Extended Version). CoRR Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019	—	`conf`	Managing the security-energy tradeoff in distributed cyber-physical systems. ICCPS Anh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour
2019	B	`conf`	Program Repair for Hyperproperties. ATVA Borzoo Bonakdarpour, Bernd Finkbeiner
2019	J	`jnl`	Statistical Model Checking for Probabilistic Hyperproperties. CoRR Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
2019	J	`jnl`	Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2019	J	`jnl`	Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2018	J	`jnl`	Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2018	B	`conf`	Crash-Resilient Decentralized Synchronous Runtime Verification. SRDS Shokoufeh Kazemlou, Borzoo Bonakdarpour
2018	J	`jnl`	Decentralized Multi-UAV Routing in the Presence of Disturbances. CoRR Wei Zhao, Borzoo Bonakdarpour
2018	—	`conf`	HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. QEST Erika Ábrahám, Borzoo Bonakdarpour
2018	J	`jnl`	HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. CoRR Erika Ábrahám, Borzoo Bonakdarpour
2018	—	`conf`	Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
2018	—	`conf`	Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic
2018	B	`conf`	Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. OPODIS Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour
2018	J	`jnl`	Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery. IEEE Trans. Dependable Secur. Comput. Fathiyeh Faghih, Borzoo Bonakdarpour
2018	A	`conf`	The Complexity of Monitoring Hyperproperties. CSF Borzoo Bonakdarpour, Bernd Finkbeiner
2017	C	`conf`	ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. SSS Fathiyeh Faghih, Borzoo Bonakdarpour
2017	B	`conf`	Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. SRDS Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann
2017	A	`conf`	Distributed Vehicle Routing Approximation. IPDPS Akhil Krishnan, Mikhail Markov, Borzoo Bonakdarpour
2017	J	`jnl`	Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister
2017	—	`conf`	Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. TACAS (2) Noel Brett, Umair Siddique, Borzoo Bonakdarpour
2016	B	`conf`	Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
2016	—	`conf`	Challenges in Fault-Tolerant Distributed Runtime Verification. ISoLA (2) Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
2016	B	`conf`	Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
2016	B	`conf`	Runtime Verification for HyperLTL. RV Borzoo Bonakdarpour, Bernd Finkbeiner
2016	A	`conf`	Runtime Verification of k-Safety Hyperproperties in HyperLTL. CSF Shreya Agrawal, Borzoo Bonakdarpour
2016	J	`jnl`	Snap-stabilizing committee coordination. J. Parallel Distributed Comput. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
2016	C	`conf`	Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2016	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings SSS Borzoo Bonakdarpour, Franck Petit
2015	Misc	`conf`	A framework for mining hybrid automata from input/output traces. EMSOFT Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
2015	J	`jnl`	Abstract Model Repair. Log. Methods Comput. Sci. George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
2015	C	`conf`	Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. SSS Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
2015	—	`conf`	Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
2015	A	`conf`	Decentralized Runtime Verification of LTL Specifications in Distributed Systems. IPDPS Menna Mostafa, Borzoo Bonakdarpour
2015	J	`jnl`	Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister
2015	J	`jnl`	Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
2015	J	`jnl`	SMT-Based Synthesis of Distributed Self-Stabilizing Systems. ACM Trans. Auton. Adapt. Syst. Fathiyeh Faghih, Borzoo Bonakdarpour
2015	J	`jnl`	Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2015	A	`conf`	Synthesizing Self-Stabilizing Protocols under Average Recovery Time Constraints. ICDCS Saba Aflaki, Fathiyeh Faghih, Borzoo Bonakdarpour
2015	J	`jnl`	Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. Borzoo Bonakdarpour, Sandeep S. Kulkarni
2015	J	`jnl`	The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2015	B	`conf`	Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	J	`jnl`	Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	B	`conf`	First International Competition on Software for Runtime Verification. RV Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
2014	B	`conf`	Knowledge-Based Automated Repair of Authentication Protocols. FM Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni
2014	J	`jnl`	Power Redistribution for Optimizing Performance in MPI Clusters. CoRR Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	A	`conf`	Power-Efficient Multiple Producer-Consumer. IPDPS Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	B	`ed.`	Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings RV Borzoo Bonakdarpour, Scott A. Smolka
2014	C	`conf`	SMT-Based Synthesis of Distributed Self-stabilizing Systems. SSS Fathiyeh Faghih, Borzoo Bonakdarpour
2014	—	`conf`	Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	C	`conf`	Automated Addition of Fault-Tolerance under Synchronous Semantics. SSS Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2013	A	`conf`	GPU-based Runtime Verification. IPDPS Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	C	`conf`	How Good is Weak-Stabilization? SSS Narges Fallahi, Borzoo Bonakdarpour
2013	J	`jnl`	Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
2013	—	`conf`	Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2013	B	`conf`	Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. RV Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	—	`conf`	RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	B	`conf`	Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. SRDS Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil
2013	J	`jnl`	Time-triggered runtime verification. Formal Methods Syst. Des. Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
2013	C	`conf`	Zone-Based Synthesis of Strict 2-Phase Fault Recovery. SSS Fathiyeh Faghih, Borzoo Bonakdarpour
2012	C	`conf`	A Theory of Fault Recovery for Component-Based Models. SSS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2012	J	`jnl`	A framework for automated distributed implementation of component-based models. Distributed Comput. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2012	—	`conf`	Abstract Model Repair. NASA Formal Methods George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros
2012	J	`jnl`	Automated model repair for distributed programs. SIGACT News Borzoo Bonakdarpour, Sandeep S. Kulkarni
2012	B	`conf`	Path-Aware Time-Triggered Runtime Verification. RV Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2012	Misc	`conf`	Runtime verification of real-time embedded systems. EMSOFT Borzoo Bonakdarpour, Sebastian Fischmeister
2012	J	`jnl`	Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Comput. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2012	B	`conf`	Time-Triggered Program Self-Monitoring. RTCSA Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister
2011	B	`conf`	A Theory of Fault Recovery for Component-Based Models. SRDS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2011	C	`conf`	Active Stabilization. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2011	Misc	`conf`	Automated addition of fault recovery to cyber-physical component-based models. EMSOFT Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni
2011	Misc	`conf`	Automated distributed implementation of component-based models with priorities. EMSOFT Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
2011	B	`conf`	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister
2011	B	`conf`	Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2011	B	`conf`	Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV Borzoo Bonakdarpour, Sebastian Fischmeister
2011	B	`conf`	Sampling-Based Runtime Verification. FM Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
2011	A	`conf`	Snap-Stabilizing Committee Coordination. IPDPS Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
2011	B	`conf`	Software debugging and testing using the abstract diagnosis theory. LCTES Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2010	—	`conf`	Automated Conflict-free distributed implementation of component-based models. SIES Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010	Misc	`conf`	From high-level component-based models to distributed implementations. EMSOFT Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010	C	`conf`	Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009	A	`conf`	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009	J	`jnl`	Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni
2009	Misc	`conf`	Compositional verification of fault-tolerant real-time programs. EMSOFT Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009	B	`conf`	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM Borzoo Bonakdarpour, Sandeep S. Kulkarni
2009	—	`conf`	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs PDMC Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	J	`jnl`	Challenges in transformation of existing real-time embedded systems to cyber-physical systems. SIGBED Rev. Borzoo Bonakdarpour
2008	Misc	`conf`	Disassembling real-time fault-tolerant programs. EMSOFT Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora
2008	B	`conf`	Masking Faults While Providing Bounded-Time Phased Recovery. FM Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	B	`conf`	Revising Distributed UNITY Programs Is NP-Complete. OPODIS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2008	B	`conf`	SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR Borzoo Bonakdarpour, Sandeep S. Kulkarni
2007	C	`conf`	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2007	A	`conf`	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2006	—	`conf`	Automated Incremental Synthesis of Timed Automata. FMICS/PDMC Borzoo Bonakdarpour, Sandeep S. Kulkarni
2006	C	`conf`	Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
2006	C	`conf`	Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS Borzoo Bonakdarpour, Sandeep S. Kulkarni
2005	B	`conf`	Revising UNITY Programs: Possibilities and Limitations. OPODIS Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
2004	C	`conf`	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir