Yoshifumi Yuasa

According to our database, Yoshifumi Yuasa authored at least 5 papers between 1993 and 2014.

Collaborative distances:

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

2014

Towards Argumentation Schemes for Open Systems Dependability.

Hiroyuki Kido, Yukio Ohsawa, Makoto Hirai, Yoshifumi Yuasa, Toshinori Takai

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013

A chain of accountabilities in open systems based on assured entrustments.

Makoto Hirai, Yoshifumi Yuasa, Yoshiki Kinoshita

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2009

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.

Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi

IEICE Trans. Inf. Syst., 2009

2008

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi

Proceedings of the Verified Software: Theories, 2008

1993

Adding a Cohen real adds an entangled linear order.

Yoshifumi Yuasa

Arch. Math. Log., 1993