Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBorzoo Bonakdarpour
Person information
- affiliation: Michigan State University, MI, USA
- affiliation (former): McMaster University, Hamilton, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c93]Anik Momtaz
, Houssam Abbas, Borzoo Bonakdarpour:
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS 2023: 154-165- [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 - [i22]Tzu-Han Hsu, César Sánchez, Sarai Sheinvald, Borzoo Bonakdarpour:
Efficient Loop Conditions for Bounded Model Checking Hyperproperties. CoRR abs/2301.06209 (2023) - [i21]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i20]Ritam Ganguly, Borzoo Bonakdarpour:
Stream-based Decentralized Runtime Verification. CoRR abs/2301.13266 (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,