Shusaku Iida

According to our database, Shusaku Iida authored at least 5 papers between 1999 and 2012.

Collaborative distances:

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

2012

Formal Verification of Effectiveness of Control Activities in Business Processes.

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2012

2011

Document Logic: Risk Analysis of Business Processes Through Document Authenticity.

Shusaku Iida, Grit Denker, Carolyn L. Talcott

J. Res. Pract. Inf. Technol., 2011

1999

Component-Based Algebraic Specification and Verification in CafeOBJ.

Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida

Proceedings of the FM'99 - Formal Methods, 1999

Should UML Have a Single Semantics? Should UML Have a Single <i>Core</i> Semantics?

John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Component-Based Algebraic Specification.

Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999