Yoshikazu Ueda

According to our database, Yoshikazu Ueda authored at least 7 papers between 1986 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A Model Partitioning Method in Model Checking for Information and Control System.

Kei Kogai, Yoshikazu Ueda

IEICE Trans. Inf. Syst., 2025

2017

Safety Verification Method for Priority-Based Real-Time Software.

Fumio Narisawa, Yoshikazu Ueda

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

2012

Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design.

Shin Nakajima, Satoru Furukawa, Yoshikazu Ueda

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

2006

Detecting Defects in Object Oriented Designs Using Design Metrics.

Munkhnasan Choinzon, Yoshikazu Ueda

Proceedings of the Knowledge-Based Software Engineering, 2006

1991

Improved complex demodulation method for frequency analysis.

Hao Ying Li, Yoshikazu Ueda, Naohiro Ishii

Syst. Comput. Jpn., 1991

1990

Estimation for Spread Forms of Spindle Waves in Multichannel EEG.

Yoshikazu Ueda, Naohiro Ishii

Syst. Comput. Jpn., 1990

1986

Detection of auditory evoked potentials in human sleep.

Yoshikazu Ueda, Naohiro Ishii, Masayoshi Terashima

Syst. Comput. Jpn., 1986