Suivre
Borzoo Bonakdarpour
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Adresse e-mail validée de msu.edu
Titre
Citée par
Citée par
Année
A framework for automated distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Distributed Computing 25, 383-409, 2012
134*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
119*2019
Decentralized runtime verification of LTL specifications in distributed systems
M Mostafa, B Bonakdarpour
2015 IEEE International Parallel and Distributed Processing Symposium, 494-503, 2015
972015
Time-triggered runtime verification
B Bonakdarpour, S Navabpour, S Fischmeister
Formal Methods in System Design 43 (1), 29-60, 2013
91*2013
Runtime verification of k-safety hyperproperties in HyperLTL
S Agrawal, B Bonakdarpour
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 239-252, 2016
882016
Symbolic synthesis of masking fault-tolerant distributed programs
B Bonakdarpour, SS Kulkarni, F Abujarad
Distributed Computing 25 (1), 83-108, 2012
88*2012
Runtime verification with minimal intrusion through parallelism
S Berkovich, B Bonakdarpour, S Fischmeister
Formal Methods in System Design 46, 317-348, 2015
61*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
592013
The complexity of monitoring hyperproperties
B Bonakdarpour, B Finkbeiner
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 162-174, 2018
572018
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
54*2022
Monitoring hyperproperties by combining static analysis and runtime verification
B Bonakdarpour, C Sánchez, G Schneider
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
542018
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
532017
HyperPCTL: A temporal logic for probabilistic hyperproperties
E Ábrahám, B Bonakdarpour
International Conference on Quantitative Evaluation of Systems, 20-35, 2018
522018
Complexity results in revising UNITY programs
B Bonakdarpour, A Ebnenasir, SS Kulkarni
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 5, 2009
52*2009
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
50*2015
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11, 2015
502015
Gray-box monitoring of hyperproperties with an application to privacy
S Stucki, C Sánchez, G Schneider, B Bonakdarpour
Formal Methods in System Design 58 (1), 126-159, 2021
49*2021
Statistical verification of hyperproperties for cyber-physical systems
Y Wang, M Zarei, B Bonakdarpour, M Pajic
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019
492019
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
492015
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2021
462021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20