| A framework for automated distributed implementation of component-based models B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis Distributed Computing 25 (5), 383, 2012 | 135* | 2012 |
| First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21, 31-70, 2019 | 109* | 2019 |
| Symbolic synthesis of masking fault-tolerant distributed programs B Bonakdarpour, SS Kulkarni, F Abujarad Distributed Computing 25 (1), 83-108, 2012 | 89* | 2012 |
| Decentralized runtime verification of LTL specifications in distributed systems M Mostafa, B Bonakdarpour 2015 IEEE International Parallel and Distributed Processing Symposium, 494-503, 2015 | 86 | 2015 |
| Time-triggered runtime verification B Bonakdarpour, S Navabpour, S Fischmeister Formal Methods in System Design 43 (1), 29-60, 2013 | 84* | 2013 |
| Runtime verification of k-safety hyperproperties in HyperLTL S Agrawal, B Bonakdarpour 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 239-252, 2016 | 75 | 2016 |
| Runtime verification with minimal intrusion through parallelism S Berkovich, B Bonakdarpour, S Fischmeister Formal Methods in System Design 46, 317-348, 2015 | 57* | 2015 |
| RiTHM: a tool for enabling time-triggered runtime verification for C programs S Navabpour, Y Joshi, W Wu, S Berkovich, R Medhat, B Bonakdarpour, ... Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 56 | 2013 |
| Complexity results in revising UNITY programs B Bonakdarpour, A Ebnenasir, SS Kulkarni ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 1-28, 2009 | 52* | 2009 |
| Abstract model repair G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka arXiv preprint arXiv:1506.06165, 2015 | 49 | 2015 |
| Rewriting-based runtime verification for alternation-free HyperLTL N Brett, U Siddique, B Bonakdarpour Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 45 | 2017 |
| Runtime monitoring of cyber-physical systems under timing and memory constraints R Medhat, B Bonakdarpour, D Kumar, S Fischmeister ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-29, 2015 | 44* | 2015 |
| The complexity of monitoring hyperproperties B Bonakdarpour, B Finkbeiner 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 162-174, 2018 | 42 | 2018 |
| Monitoring hyperproperties by combining static analysis and runtime verification B Bonakdarpour, C Sanchez, G Schneider Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 41 | 2018 |
| A framework for mining hybrid automata from input/output traces R Medhat, S Ramesh, B Bonakdarpour, S Fischmeister 2015 International Conference on Embedded Software (EMSOFT), 177-186, 2015 | 41 | 2015 |
| Model-based implementation of distributed systems with priorities B Bonakdarpour, M Bozga, J Quilbeuf Design Automation for Embedded Systems 17 (2), 251-276, 2013 | 41* | 2013 |
| Automated conflict-free distributed implementation of component-based models B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis International Symposium on Industrial Embedded System (SIES), 108-117, 2010 | 40 | 2010 |
| HyperPCTL: A temporal logic for probabilistic hyperproperties E Ábrahám, B Bonakdarpour Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 39 | 2018 |
| Symbolic synthesis of masking fault-tolerant distributed programs B Bonakdarpour, SS Kulkarni, F Abujarad Distributed Computing 25, 83-108, 2012 | 39 | 2012 |
| Decentralized Asynchronous Crash-resilient Runtime Verification B Bonakdarpour, P Fraigniaud, S Rajsbaum, D Rosenblueth, C Travers Journal of the ACM 69 (5), 1-31, 2022 | 38* | 2022 |
