parisss.jpg

Dr. Eun Young Kang

Post Doctoral Fellow in the rCOS team at the United Nations University
International Institute for Software Technology

UNU-IIST
P.O.Box 3058
Casa Silva Mende Estrada do Engenheiro Trigo 4
Macau SAR

Tel: +853 8504 0454
Fax: +853 2871 2940
Email: kang@iist.unu.edu

 


Research interests

  • Specification and verification of Real time systems.
  • SAT-based automatic and interactive theorem proving.
  • Semantics and Logics.
  • Model Checking
  • Systems and Software validation

    • Thesis

    Publications

  • Naijun Zhan, Eun-Young Kang and Zhiming Liu. Composition and Refinement of Components. In Post evnt Proceedings of International Symposium on Unifying Theories of Programming'08 (UTP'08) to appear in LNCS, 2009
    •
  • Naijun Zhan, Eun Young Kang, and Zhiming Liu. Component publications and Compositions. Technical Report 404, UNU-IIST, P.O.Box 3058, Macau, 2008
    •
  • Eun-Young Kang. Des techniques de veification des systemes temps-reel basees sur l'abstraction, la deduction et le model checking. INRIA-LORIA Technical Research Report (French version), Nancy, France, October 2007.
  • Eun-Young Kang and Stephan Merz. Predicate diagram for the verification of Real-Time Systems. Formal Aspects of Computing Journal, Volume 19, Number 3, pages 401 -- 413, 2007.
    •
  • Eun-Young Kang. Tool Supported Real-Time System Verification Techniques Based on Abstraction/Deduction and Model-checking. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes, Doctoral symposium section, pages 311-316, Universite de Bordeaux, France 2006.
    •
  • Eun-Young Kang and Stephan Merz. Predicate Diagrams for the Verification of Real-Time Systems, In 5th International Workshop of Automated Verification of Critical Systems, Warwick, England ENTCS (145):151-165, Elsevier, 2006
    •
  • Eun-Young Kang. Real-time system verification techniques based on abstraction/deduction and mode checking. In proceedings of 5th International Conference on Formal Methods (IFM05), pages 26-32, Techische Universiteit Eindhoven, The Netherlands, 2005.
  • Eun-Young Kang and Dong Ha Nguyen. Systematical combination of abstract interpretation and state-space exploration. CS-Technical Report, Delft University of Technology, Delft, The Netherlands July, 2004
    •
  • Eun-Young Kang. Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. In proceedings of the 26th International Conference on Software Engineering (ICSE04), Scotland, pages: 39 - 41, May 2004, Scotland.
  • Bas Graaf, Eun Young Kang, Marco Lormans, and Hans Toetenel. Integrating model checking in the embedded software engineering process. In Proceedings of the 24th IEEE Real-Time Systems Symposium. RTSS 2003.
  • Eun-Young Kang and Jin-Young Choi. ESTEREL based safety and Completeness Verification of smart card and SNIFP system,  Journal of Computer Science and Engineering Technology VOL.4, 2002.
    •
  • Eun-Young Kang and Jin-Young Choi. A study on Formal Verification of Smart card security, In proceedings of the 28th KISS conference, 2001
    •

    Get full publications and BibTeX entrie files (contact kang@iist.unu.edu)

    Links

     

    last update May 2009