Shinya Umeno
According to our database1,
Shinya Umeno
authored at least 8 papers
between 2006 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
A proposal for improvement of genotyping performance for ethnically homogeneous population using DNA microarray.
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.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
2008
Des. Autom. Embed. Syst., 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
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.
Proceedings of the FM 2006: Formal Methods, 2006