Shinya Umeno

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Gene Expression Profiles

Computational Methods

Top Venues

Publications

Arika Fukushima, Topon Kumar Paul, Ryusei Shingaki, Takashi Koiso, Shinya Umeno, Ken Ueno
A proposal for improvement of genotyping performance for ethnically homogeneous population using DNA microarray. EMBC (2015)
Shinya Umeno, Nancy A. Lynch
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. ICECCS (2010)
Shinya Umeno
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction. FORMATS (2009)
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Shinya Umeno
Event order abstraction for parametric real-time system verification. EMSOFT (2008)
Shinya Umeno, Nancy A. Lynch
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. HSCC (2007)
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)
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)