 | 2010 |
|---|
| 7 |       | Shinya Umeno,
Nancy A. Lynch:
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.
ICECCS 2010: 136-145 |
| 2009 |
|---|
| 6 | | Shinya Umeno:
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.
FORMATS 2009: 258-274 |
| 2008 |
|---|
| 5 | | Shinya Umeno:
Event order abstraction for parametric real-time system verification.
EMSOFT 2008: 1-10 |
| 4 | | Myla Archer,
Hongping Lim,
Nancy A. Lynch,
Sayan Mitra,
Shinya Umeno:
Specifying and proving properties of timed I/O automata using Tempo.
Design Autom. for Emb. Sys. 12(1-2): 139-170 (2008) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page