College of Engineering

Journal Article

Time-triggered Runtime Verification

Model-based Implementation of Distributed Systems with Priorities

Runtime Verification with Minimal Intrusion through Parallelism

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

Synthesizing Bounded-time 2-phase Recovery

Abstract Model Repair

The Complexity of Automated Addition of Fault-tolerance Without Explicit Legitimate States

SMT-Based Synthesis of Distributed Self-Stabilizing Systems

Snap-stabilizing Committee Coordinat

Runtime Verification of Partially-Synchronous Distributed System

Subscribe to Journal Article

Spartans Will.
© Michigan State University