Shinya Umeno

According to our database, Shinya Umeno authored at least 8 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

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

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2010

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.

Shinya Umeno, Nancy A. Lynch

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.

Shinya Umeno

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

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

Event order abstraction for parametric real-time system verification.

Shinya Umeno

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007

Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.

Shinya Umeno, Nancy A. Lynch

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

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

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

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

Proceedings of the FM 2006: Formal Methods, 2006