Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Borzoo Bonakdarpour
Home
Profile Page
Prof. Borzoo Bonakdarpour
Crash-Resilient Decentralized Synchronous Runtime Verification
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Bounded Model Checking for Asynchronous Hyperproperties
Probabilistic Hyperproperties with Rewards
Finite-Word Hyperlanguages
Model Checking Hyperproperties for Markov Decision Processes
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems
Decentralized Asynchronous Crash-Resilient Runtime Verification
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Pagination
Page 1
Next page
››
Subscribe to Borzoo Bonakdarpour
Stay Connected