Naoshi UCHIHIRA


Future Direction and Roadmap of Concurrent System Technology
Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/11/01
Vol. E90-A  No. 11  pp. 2443-2448
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
concurrent system technologytechnology roadmapmiddle-up-down technology roadmappingsystems engineeringservices science
 Summary | Full Text:PDF(349.5KB)

An Optimization Method for Investment and Maintenance Planning of Power Plants under Uncertain Environments
Keiichi HANDA Shigeru MATSUMOTO Masashi NAKAMOTO Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/06/01
Vol. E88-A  No. 6  pp. 1481-1486
Type of Manuscript:  Special Section PAPER (Special Section on Papers Selected from 2004 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2004))
Category: 
Keyword: 
investmentmaintenancepower plantdecision tree
 Summary | Full Text:PDF(264.6KB)

Making Reactive Systems Highly Reliable by Hypersequential Programming
Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4  pp. 941-947
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
reactive systemreliabilityscenariohypersequential programming
 Summary | Full Text:PDF(539.7KB)

FOREWORD
Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/11/01
Vol. E86-A  No. 11  pp. 2721-2721
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(62.1KB)

A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems
Naoshi UCHIHIRA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11  pp. 1797-1808
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
high-level Petri netreactive and concurrent systemprogramming languagetask schedulingreal-time operating system
 Summary | Full Text:PDF(938.4KB)

Practical Program Validation for State-Based Reactive Concurrent Systems--Harmonization of Simulation and Verification--
Naoshi UCHIHIRA Hideji KAWATA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1487-1497
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
state transition systemreactive concurrent systemexhaustive simulationverificationstate space analysispartial order method
 Summary | Full Text:PDF(896.9KB)

A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems
Naoshi UCHIHIRA Mikako ARAMI Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1335-1347
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
high level petri netcooperating discrete event systemconcurrent programdesign methodologyprogram synthesisprogram verificationtemporal logicprogramming environment
 Summary | Full Text:PDF(972.7KB)

Net-Oriented Analysis and Design
Shinichi HONIDEN Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1317-1325
Type of Manuscript:  INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
petri netsstate transition didgramdata flow diagramalgebraic specificationtemporal logicobject-oriented analysis and designCASE
 Summary | Full Text:PDF(709.8KB)

Compositional Synthesis for Cooperating Discrete Event Systems from Modular Temporal Logic Specifications
Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A  No. 3  pp. 380-391
Type of Manuscript:  Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
cooperating discrete event systemtemporal logiccompositional program synthesisstate explosion problem
 Summary | Full Text:PDF(690.8KB)

Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic
Naoshi UCHIHIRA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/12/25
Vol. E73-E  No. 12  pp. 2001-2010
Type of Manuscript:  Special Section PAPER (Special Issue on the 3rd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Petri Nets
Keyword: 
 Summary | Full Text:PDF(860.1KB)