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
Houssam Abbas
Home
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Predicate Monitoring in Distributed Cyber-physical Systems
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems
Predicate Monitoring in Distributed Cyber-physical Systems
Pagination
Subscribe to Houssam Abbas
Stay Connected
