Skip to content

Latest commit

 

History

History
38 lines (30 loc) · 1.65 KB

index.md

File metadata and controls

38 lines (30 loc) · 1.65 KB
layout
about

About

Hello, I am a Ph.D candidate in Software Verification Laboratory at POSTECH, under the suprevision of Kyungmin Bae. My research interests include model checking and model-based testing for distributed systems and network protocols.


Research Interests

  • Model checking to develop safe, reliable, and secure distributed systems.
  • Formal specification and model-based testing of TLS protocols using rewrite theory.

Publications

  • Rigorous Model Engineering of Hierarchical Multirate CPSs in Multirate HybridSynchAADL

    • Jaehun Lee, Kyungmin Bae, Peter Olveczky
    • International Symposium On Leveraging Applications of Formal Methods, Verification and Validation(ISoLA), 2024
    • web_page

  • Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL

    • Jaehun Lee, Kyungmin Bae, Peter Olveczky
    • International Journal on Software Tools for Technology Transfer(STTT), 2022
    • web_page

  • An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs

    • Jaehun Lee, Kyungmin Bae, Peter Olveczky
    • International Symposium On Leveraging Applications of Formal Methods, Verification and Validation(ISoLA), 2022
    • web_page

  • HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

    • Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Olveczky
    • International Conference on Computer Aided Verification(CAV), 2021
    • web_page