Sunae Seo

According to our database¹, Sunae Seo authored at least 4 papers between 2003 and 2009.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2009

Refining schizophrenia via graph reachability in Esterel.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2007

Goal-directed weakening of abstract interpretation results.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

A Static Bug Detector for Uninitialized Field References in Java Programs.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2007

2003

Automatic Construction of Hoare Proofs from Abstract Interpretation Results.

[BibT_eX]

[DOI]

Sunae Seo

Hongseok Yang

Kwangkeun Yi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

Sunae Seo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...