Haiseung Yoo

According to our database, Haiseung Yoo authored at least 5 papers between 1995 and 2007.

Collaborative distances:

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

2007

Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese.

Haiseung Yoo

PhD thesis, 2007

2004

MetaGame: An Animation Tool for Model-Checking Games.

Markus Müller-Olm, Haiseung Yoo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

1998

Automatic Error Location for IN Service Definition.

Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

1996

Computing the Rabin Index of a Regular Language of Infinite Words.

Thomas Wilke, Haiseung Yoo

Inf. Comput., 1996

1995

Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time.

Thomas Wilke, Haiseung Yoo

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995