dblp.uni-trier.dewww.uni-trier.de

Shinya Umeno

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEShinya Umeno: Event order abstraction for parametric real-time system verification. EMSOFT 2008: 1-10
2007
3EEShinya Umeno, Nancy A. Lynch: Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. HSCC 2007: 557-572
2006
2EEShinya 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: 64-80
1EEMyla 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: 129-138

Coauthor Index

1Myla Archer [1]
2Hongping Lim [1]
3Nancy A. Lynch [1] [2] [3]
4Sayan Mitra [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)