Yoichi Omori

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 3

Top Topics

Requirements Engineering

Management System

Top Venues

Publications

Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
Towards Verifying VDM Using SPIN. FTSCS (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Visualizing centrality of process area networks in CMMI-DEV. ICSSP (2015)
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. FMSEE&T@FM (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE (2014)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI (2014)
Shigeru Kusakabe, Yoichi Omori, Keijiro Araki
Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. ICSOFT (1) (2009)
Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka
Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) (2009)
Shuji Sannomiya, Yoichi Omori, Makoto Iwata
A Macroscopic Behavior Model for Self-Timed Pipeline Systems. PADS (2003)
Yoichi Omori, Akira Fukuda, Kazuki Joe
An Object-Oriented Framework for Loop Parallelization. J. Supercomput. 13 (1) (1999)
Yoichi Omori, Kazuki Joe, Akira Fukuda
An Object-Oriented Framework for Loop Parallelization. ISHPC (1997)
Yoichi Omori, Kazuki Joe, Akira Fukuda
A Parallelizing Compiler by Object Oriented Design. COMPSAC (1997)