Borzoo Bonakdarpour
Michigan State University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Distributed systems and fault tolerance, Real-Time Systems Scheduling, Software Testing and Debugging Techniques, Security and Verification in Computing
Most-Cited Works
- → First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014(2017)66 cited
- → A framework for automated distributed implementation of component-based models(2012)65 cited
- → Decentralized Runtime Verification of LTL Specifications in Distributed Systems(2015)63 cited
- → Runtime Verification of k-Safety Hyperproperties in HyperLTL(2016)62 cited
- → From high-level component-based models to distributed implementations(2010)53 cited
- → Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification(2018)51 cited
- → Statistical Verification of Hyperproperties for Cyber-Physical Systems(2019)46 cited
- → First International Competition on Software for Runtime Verification(2014)45 cited
- → Sampling-Based Runtime Verification(2011)43 cited
- → Rewriting-Based Runtime Verification for Alternation-Free HyperLTL(2017)42 cited