Yoichi Omori

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