Borzoo Bonakdarpour
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Verified email at msu.edu
Title
Cited by
Cited by
Year
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-409, 2012
124*2012
Symbolic synthesis of masking fault-tolerant distributed programs
B Bonakdarpour, SS Kulkarni, F Abujarad
Distributed Computing 25 (1), 83-108, 2012
81*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 (1), 31-70, 2019
78*2019
Time-triggered runtime verification
B Bonakdarpour, S Navabpour, S Fischmeister
Formal Methods in System Design 43 (1), 29-60, 2013
77*2013
Decentralized runtime verification of LTL specifications in distributed systems
M Mostafa, B Bonakdarpour
2015 IEEE International Parallel and Distributed Processing Symposium, 494-503, 2015
512015
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
49*2009
Runtime verification of k-safety hyperproperties in HyperLTL
S Agrawal, B Bonakdarpour
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 239-252, 2016
462016
Teaching runtime verification
M Leucker
International Conference on Runtime Verification, 34-48, 2011
462011
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
452013
Runtime verification with minimal intrusion through parallelism
S Berkovich, B Bonakdarpour, S Fischmeister
Formal Methods in System Design 46 (3), 317-348, 2015
42*2015
Abstract Model Repair
SA Smolka, P Katsaros, B Bonakdarpour, G Chatzieleftheriou
Logical Methods in Computer Science 11, 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
38*2013
Symbolic synthesis of masking fault-tolerant distributed programs
B Bonakdarpour, SS Kulkarni, F Abujarad
Distributed Computing 25 (1), 83-108, 2012
352012
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
352010
Time-triggered runtime verification
B Bonakdarpour, S Navabpour, S Fischmeister
Formal Methods in System Design 43 (1), 29-60, 2013
312013
Time-triggered runtime verification
B Bonakdarpour, S Navabpour, S Fischmeister
Formal Methods in System Design 43 (1), 29-60, 2013
312013
Complexity results in revising UNITY programs
B Bonakdarpour, A Ebnenasir, SS Kulkarni
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 5, 2009
302009
Revising distributed UNITY programs is NP-complete
B Bonakdarpour, SS Kulkarni
International Conference on Principles of Distributed Systems, 408-427, 2008
302008
Rewriting-based runtime verification for alternation-free HyperLTL
N Brett, U Siddique, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2017
292017
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
29*2015
The system can't perform the operation now. Try again later.
Articles 1–20