Shunichi Amano

According to our database, Shunichi Amano authored at least 2 papers between 2014 and 2018.

Collaborative distances:

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

2018

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.

Naoto Sato, Takaaki Tateishi, Shunichi Amano

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2014

Controlled modeling environment using flexibly-formatted spreadsheets.

Hisashi Miyashita, Hideki Tai, Shunichi Amano

Proceedings of the 36th International Conference on Software Engineering, 2014