Yusuke Matsuo

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Automated Verification

Reactive Systems

Alternating Time Temporal Logic

Top Venues

Publications

Yusuke Matsuo, Daisuke Umehara, Hidekazu Murata, Satoshi Denno
Performance evaluation of device discovery in bluetooth LE with probabilistic model checking. APSITT (2015)
Yusuke Matsuo, Kiyoshi Ogasawara, Atsushi Ohnishi
Automatic Transformation of Organization of Software Requirements Specifications. RCIS (2010)
Yusuke Matsuo, Atsushi Ohnishi
Transformation of Organization of Software Requirements Specifications. ICSOFT (1) (2009)