| |
| 2008 | ||
|---|---|---|
| 4 | EE | Shinya Umeno: Event order abstraction for parametric real-time system verification. EMSOFT 2008: 1-10 |
| 2007 | ||
| 3 | EE | Shinya Umeno, Nancy A. Lynch: Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. HSCC 2007: 557-572 |
| 2006 | ||
| 2 | EE | Shinya Umeno, Nancy A. Lynch: Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. FM 2006: 64-80 |
| 1 | EE | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno: Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138 |
| 1 | Myla Archer | [1] |
| 2 | Hongping Lim | [1] |
| 3 | Nancy A. Lynch | [1] [2] [3] |
| 4 | Sayan Mitra | [1] |