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
Journal Article
Home
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
Predicate Monitoring in Distributed Cyber-physical Systems
Crash-Resilient Decentralized Synchronous Runtime Verification
Pagination
Previous page
‹‹
Page 2
Next page
››
Subscribe to Journal Article
Stay Connected