Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. - Shinya Umeno; Nancy A. Lynch (FM, 2006)

Specifying and proving properties of timed I/O automata in the TIOA toolkit. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (MEMOCODE, 2006)

Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. - Shinya Umeno; Nancy A. Lynch (HSCC, 2007)

Event order abstraction for parametric real-time system verification. - Shinya Umeno (EMSOFT, 2008)

Specifying and proving properties of timed I/O automata using Tempo. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (Des. Autom. Embed. Syst., 2008)

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. - Shinya Umeno (FORMATS, 2009)

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. - Shinya Umeno; Nancy A. Lynch (ICECCS, 2010)

A proposal for improvement of genotyping performance for ethnically homogeneous population using DNA microarray. - Arika Fukushima; Topon Kumar Paul; Ryusei Shingaki; Takashi Koiso; Shinya Umeno; Ken Ueno (EMBC, 2015)