News

  • [2025.07] Our paper “Formal Analysis of Networked PLC Controllers Interacting with Physical Environments” accepted in SAS 2025.
  • [2025.02] Hyeyoon joined our lab.
  • [2024.09] Our lab received SW STAR Lab Funding from the Ministry of Science and ICT.
  • [2024.09] Geunyeol and Byoungho awarded Research Subsidies for Ph.D. Candidates by the National Research Foundation of Korea.
  • [2024.08] Our paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” accepted in FM 2024.
  • [2024.07] Hyuksoon awarded Research Subsidies for M.S. Candidates by the National Research Foundation of Korea.
  • [2024.06] Our paper “Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL” accepted to ISOLA 2024.
  • [2024.05] Our paper “Formal Specification and Model Checking of TLS Software Security Requirements using Maude” accepted in the KIISE Journal.
  • [2024.05] Geunyeol won the Best Paper/Presentation Award at WRLA 2024.
  • [2024.03] Our paper “A Flexible Framework for Integrating Maude and SMT Solvers Using Python” accepted to WRLA 2024.
  • [2024.02] Our paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” accepted in FM 2024.
  • [2024.01] Kyunwoo joined our lab.
  • [2023.12] Jueun received the KIISE Society Outstanding Paper Award.
  • [2023.12] Our paper “Formal Specification of Trusted Execution Environment APIs” accepted to FASE 2024.
  • [2023.08] Hyuksoon joined our lab.
  • [2023.06] Jueun received the KIISE Journal Outstanding Paper Award.
  • [2022.12] Our paper “Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL” accepted in STTT.
  • [2022.12] Our paper “Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT” accepted in FTSCS 2022.
  • [2022.11] Our paper “An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs” accepted at ISOLA 2022.
  • [2022.07] Byoungho joined our lab.
  • [2022.05] Our paper “STLmc: Robust STL Model Checking of Hybrid Systems using SMT” accepted to CAV 2022.
  • [2021.12] Jueun received the KSC 2021 Outstanding Paper Award.
  • [2021.12] Our paper “Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks” accepted in KIISE 2021.
  • [2021.12] Our paper “Layered Abstraction for Formally Verifying Deep Neural Networks” accepted in KSC 2021.
  • [2021.11] Our paper “Efficient SMT-Based Model Checking for Signal Temporal Logic” accepted to ASE 2021.
  • [2021.07] Seunghyun joined our lab.
  • [2020.03] Our paper “Maude-SE: A Tight Integration of Maude and SMT Solvers” accepted to WRLA 2020.
  • [2020.02] Jueun Yeon joined our lab.
  • [2019.03] Geunyeol and Jaehun joined our lab.