College of Engineering

Journal Article

Gray-box Runtime Enforcement of Hyperproperties

Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine

AI-driven prediction of cardio-oncology biomarkers through protein corona analysis

Efficient Discovery of Actual Causality using Abstraction-Refinement

Distributed runtime verification of metric temporal properties

Complexity Results in Revising UNITY Programs

Symbolic Synthesis of Masking Fault-tolerant Distributed Programs

Automated Program Repair for Distributed Systems

A Framework for Automated Distributed Implementation of Component-based Models

Time-triggered Runtime Verification

Subscribe to Journal Article

Spartans Will.
© Michigan State University