Yoichi Omori

According to our database, Yoichi Omori authored at least 10 papers between 1997 and 2015.

Collaborative distances:

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

2015

Visualizing centrality of process area networks in CMMI-DEV.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2015 International Conference on Software and System Process, 2015

Towards Verifying VDM Using SPIN.

Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014

Requirements Development of Energy Management System for a Unit in Smart Campus.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Generating supportive hypotheses in introducing formal methods using a software processes improvement model.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2009

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Proceedings of the ICSOFT 2009, 2009

Large Scale Business-academia Collaboration in Master Education Course.

Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2003

A Macroscopic Behavior Model for Self-Timed Pipeline Systems.

Shuji Sannomiya, Yoichi Omori, Makoto Iwata

Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

1999

An Object-Oriented Framework for Loop Parallelization.

Yoichi Omori, Akira Fukuda, Kazuki Joe

J. Supercomput., 1999

1997

A Parallelizing Compiler by Object Oriented Design.

Yoichi Omori, Kazuki Joe, Akira Fukuda

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997