Articles with public access mandates - Borzoo BonakdarpourLearn more
Not available anywhere: 1
Runtime verification for HyperLTL
B Bonakdarpour, B Finkbeiner
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada, German Research …
Available somewhere: 50
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
Mandates: US National Aeronautics and Space Administration, Austrian Science Fund …
Decentralized runtime verification of LTL specifications in distributed systems
M Mostafa, B Bonakdarpour
2015 IEEE International Parallel and Distributed Processing Symposium, 494-503, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Runtime verification of k-safety hyperproperties in HyperLTL
S Agrawal, B Bonakdarpour
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 239-252, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Runtime verification with minimal intrusion through parallelism
S Berkovich, B Bonakdarpour, S Fischmeister
Formal Methods in System Design 46, 317-348, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
The complexity of monitoring hyperproperties
B Bonakdarpour, B Finkbeiner
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 162-174, 2018
Mandates: Natural Sciences and Engineering Research Council of Canada, German Research …
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
Mandates: US National Science Foundation, Natural Sciences and Engineering Research …
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
Mandates: US National Science Foundation, Swedish Research Council, European …
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
Mandates: Natural Sciences and Engineering Research Council of Canada
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
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
Mandates: US National Science Foundation, US Department of Defense
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
Mandates: Natural Sciences and Engineering Research Council of Canada
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
Mandates: US National Science Foundation, Swedish Research Council, European …
Bounded model checking for hyperproperties
TH Hsu, C Sánchez, B Bonakdarpour
International Conference on Tools and Algorithms for the Construction and …, 2021
Mandates: US National Science Foundation, Government of Spain
A temporal logic for asynchronous hyperproperties
J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez
International Conference on Computer Aided Verification, 694-717, 2021
Mandates: US National Science Foundation, German Research Foundation, European …
Model checking hyperproperties for Markov decision processes
O Dobe, E Ábrahám, E Bartocci, B Bonakdarpour
Information and Computation 289, 104978, 2022
Mandates: US National Science Foundation, German Research Foundation, Vienna Science …
SMT-based synthesis of distributed self-stabilizing systems
F Faghih, B Bonakdarpour
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 10 (3), 1-26, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Accelerated runtime verification of LTL specifications with counting semantics
R Medhat, B Bonakdarpour, S Fischmeister, Y Joshi
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Synthesizing bounded-time 2-phase fault recovery
B Bonakdarpour, SS Kulkarni
Formal Aspects of Computing 27, 1-31, 2015
Mandates: European Commission
Specification-based synthesis of distributed self-stabilizing protocols
F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Publication and funding information is determined automatically by a computer program