| 2007 |
|---|
| 19 | EE | Naoshi Uchihira,
Yuji Kyoya,
Sun K. Kim,
Katsuhiro Maeda,
Masanori Ozawa,
Kosuke Ishii:
Analysis and Design Methodology for Product-Based Services.
JSAI 2007: 13-25 |
| 18 | EE | Naoshi Uchihira:
Future Direction and Roadmap of Concurrent System Technology.
IEICE Transactions 90-A(11): 2443-2448 (2007) |
| 2005 |
|---|
| 17 | EE | Naoshi Uchihira:
Making Reactive Systems Highly Reliable by Hypersequential Programming.
IEICE Transactions 88-A(4): 941-947 (2005) |
| 16 | EE | Keiichi 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 |
|---|
| 14 | EE | Chris Rudram,
Peter R. Croll,
Naoshi Uchihira:
Building Test Cases for Use in Hypersequential Programming.
PDSE 1999: 205-209 |
| 1998 |
|---|
| 13 | EE | Naoshi Uchihira:
How to Make Concurrent Programs Highly Reliable- More than State Space Analysis.
ACSD 1998: 16-23 |
| 12 | EE | Peter 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 |
| 9 | EE | Shinichi Honiden,
Akihiko Ohsuga,
Naoshi Uchihira:
MENDELS ZONE: A parallel program development system based on formal specifications.
Information & Software Technology 38(3): 181-189 (1996) |
| 8 | EE | Naoshi 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 |
|---|
| 7 | EE | Naoshi Uchihira,
Shinichi Honiden:
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
HICSS (2) 1995: 359-368 |
| 1994 |
|---|
| 6 | EE | Shinichi 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 |
