News

  • 2026.09 đź‘‹ Minsung joined our lab. Welcome!
  • 2026.09 🏆 Our paper “LF-mc: An Efficient Verifier for Lingua Franca” received the Best Artifact Award at QEST+FORMATS 2026. Congratulations!
  • 2026.05 đź“„ Our paper “LF-mc: An Efficient Verifier for Lingua Franca” has been accepted to QEST+FORMATS 2026.
  • 2026.04 đź“„ Our paper “An Activation Property-Based Framework for Efficient Neural Network Verification” has been accepted to the ICST 2026 Doctoral Symposium.
  • 2026.02 đź‘‹ Seeun joined our lab. Welcome!
  • 2026.01 đź“„ Our paper “RL-based Heuristic Learning for Model Checking” has been accepted to KCSE 2026.
  • 2026.01 🏆 Byoungho received the Distinguished Paper Award at VMCAI 2026. Congratulations!
  • 2025.11 đź“„ Our paper “A Formal Executable Semantics of PROMELA” has been accepted to VMCAI 2026.
  • 2025.07 đź“„ Our paper “Formal Analysis of Networked PLC Controllers Interacting with Physical Environments” has been accepted to SAS 2025.
  • 2025.02 đź‘‹ Hyeyoon joined our lab. Welcome!
  • 2024.09 🎉 Our lab received SW STAR Lab Funding from the Ministry of Science and ICT.
  • 2024.09 🎓 Geunyeol and Byoungho received Research Subsidies for Ph.D. Candidates from the National Research Foundation of Korea.
  • 2024.07 🎓 Hyuksoon received Research Subsidies for M.S. Candidates from the National Research Foundation of Korea.
  • 2024.06 đź“„ Our paper “Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL” has been accepted to ISoLA 2024.
  • 2024.06 đź“„ Our paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” has been accepted to FM 2024.
  • 2024.05 đź“„ Our paper “Formal Specification and Model Checking of TLS Software Security Requirements using Maude” has been accepted to the KIISE Journal.
  • 2024.05 🏆 Geunyeol won the Best Paper/Presentation Award at WRLA 2024. Congratulations!
  • 2024.03 đź“„ Our paper “A Flexible Framework for Integrating Maude and SMT Solvers Using Python” has been accepted to WRLA 2024.
  • 2024.02 đź‘‹ Kyunwoo joined our lab. Welcome!
  • 2023.12 🏆 Geunyeol received the POSTECH CSE Paper Award. Congratulations!
  • 2023.12 🏆 Jueun received the KIISE Society Outstanding Paper Award. Congratulations!
  • 2023.12 đź“„ Our paper “Formal Specification of Trusted Execution Environment APIs” has been accepted to FASE 2024.
  • 2023.09 đź‘‹ Hyuksoon joined our lab. Welcome!
  • 2023.06 🏆 Jueun received the KIISE Journal Outstanding Paper Award. Congratulations!
  • 2022.12 đź“„ Our paper “Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT” has been accepted to FTSCS 2022.
  • 2022.11 đź“„ Our paper “An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs” has been accepted to ISoLA 2022.
  • 2022.09 đź‘‹ Byoungho joined our lab. Welcome!
  • 2022.05 đź“„ Our paper “STLmc: Robust STL Model Checking of Hybrid Systems using SMT” has been accepted to CAV 2022.
  • 2021.12 🏆 Jueun received the KSC 2021 Outstanding Paper Award. Congratulations!
  • 2021.12 đź“„ Our paper “Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks” has been accepted to KIISE 2021.
  • 2021.12 đź“„ Our paper “Layered Abstraction for Formally Verifying Deep Neural Networks” has been accepted to KSC 2021.
  • 2021.11 đź“„ Our paper “Efficient SMT-Based Model Checking for Signal Temporal Logic” has been accepted to ASE 2021.
  • 2021.09 đź‘‹ Seunghyun joined our lab. Welcome!
  • 2020.03 đź“„ Our paper “Maude-SE: A Tight Integration of Maude and SMT Solvers” has been accepted to WRLA 2020.
  • 2020.02 đź‘‹ Jueun joined our lab. Welcome!
  • 2019.02 đź‘‹ Geunyeol and Jaehun joined our lab. Welcome!