College of Engineering

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

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University