Tatsunori Sakai

According to our database, Tatsunori Sakai authored at least 3 papers between 2013 and 2016.

Collaborative distances:

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

2016

A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata.

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Formal verification of dynamically reconfigurable systems.

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2013

Development of Model Checker of Dynamic Linear Hybrid Automata.

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013