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
Ramy Medhat
Home
Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints
RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs
Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems
Power-efficient Multiple Producer-Consumer
A Framework for Mining Hybrid Automata from Input/Output Traces
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Resource Optimization of Stream Processing in Layered Internet of Things
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications
Managing the security-energy tradeoff in distributed cyber-physical systems
Energy-Efficient Multiple Producer-Consumer
Pagination
Subscribe to Ramy Medhat
Stay Connected