Shinya Umeno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2010
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICECCS | Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. | Shinya Umeno, Nancy A. Lynch |
| 2008 | EMSOFT | Event order abstraction for parametric real-time system verification. | Shinya Umeno |
| 2006 | FM | 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 |
| 2006 | MEMOCODE | Specifying and proving properties of timed I/O automata in the TIOA toolkit. | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |