| |
| 2004 | ||
|---|---|---|
| 2 | EE | Mahesh Viswanathan, MoonZoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556 |
| 1 | EE | MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004) |
| 1 | Sampath Kannan | [1] |
| 2 | Insup Lee | [1] |
| 3 | Oleg Sokolsky | [1] |
| 4 | Mahesh Viswanathan | [1] [2] |