Searching for authors named "Shinya Umeno" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Event Order Abstraction for Parametric Timed Verification ∗
- …Event Order Abstraction for Parametric Timed Verification ∗ Shinya Umeno, CSAIL, Massachusetts…
- Add To MetaCart
-
Event Order Abstraction for Parametric Real-Time System Verification
- …-048 October 19, 2008 Event Order Abstraction for Parametric Real-Time System Verification Shinya Umeno…
- Cited by 1 (1 self) – Add To MetaCart
-
Proving safety properties of an aircraft landing protocol using I/O Automata and the PVS theorem prover: A case study
- … Prover: A Case Study ⋆ Shinya Umeno and Nancy Lynch Massachusetts Institute of Technology, Computer…
- Cited by 4 (2 self) – Add To MetaCart
-
Safety verification of an aircraft landing protocol: A refinement approach. See Bemporad et al
- …Safety Verification of an Aircraft Landing Protocol: A Refinement Approach ⋆ Shinya Umeno…
- Cited by 3 (3 self) – Add To MetaCart
-
S.: Specifying and proving properties of timed I/O automata in the TIOA toolkit
- …@(email omitted); HongPing Lim Nancy Lynch Sayan Mitra Shinya Umeno Computer Science and Artificial Intelligence…
- Cited by 1 (1 self) – Add To MetaCart
-
unknown title
- … case study by Shinya Umeno B.S., Information Science (2004) Tokyo Institute of Technology Submitted…
- Add To MetaCart
-
Technical Reports on Mathematical and Computing Sciences: TR-C186
- … Strategies in Update Networks author: Crasmaru Marcel 1 and Shinya Umeno 1 affiliation: 1. Dept…
- Add To MetaCart
Showing 1 through 7.
