Yoichi Omori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1997–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FM | Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. | Shigeru Kusakabe, Yoichi Omori, Keijiro Araki |
| 2014 | ICSE | Generating supportive hypotheses in introducing formal methods using a software processes improvement model. | Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki |
| 2009 | CSEDU | 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 |
| 2009 | ICSoft | Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. | Shigeru Kusakabe, Yoichi Omori, Keijiro Araki |
| 2003 | PADS | A Macroscopic Behavior Model for Self-Timed Pipeline Systems. | Shuji Sannomiya, Yoichi Omori, Makoto Iwata |
| 1997 | COMPSAC | A Parallelizing Compiler by Object Oriented Design. | Yoichi Omori, Kazuki Joe, Akira Fukuda |