| 2023 | CaiSE | Semantic Matching Through Knowledge Graphs: A Smart City Case. | Alexander Vlz, Danial Mohammadi Amlashi, Moonkun Lee |
| 2019 | KSEM | Application of Probabilistic Process Model for Smart Factory Systems. | Junsup Song, Yeongbok Choe, Moonkun Lee |
| 2019 | RE | Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx. | Dimitris Karagiannis, Moonkun Lee, Robert Andrei Buchmann |
| 2017 | ER | Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. | Junsup Song, Maryam Rahmani, Moonkun Lee |
| 2016 | EDOC | SAVE: An Environment for Visual Specification and Verification of IoT. | Yeongbok Choe, Sunghyeon Lee, Moonkun Lee |
| 2015 | COMPSAC | A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra. | Woorim Choi, Yeongbok Choe, Moonkun Lee |
| 2014 | COMPSAC | A Calculus for Transportation Systems. | Moonkun Lee, Jungrhan Choi |
| 2013 | AINA | Behavior Ontology: A Framework to Detect Attack Patterns for Security. | Sujeong Woo, Jinho On, Moonkun Lee |
| 2013 | COMPSAC | An Abstraction Method of Behaviors for Process Algebra. | Jinho On, Yeongbok Choe, Moonkun Lee |
| 2012 | COMPSAC | A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. | Jinho On, Sujeong Woo, Moonkun Lee |
| 2011 | COMPSAC | An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. | Sujeong Woo, Jinho On, Moonkun Lee |