 | 2009 |
|---|
| 5 |       | Shinya Umeno:
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.
FORMATS 2009: 258-274 |
| 2008 |
|---|
| 4 | | Shinya Umeno:
Event order abstraction for parametric real-time system verification.
EMSOFT 2008: 1-10 |
| 2007 |
|---|
| 3 | | Shinya Umeno,
Nancy A. Lynch:
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.
HSCC 2007: 557-572 |
| 2006 |
|---|
| 2 | | 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 | | 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 |
