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
Samaneh Navabpour
Home
Time-triggered Runtime Verification
Software Debugging and Testing using the Abstract Diagnosis Theory
Sampling-based Runtime Verification
Efficient Techniques for Near-optimal Instrumentation in Sampling-based Runtime Verification
Optimal Instrumentation of Data-flow in Concurrent Data Structures
Path-aware Time-triggered Runtime Verification
RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Pagination
Subscribe to Samaneh Navabpour
Stay Connected
