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
Predicate Monitoring in Distributed Cyber-physical Systems
Crash-Resilient Decentralized Synchronous Runtime Verification
Finite-Word Hyperlanguages
Model Checking Hyperproperties for Markov Decision Processes
Decentralized Asynchronous Crash-Resilient Runtime Verification
Decentralized Asynchronous Crash-Resilient Runtime Verification
Synthesizing Optimal Bias in Randomized Self-Stabilization
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications
Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery
Automated Synthesis of Distributed Self-Stabilizing Protocols
Pagination
Page 1
Next page
››
Subscribe to Journal Article
Stay Connected
