College of Engineering

Sebastian Fischmeister

Time-triggered Runtime Verification

Runtime Verification with Minimal Intrusion through Parallelism

Runtime Monitoring of Cyber-physical Systems under Timing and Memory Constraints

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

Tutorial: Runtime Monitoring of Time-sensitive Systems

Path-aware Time-triggered Runtime Verification

Time-triggered Self-monitoring Programs

Subscribe to Sebastian Fischmeister

Spartans Will.
© Michigan State University