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