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
Ritam Ganguly
Home
Profile Page
Ritam Ganguly
Distributed runtime verification of metric temporal properties
Runtime Verification of Partially-Synchronous Distributed System
Crash-Resilient Decentralized Synchronous Runtime Verification
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Monitoring Distributed Systems under Partial Synchrony
Pagination
Subscribe to Ritam Ganguly
Stay Connected
