Search the dblp DataBase
Shinya Umeno :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:64-80 [Conf ] Shinya Umeno , Nancy A. Lynch Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:557-572 [Conf ] Myla Archer , Hongping Lim , Nancy A. Lynch , Sayan Mitra , Shinya Umeno Specifying and proving properties of timed I/O automata in the TIOA toolkit. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:129-138 [Conf ] Event order abstraction for parametric real-time system verification. [Citation Graph (, )][DBLP ] Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs