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

Naoshi Uchihira

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

2007
19EENaoshi Uchihira, Yuji Kyoya, Sun K. Kim, Katsuhiro Maeda, Masanori Ozawa, Kosuke Ishii: Analysis and Design Methodology for Product-Based Services. JSAI 2007: 13-25
18EENaoshi Uchihira: Future Direction and Roadmap of Concurrent System Technology. IEICE Transactions 90-A(11): 2443-2448 (2007)
2005
17EENaoshi Uchihira: Making Reactive Systems Highly Reliable by Hypersequential Programming. IEICE Transactions 88-A(4): 941-947 (2005)
16EEKeiichi Handa, Shigeru Matsumoto, Masashi Nakamoto, Naoshi Uchihira: An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments. IEICE Transactions 88-A(6): 1481-1486 (2005)
2000
15 Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura: Scenario-Based Hypersequential Programming. International Journal of Parallel Programming 28(2): 155-157 (2000)
1999
14EEChris Rudram, Peter R. Croll, Naoshi Uchihira: Building Test Cases for Use in Hypersequential Programming. PDSE 1999: 205-209
1998
13EENaoshi Uchihira: How to Make Concurrent Programs Highly Reliable- More than State Space Analysis. ACSD 1998: 16-23
12EEPeter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira: Engineering Safe, Real-Time Distributed Control Systems. EUROMICRO 1998: 10445-10452
1997
11 Naoshi Uchihira, Hideji Kawata, Fumitaka Tamura: Scenario-Based Hypersequential Programming: Formulation of Parallelization. ISHPC 1997: 267-280
1996
10 Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki: Hypersequential programming - a novel paradigm for concurrent programming. Software Engineering for Parallel and Distributed Systems 1996: 62-73
9EEShinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira: MENDELS ZONE: A parallel program development system based on formal specifications. Information & Software Technology 38(3): 181-189 (1996)
8EENaoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. Journal of Systems and Software 33(3): 207-221 (1996)
1995
7EENaoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. HICSS (2) 1995: 359-368
1994
6EEShinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh: An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20(11): 849-867 (1994)
1991
5 Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh: An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. ESEC 1991: 189-209
1989
4 Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai: An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. Real-Time Systems 1(4): 313-331 (1989)
1987
3 Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura: MENDELS: Concurrent Program Synthesis System Using Temporal Logic. LP 1987: 50-68
1986
2 Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya: MENDEL: Prolog Based Concurrent Object Oriented Language. COMPCON 1986: 230-234
1985
1 Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya: Software Prototyping with MENDEL. LP 1985: 108-116

Coauthor Index

1Masahiko Arai [4]
2Colin Chambers [12]
3Peter R. Croll [12] [14]
4Keiichi Handa [16]
5Shinichi Honiden [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
6Kosuke Ishii [19]
7Kiyoshi Itoh [5] [6]
8Toshiaki Kasuya [1] [2]
9Hideji Kawata [11] [15]
10Sun K. Kim [19]
11Yuji Kyoya [19]
12Katsuhiro Maeda [19]
13Kazunori Matsumoto [3] [4]
14Shigeru Matsumoto [16]
15Kazuo Matsumura [4]
16Masashi Nakamoto [16]
17Hideo Nakamura [3]
18Kazuhiko Nishimura [6]
19Akihiko Ohsuga [9]
20Masanori Ozawa [19]
21Chris Rudram [12] [14]
22Toshibumi Seki [10]
23Fumitaka Tamura [11] [15]

Colors in the list of coauthors

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