Moonkun Lee

 

 

1.    PERSONAL INFORMATION:

 

Work Address:               Division of Computer Engineering

School of Engineering

Chonbuk National University

Deokjin Ku, Baekjae-daro 567

Chonju, Chonbuk, 54896, South Korea

Phone:                              +82-63-270-3404

Fax:                                +82-63-270-3403

Email:                               moonkun@ jbnu.ac.kr

Homepage:                       http://moon.jbnu.ac.kr

  

 

2.    EDUCATION:

 

THE UNIVERSITY OF PENNSYLVANIA, Philadelphia, PA, USA, Visiting Scholar in Computer and Information Science, researched with Professor Insup Lee, Jan 2003 ~ Dec 2003.

 

THE UNIVERSITY OF PENNSYLVANIA, Philadelphia, PA, USA, PhD of Science and Engineering in Computer and Information Science, An Environment for Understanding of Real-Time Software, supervised by Professor Noah Prywes, August 1995.

 

THE UNIVERSITY OF PENNSYLVANIA, Philadelphia, PA, USA, Master of Science and Engineering in Computer and Information Science, Analysis of Parallelism Using MODEL Equational Language, supervised by Professor Noah Prywes, December 1992.

 

THE PENNSYLVANIA STATE UNIVERSITY, State College, PA, USA, Bachelor of Science in Computer Science, May 1989.

 

 

3.    EMPLOYMENT:

 

Chonbuk National University, College of Engineering, Division of Computer Engineering, Jeonju, South Korea, Professor, from March 2010 to Present.

 

Chonbuk National University, College of Engineering, Division of Electronics and Information Engineering, Jeonju, South Korea, Professor, from April 2007 to Feb 2010.

 

Chonbuk National University, School of Engineering, Division of Electronics and Information Engineering, Chonju, South Korea, Associate Professor, from April 2002.

 

Chonbuk National University, School of Engineering, Division of Electronics and Information Engineering, Chonju, South Korea, Assistance Professor, from Jan 1999 to present.

 

Chonbuk National University, School of Natural Science, Department of Computer Science, Chonju, South Korea, Assistance Professor, from Apr 1998 to Dec 1999.

 

Chonbuk National University, School of Natural Science, Department of Computer Science, Chonju, South Korea, Full Lecturer, from Apr 1996 to March 1998.

 

Computer Command and Control Company (CCCC), Philadelphia, PA, USA, Computer Scientist, from May 1992 to March 1996. Specialized in Software (Re/Reverse) Engineering, Visualization, Operating Systems, CDIF, Ada, etc.

 

 

4.    RESEARCH INTERESTS

 

Formal Methods:

▪ ATM State Machine: Minimization, Fault-Tolerance, time and probability

▪ CARDMI Process Algebra: Geo-temporal Space, Distribution, Movement, Abstraction    

▪ ONION Graphical Language: CARDMI + Interaction, Patterns

▪ d-Calculus: SAVE/D

▪ GTS Logic: SAVE/GTS

▪ N:2-lattice: SAVE/BO

 

Ontology:                        

▪ Behavior Ontology (BO): Set and Algebra theory

▪ Behavior Engineering and Domain Construction

▪ Meta-Engineering

▪ SAVE/BO

 

Real-time Systems:

▪ Formal Methods: ATM, CARDMI, ONION

▪ Operating Systems: Scheduling

▪ Distributed Mobile Systems

 

Languages:

▪ Specification Languages: ATM, CARDMI, ONION

▪ Equational/Functional Languages : MODEL

▪ Parallel Compiler: Analysis and Optimization

▪ Graphical Languages: ATM, CARDMI, ONION, d-Calculus

▪ Algebraic Language: d-Calculus

▪ Logic Language: GTS Logic

▪ Visualization: SAVE/ADOxx

 

Operating Systems:

         ▪ Re/Reverse Engineering

         ▪  Documentations: Book

         

CASE:

▪ SRE: SW Re/Reverse Engineering Environment

▪ SAVE: Specification, Analysis, Verification and Evaluation Environment

▪ ADOxx: SAVE/D/ADOxx, SAVE/GTS/ADOxx, SAVE/BO/ADOxx; SRE/ADOxx

 

5.    RESEARCH/WORK EXPERIENCE

 

Research Experience: From April 1996 to present, The Chonbuk National Unviersity.

 

▪ Korea-Austria Joint Mobility Projects: Domain-Specific Conceptual Modelling for Analysing Complex Environments: An IoT-Based Smart City Case, w/ The University of Vienna, Oct 2022~Sept 2024, supported by the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2022K1A3A1A18079935).

▪ Development of Tool for CPS Business Process Methodology by FoF, Euwang Research Center, Hyundai NGV, Dec 2018~May 2019.

▪ Development of Process Algebra and Modeling Tool for Automatic Generation of Test Cases, Namyang Research Center, Hyundai NGV, April 2018~March 2019.

▪ Development of a Visual Process Algebra and its Tools for Engineering Distributed Mobile Real-time Software, from July 2015 to June 2018, Supported by Supported by National Science Foundation, Korea.

▪ Research on Verification Methods for Reliability of Aerospace SW, from July 2014 to June 2019, Supported by Space Core Technology Development Program through the NRF (National Research Foundation of Korea) funded by the Ministry of Science, ICT and Future Planning, Korea.

▪ Research on Tools for Highly Assured SW Development and High-Level Education for SW Engineering, from Sept 2013 to Dec 2016, Supported by the ITRC (Information Technology Research Center), supervised by the NIPA (National IT Industry Promotion Agency)National Science Foundation, Korea.

▪ Development of an Architecture for Intelligent Meta SaaS in Open Cloud Computing, from Sept 2010 to Aug 2015, Supported by National Science Foundation, Korea.

▪ Development of Calculus for Abstract Real-Time Systems for Distribution, Mobility and Interaction on Geo-temporal Space, from Aug 2007 to July 2010, Supported by National Research Foundation, Korea.

▪ Development of a Customized Environment for Mobile SW Platform Based on Open SW, from Jan 2010 to June 2010, Supported by ETRI, Korea.

▪ Development of Intelligent Mobile Office Environment Based on RFID, from June 2006 to Nov 2006, Supported by ETRI, Korea.

▪ Development of an Integrated Environment for Mission-Critical Systems Based on Software Round Trip Engineering, from Sept 1999 to August 2002, Supported by KOSEF, Korea.

▪ Development of an Environment for Internal Representation and Analysis of Programs, from Feb 1997 to Nov 2000, Supported by ETRI, Korea.

▪ Development of a Methodology for an Object-oriented Visual Interactive Environment for Software/System Re/Reverse Engineering (SRE) (OVIES), from March 1997 to Feb 1999, Supported by KOSEF, Korea.

▪ Development of a Methodology for Verification of Real-Time Systems Using Reverse Specification, July 1998 to June 1999, Supported by IITA, Korea.

▪ Development of a Methodology for Functional Verification of ATM Switching Systems Using Reverse Specification, from March 1997 to Dec 1997, Supported by ETRI, Korea.

 

Research Experience: Department of CIS, The University of Pennsylvania. 

 

▪ Developing of a Methodology of Parallel Computation Using MODEL Equational Language, from Jan 1992 to Dec 1992.

▪ Development of an Environment for Understanding of Real-Time Systems: SRE, from Jan 1993 May 1995. 

 

Work Experience: Computer Scientiest, Computer Command Control Company, Philadelphia, USA.

 

▪ Software Reverse-Engineering Environment (SRE): Development and implementation of methodologies for re/reverse engineering of legacy software in CMS-2 and Fortran to Ada: transformation, executive service routine (ESR) translation, restructuring, architecture discovery, state machine, and simulation.

▪ System Engineering Automation (SEA) for Distributed Systems: Development and implementation of methodologies for design optimization and trade off analysis of real-time system for the Naval Surface Warfare Center: Design Structure and Allocation Optimization (DesStAtiOn).

▪ Software Specification Assistant(SSA): Development of an integrated set of tools and information on software engineering and application systems which guide, instruct and inform novice to expert staff in specifying, updating and evaluating DOD-STD-2167A specifications.

 

6. ACTIVITY

 

▪ A Member of IEEE

▪ A Member of ACM

▪ A Member of KIISE

▪ A Member of KIPS

▪ A Member of KCA

▪ A Member of KCSE

 

▪ The 33rd COMPSAC2009 PC 

▪ The 2nd IEEE MVDA2013 PC

▪ The 3nd IEEE MVDA2014 PC

▪ The 4nd IEEE MVDA2015 PC

▪ The 33rd COMPSAC2009 PC (Program Committee)

▪ The 2nd IEEE MVDA2013 PC

▪ The 38th COMPSAC2014 PC

▪ The 1st NEMO2014 Lecturer

▪ 3nd IEEE COMPSAC/MVDA2014 PC

▪ 4th IEEE COMPSAC/MVDA2015 PC

▪ 2nd NEMO2015 Lecturer

▪ 5th IEEE COMPSAC/MVDA2016 PC

▪ 3rd NEMO2016 Lecturer

▪ 4th ICServ2016 PC

▪ 5th ICServ2017 PC

▪ 36th ER2017-Conceptual Modeling OC (Organizing Committee) Co-Chair

▪ 6th IEEE COMPSAC/MVDA2017 PC

▪ 4th NEMO2017 Lecturer

▪ PoEM2017/PrOse2017 PC Member

▪ 37th ER2018-Conceptual Modeling OC (Organizing Committee) Co-Chair

▪ 6th ICServ2018 PC

▪ 5th NEMO2018 Lecturer

▪ PoEM2018 PC Member

▪ PrOse2018 PC Member

▪ 6th ICServ2020 PC Member

▪ 6th NEMO2019 Lecturer

▪ PoEM2019 PC Member

▪ PrOse2019 PC Member

▪ ECIS2020 EM Track Associate Editor

▪ PoEM2020 PC Member

▪ PrOse2020 PC Member

▪ ECIS2021 EM Track Associate Editor

▪ BIR 2021 PC Member

▪ ECIS2022 EM Track Associate Editor

▪ BIR 2022 PC Member

▪ ECIS2023 EM Track Associate Editor

▪ BIR 2023 PC Member

▪ OMiLAB-KNOW2023

▪ BIR 2024 PC Member

▪ OMiLAB-KNOW2024 PC Member

▪ 43rd ER2024-Conceptual Modeling PC

 

 

 

 

7. PUBLICATIONS (Major):

 

BOOKS:

 

▪ J. Song and M. Lee, Meta-Domain Engineering to Model Collective Behavior of Smart IoTs in Smart City, Eohwa Publication, April 2023.

▪ D. Karagiannis, ..., M. Lee, Domain-Specific Conceptual Modeling, Springer, 2022.(Editor)

▪ M. Lee, ADA SRL Meta-Language, Eohwa Publication, 2022.

▪ M. Lee, SAVE Formal Method Tool, Eohwa Publications, ISBN 978-89-92862-64-6, 2021.

▪ M. Lee, Theory of Multi-Paradigm Programming Languages, Chobnuk National Univeristy Press,

  ISBN 979-11-6372-114-7, 2021.

▪ M. Lee, Formal Methods, Chobnuk National Univeristy Press, ISBN 979-11-87892-50-2, 2017.

▪ M. Lee, Process Algebra, Eohwa Publications, ISBN 978-89-92862-39-4, 2015.

▪ M. Lee, Behavior Ontology, Eohwa Publications, ISBN 978-89-92862-31-8, 2013.

 

CHAPTERS:

 

▪ Y. Choe, M. Lee, Algebraic Method to Model Secure IoT, Domain-Specific Conceptual Modeling, Eds., D. Karagiannis, H.C. Mayr, J. Mylopoulos, Springer, ISBN 978-3-319-39417-6, 2016, PP. 335-355.

▪ S. Lee, Y. Choe, M. Lee, dT-Calculus: A Formal Method to Specify Distributed Mobile Real-Time IoT Systems, Internet of Things: Technology, Applications and Standardization, Ed., J. Sen, IntechOpen, ISBN 978-1-78923-548-7, pp. 1-30, 2018.

 

JOURNALS (Full Papers):

 

▪ Junsup Song, Dimitris Karagiannis, Moonkun Lee, A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence, Sensors 2024, 24(12), 3881; https://doi.org/10.3390/s24123881

▪ Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. Sensors 24(3): 767 (2024)

▪ Alexander Völz, Danial Mohammadi Amlashi, Moonkun Lee: Semantic Matching Through Knowledge Graphs: A Smart City Case. CAiSE Workshops 2023: 92-104, Lecture Notes in Business Information Processing 482, Springer 2023, ISBN 978-3-031-34984-3

▪Junsup Song , Dimitris Karagiannis, Moonkun Lee, Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. Sensors 22(13): 5057 (2022)

▪ S. Lee, M. Lee, GTS-Visual Logic: Visual Logic and Tool for Analysis and Verification of Secure Requirements in Smart IoT Systems, KIPS Trans. Comp. and Comm. Sys, (11/9), Sept 2022.

▪ Song J, Lee M (2019) Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. In: IFIP Working Conference on The Practice of Enterprise Modeling, LNBIP 369, pp 184–196. LIST, Luxembourg. Nov 2019.

▪ Song J, Lee M (2019) Application of Probabilistic Process Model for Smart Factory Systems. In: Proceedings of 12^th International Conference, KSEM, LNCS 11775, pp 25–36. Athens, Greece. Sept 2019.

▪ D. Bork, R. Buchmann, D. Karagiannis, M. Lee, E. Miron (2019) An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem, Communications of the Association for Information Systems, Vol. 34, Dec. 2018, pp. 555-579, ACM, ISSN 1529-3181.

▪ S. Lee, J. Song, Y. Choe, M. Lee  (2018) ADONIS: A Service Design and Certification Tool for Certification of Software Development Process in International Standard Organization, Journal of SOSS, 2018.

▪ J. Song. M. Lee  (2018) A Composition Model for Collective Behavior, PoEM 2018, Vienna, Austria, Oct. 2018, LNBIP 335, pp. 121-137, Springer, 2018.

▪ J. Song. M. Rahmani  (2017) M. Lee, Behavior Ontology to Model Collective Behavior of Emergency Medical Systems, ER2017/AHA2017, Valencia, Spain, Nov. 2017. LNCS 10651, pp.5-15.

▪ Y. Choe, S. Lee, M. Lee  (2017) dT-Calculus: A Process Algebra to Model Timed Movements of Processes, International Journal of Computers, Volume 2, 2017, pp. 63-62.

▪ Y. Choe, S. Lee, M. Lee  (2017) Transactions on Information Science and Applications, Process Algebra to Model Timed Movements of Processes in Distributed Real-Time Systems, Transactions on Information Science and Applications, Volume 14, 2017, pp. 89-101.

▪ J. Song, M. Ramahni, M. Lee  (2017) Modeling and Composition Method of Collective Behavior of Interactive Systems for Knowledge Engineering, Journal of KIISE, Vol. 44, No. 11, pp. 1178-1193, Nov. 2017. 

▪ M. Lee  (2016) A Reengineering Method from Procedural SW to Object-Oriented SW for SaaS in Cloud Computing, International Journal on Recent and Innovative Trends in Computing and Communication, Vol. 4, Issue 3,  pp. 136-154, ISSN 2321-8169. 2016.

▪ S. Lee, Y. Lee, M. Lee  (2016) A Dual Method to Model IoT Systems, International Journal of Mathematical Models and Methods in Applied Science, Volume 10, 2016, pp. 210-219.

▪ Y. Choe, M. Lee  (2016) A Process Algebra Construct Method for Reduction of States in Reachability Graph: Conjunctive and Complement Choices, Journal of KIISE, Vol. 43, No. 5, pp. 541-552, 2016. 5.

▪ Y. Choe, M. Lee (2016) A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes, Journal of KIISE, Vol. 43, No. 3, pp. 314-326, 2016. 3.

▪ J. On, Y. Choe, M. Lee (2014) A Meta-Modeling for Security to Detect Attach Behavior, Journal of KIISE, Vol. 41, No. 12, Dec 2014, pp. 1035-1049.

▪ J. H. Choi, J. On, S. Woo, G. Park, M. Lee  (2012) A Method for Personal Font Construction Using Template, Journal of KIISE: Practice and Reality, Vol. 29, No. 3, April 2012, pp. 336-340.

▪ S. Woo, J. On, M. Lee  (2011) Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavior Ontology, Journal of KCA, Vol. 11, No. 9, Sept 2011, pp. 63-75.

▪ J. On, J. Choi, M. Lee  (2009) Visual Representation of Temporal Properties in Formal Specification and Analysis Using a Spatial Process Algebra, Journal of KIPS, Vol. 11 D, June 2009, pp. 339-352.

▪ S. Woo, J. On, J. Choi, W. Choi, M. Lee  (2009) A Study on the Improvement of the Network Performance Measurement of Virtual Machine between Host OS and Guest OS for a Mobile Personalized Software Platform based on SaaS, Journal of KAII, Vol. 10, No. 2, April 2009, pp. 85-98.

▪ J. On, W. Choi, G. Cho, M. Lee  (2008) Design of Messenger Protocol, Implementation of Server and Analysis for Mobile Office Environment, Journal of KAII, Vol. 9, No. 2, April 2008, pp. 1-13.

▪ J. Choi, M. Lee (2007) A Calculus of Real-time Distribution, Mobility and Interaction for Tracing Mobile Agents with Transporting Objects, Journal of KAII, Vol. 8, No. 2, April 2007, pp. 31-43.

▪ J. Choi, M. Lee (2006) Formal Method for Specification and Verification of Behavioral Equivalence of Real-time Navigation and Transportation Systems Based on Abstraction, Journal of KCA, Vol. 6, No. 11, Nov 2006, pp. 202-216.

▪ S. Yoo, M. Lee, G. Cho  (2006) An Emergency Message Propagetion Method in Highway Traffic, Lecture Notes in Computer Science (LNCS), No. 4239, 2006.10, pp. 331-343.

▪ S. Yoo, M. Lee, G. Cho, A Relay Selection Method of Vehicle Safety Messages for Protecting Traffic Accidents, Journal of IEEK, Vol. 43, No. 9, Sept 2006, pp. 60-68.

▪ G. Cho, M. Lee, J. Choi, W. Cha (2005) A Multi-Media Middleware Architecture of Contents Repurposing for LBS Service in Next Generation, KISS Software Engineering Review, Vol. 18, No. 2, June 2005, pp. 55-64.

▪ J. Park, G. Cho, M. Lee (2003) An Abstraction Method for State Minimization based on Syntactic and Semantic Patterns in the Execution Space of Real-time Systems, Journal of KIISE: Software and Applications, Vol. 30, No. 2, Feb 2003, pp. 103-116.

▪ C. Lee. M. Lee (2002) An Analysis Methodology for Probabilistic Specification and Execution Prediction for Improvement of Reliability of Fault-Tolerant Real-Time Systems, Journal of KISS: Software and Applications, Vol. 29, No. 12, Dec 2002, pp. 926-939.

▪ G. Cho, J. H. Park, J. Y. Park. M. Lee (2002) State Minimization for Analysis of Real-time Systems Based on Abstraction of State Space, KIISE Software Engineering Review, Vol. 15, No. 2, June 2002, pp. 25-40.

▪ J. Park, J. Lee, M. Lee (2002) Abstraction Method for State Minimization, Journal of KIISE: Software and Applications, Vol. 29, No. 1, Feb 2002, pp. 450-432.

▪ J. Choi, M. Lee (2002) Determination of Persistence for Objects from C Program, Journal of KISS: Software and Applications, Vol. 29, No. 2, Feb. 2002.

▪ J. Park, C. Lee, G. Cho, M. Lee (2001) A CASE Tool for Round-Trip Engineering for Real-Time Systems: SAVE, KISS Software Engineering Review, Vol. 14, No. 3, Sept. 2001, pp. 84-98.

▪ J. Choi, S. Park, M. Lee (2001) Extraction of Classes and Hierarchy from Procedural Software, Journal of KISS: Software and Applications, Vol. 28, No. 9, Sept. 2001, pp. 612-628.

▪ J. Park, M. Lee (2001) A Method to Verify the Reachability of Real-Time Systems Using Abstract Timed Machines, Journal of KISS: Software and Applications, Vol. 28, No. 2, March 2001, pp. 224-238.

▪ J. Choi, M. Lee (2001) A Methodology for Determining Persistence of Objects from Procedural Software, KISS Software Engineering Review, Vol. 14, No. 1, March 2001, pp. 19-29.

▪ K. Nho, M. Lee (2000) Specification and Analysis of Time Properties for Real-Time Systems Based on Abstract Timed Machine, KISS Software Engineering Review, Vol. 13, No. 3, Sept. 2000, pp. 45-54.

▪ S. Park, J. Choi, M. Lee (2000) A methodology for Automatic Extraction of Classes and Inheritance from C Program, KISS Software Engineering Review, Vol. 13, No. 2, June 2000, pp. 6-18.

▪ K. Nho, J. Park, M. Lee (2000) A Formal Method for Round Trip Engineering Using Abstract Timed Machine, KISS Software Engineering Review, Vol. 13, No. 1, March 2000, pp. 32-49.

▪ J. Park, K. Nho, M. Lee (2000) A Study on Verification of Real-Time Systems Based on Reachability Graph for Abstract Timed Machine, KISS Software Engineering Review, Vol. 13, No. 1, March 2000, pp. 50-66.

▪ S. O. Park, K.J. Nho, Moon-Kun Lee (1999) Extraction of Multiple Object Candidate Groups for Selecting Optimal Objects, Journal of KISS (B), Vol. 26, No, 12, Dec 1999, pp. 1468-1481.

▪ S. O. Park, Moon-Kun Lee (1999) A Study on Extraction of Multiple Object Candidate Groups for Selecting Optimal Objects, KISS Software Engineering Review, Vol. 12, No. 1, March 1999, pp. 58-73.

▪ Moon-Kun Lee, C. S. Chung, M.S. Jeong (1998) A Reverse-Engineering Model Using Software Architecture, Journal of KISS (B), Vol. 25, No. 10, Nov 1998, pp. 1630-1647.

▪ Moon-Kun Lee (1997) A Software Re/reverse-Engineering Environment for Legacy Real-Time Systems, Journal of KISS (B), Vol. 24, No. 8, Aug. 1997, pp. 842-864.

▪ Moon-Kun Lee (1997) A Scalable and Modular Approach to Understanding Real-Time Systems, Journal of KIPS, Vol. 4, No. 12, Dec. 1997, pp. 3159-3174.

 

CONFERENCES (Full Papers):

 

▪ Alexander Völz, Danial Mohammadi Amlashi, Moonkun Lee: Semantic Matching Through Knowledge Graphs: A Smart City Case. CAiSE Workshops 2023: 92-104, Lecture Notes in Business Information Processing 482, Springer 2023, ISBN 978-3-031-34984-3

▪ IEEE Smart IoT 2021, Jeju, Aug 2021: S. Lee, J. Song. D, Karagiannis, M. Lee, Analysis Methof or Probabilistic Verification for Smart IoT Systems with Process Algebra

▪ D. Karagiannis, R. Buchmann, X. Boucher, S. Cavalieri, A. Florea, D. Kiritsis, M. Lee, OMiLAB: S Smart Innovation Environment for Digital Engineers, 21st IFIP Working Conference on Virtual Enterprise, PRO-VE 2020: Boosting Networks 4.0, Proceedings, Springer, pp. 273-282, Valencia, Spain, 23~25 Nov. 2020.

▪ Song J, Lee M (2019) Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. In: IFIP Working Conference on The Practice of Enterprise Modeling, LNBIP 369, pp 184–196. LIST, Luxembourg. Nov 2019.[SCOPUS]

▪ Song J, Lee M (2019) Application of Probabilistic Process Model for Smart Factory Systems. In: Proceedings of 12^th International Conference, KSEM, LNCS 11775, pp 25–36. Athens, Greece. Sept 2019. [SCOPUS]

▪ Lee S, Lee M (2019) SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT. In: IFIP Working Conference on PoEM/PrOse2019, CEUR-WS Vol. 2499, pp 13–25. LIST, Luxembourg. Nov 2019. 

▪ J. Song, M. Lee (2018) A Composition Model for Collective Behavior, PoEM 2018, Vienna, Austria, Oct. 2018, LNBIP 335, pp. 121-137, Springer, 2018. [SCOPUS]

▪ Y. Choe, M. Lee (2018) Process Model to Predict Nondeterministic Behavior of IoT Systems, CEUR-WS, Vol. 2238, Practicing Open Enterprise Modelling within OMiLAB (PrOse 2018), Vienna, Austria, October 31, 2018.

▪ S. Lee, Y. Choe, M. Lee (2018) A Service Design for ISO Certification of SW Development Process in ESA Application with ADONIS BPMN Tool, ICServ2018, Taichung, Taiwan, Nov. 2018.

▪ C. Muck, E. Miron, D. Karagiannis, M. Lee (2018) Supporting Service Design with Storyboards and Diagrammatic Models: The Scene2Model Tool, ICServ2018, Taichung, Taiwan, Nov. 2018. 

▪ M. Rahmani, J. Song, M. Lee (2017) PRISM: A Knowledge Engineering Tool to Model Collective Behavior of Real-Time IoT Systems, PoEM2017/PrOs2017, Lueven, Belgium, Nov. 2017.

▪ J. Song. M. Rahmani, M. Lee (2017) Behavior Ontology to Model Collective Behavior of Emergency Medical Systems, ER2017/AHA2017, Valencia, Spain, Nov. 2017. LNCS 10651, pp.5-15. [SCOPUS]

▪ Y. Choe, M. Lee (2017) A Modeling Method for Smart Mobile Service with IoT Environment, ICServ2017, Vienna, Austria, July2017.

▪ Wilfrid Utz, Moonkun Lee (2017) Industrial Business Process Management Using Adonis Towards a Modular Business Process Modelling Method for Zero-Defect-Manufacturing, The Proceedings of the 2017 International Conference on Industrial Engineering, Management Science and Application (ICIMSA), Seoul, Korea, 2017. DOI:10.1109/icimsa.2017.7985590   

▪ S. Lee. Y. Choe, M. Lee (2017) dT-Calculus: A Process Algebra to Model Timed Movements of Processes, 19th International Conference on Mathematical and Computational Methods in Science and Engineering, Berlin, Germany, March 2017.

▪  Y. Choe, H. Park, M. Lee (2016) A Tool for Specification and Verification of Movements in Distributed Mobile Real-Time Systems, KCSE 2017, 27~29th Jan 2016, Pyeongchang, Korea.

▪ S. Lee, Y. Choe, M. Lee (2016) A Dual Method to Model IoT Systems, INASE AMCME 2016, May 2016, Riga, Latvia.

▪ Y. Choe, S. Lee, M. Lee (2016) SAVE: An Environment for Visual Specification and Verification of IoT, EDOC2016/ModTools2016, Vienna, Austria, 5~6th Sept. 2016.

▪ M. Lee (2016) Composition Model for Cloud Services with Behavior Ontology, ICServ2016, Tokyo, Japan, 6~9th Sept. 2016.

▪ Y. Choe, M. Lee (2015) δ-Calculus: Process Algebra to Model Secure Movements of Distibuted Mobile Processes in Real-Time Business Application, 23rd European Conference on Information Systems, 2015.05. Muenster, Germany. [SCOPUS]

▪ W. Choi, Y. Choe, M. Lee (2015) A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra, 39th COMPSAC/MVDA, July 2015. Taiwan. [SCOPUS]

▪ Y. Choi, M. Lee, et. al.  (2015) A Tool for Visual Specification and Verification for Secure process Movements, eChallenge e-2015, 25~26 November, Vilius, Lithuania, The Best Paper. [SCOPUS]

▪ Y. Choe, M. Lee (2014) A Lattice Model to Verify Behavioral Equivalences, Proceedings of UKSim-AMSS 8th European Modelling Symposium, Oct 2014. [SCOPUS]

▪ J. Choi, M. Lee (2014) A Calculus for Transportation Systems, Proceedings of 38th Annual IEEE Computer Software and Applications Conference Workshops, July 2014.[SCOPUS]

▪ Y. Choe, W. Choi, M. Lee, A Process Algebra to Specify Mobile Real-Time Systems, Proceedings of 39th KIPS Fall Conference, Nov. 2014

▪ M. Lee, Y. Choe (2039) Modeling and Analysis of Equivalences in Behavior Ontology, Proceedings of 4th European Conference of Computer Science (ECSS2013), Paris, France, Oct 2013.

▪ J. On, Y. Choe, M. Lee (2013) An Abstraction Method of Behaviors for Process Algebra, Proceedings of IEEE 37th Annual Computer Software and Applications Conference Workshops, July 2013. [SCOPUS]

▪ S. Woo, J. On, M. Lee (2013) Behavior Ontology: A Framework to Detect Attack Patterns for Security, Proceedings of 7^thInternational Symposium on Security and Multimodality in Pervasive Environment (SMPE-2013), March 2013.

▪ J. On, S. Woo, M. Lee (2013) Behavior Ontology: A Framework to Detect Attack patterns for Security, Proceedings of 4^nd Korean Conference on Software Engineering (KCSE’13), Vol. 15, No. 1, Jan. 2013.

▪ J. On, S. Woo, M. Lee (2012) Onion: a Visual Formal Method for Workflow Design in Cloud Computing, Proceedings of MSV12, July 2012.

▪ J. On, S. Woo, M. Lee (2012) A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems, Proceedings of 36^th IEEE International Conference on Computer Software and Applications Workshops, July 2012, pp. 218-223.

▪ J. H. Choi, J. On, M. Lee (2012) Transformation of BPEL to Onion Language for Analaysis and Verification of BPEL in Cloud Computing, Proceedings of 37th KIPS Spring Conference, April 2012.

▪ S. Woo, J. On, M. Lee (2011) An Abstract Method for Mobility and Interaction in Process Algebra Using Behavior Ontology, Proceedings of 35^th IEEE Annual Computer Software and Applications Conference, 2011, pp. 128-133.

▪ J. H. Choi, J. On, S. Woo, G. Park, M. Lee (2011) Personal Font Generation Method Using Template, Proceedings of 38th KISS Fall Conference, Nov 2011, pp. 226-229.

▪ J. H. Choi, J. On, S. Woo, M. Lee (2011) The Transformation of BPEL into Onion Visual Language for Model-Checking of BPEL, Proceedings of 2011 Korean Computer Congress, Vol. 38, No. 1, June 2011, pp.189-192.

▪ J. On, S. Woo, M. Lee (2011) A Visual Specification Language for Process Algebra, Proceedings of 2011 Korean Computer Congress, Vol. 38, No. 1, June 2011, pp.193-196.

▪ J. On, S. Woo, M. Lee (2010) Formal Method for Semantic Analysis of Behavior with Mobile Process Algebra, Proceedings of 2010 Korean Computer Congress, Vol. 37, No. 1, June 2010, pp.16-21.

▪ J. On, S. Woo, M. Lee (2010) A Study of Feasibility for Realization of Timed CARDMI in Real-Time Java Virtual Machine, Proceedings of 2010 Korean Computer Congress, Vol. 37, No. 1, June 2010, pp.10-15.

▪ J. On, S. Woo, J. Choi, M. Lee (2010) A Study on Scheduler Based on CARDMI Process Algebra for Automated Control of Emergency Medical System, Proceedings of 2008 Korean Computer Congress, Vol. 35, No. 1, June 2010, pp. 65-70.

▪ J. On, J. Choi, M. Lee (2008) A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space, Proceedings of Foundation of Computer Science, July 2008, pp. 56-62.

▪ S. Woo, G. Cho, M. Lee (2008) Development of a Schedular for Hard Reak-time Emergency Medical Systems over Networked Space in a Process Algebra, Proceedings of 2008 International Conference on Foundation of Computer Science, 2008.

▪ J. On, J. Choi, M. Lee (2008) A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space, Proceedings of 2008 International Conference on Foundation of Computer Science, July 2008, pp. 56-62.

▪ J. Choi, J. On, M. Lee (2008) A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-time Systems, Proceedings of 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008, September 2008, pp. 8-13. [SCOPUS]

▪ J. On, S. Woo, W. Kim, M. Lee (2007) A Study on Network Performance of VM between Host OS and Guest OS for a Movable Personalized SW Platform based on SaaS, Proceedings of 2007 KICIS, Nov 2007.

▪ J. On, S. Woo, J. Choi, M. Lee (2007) A Formal Method for Specification and Analysis of Temporal Properties in a Spatial Process Algebra, Proceedings of 2007 KICIS, Nov 2007.

▪ J. On, S. Woo, W. Kim, W. Choi, M. Lee (2007) Performance Measurement Method for Host OS of Virtual Machine in an Environment for Simultaneous Usage, Proceedings of 34th KISS Fall Conference, Oct 2007, pp. 269-273.

▪ S. Kim, M. Lee (2007) A Study on Equivalence between Source SW and Target SW in Reengineering, Proceedings of 2007 Korean Computer Congress, Vol. 34, No. 1, June 2007, pp. 47-52.

▪ J. On, W. Choi, M. Lee (2007) Messenger Protocol Design and Implementation for Mobile Office Environment, , Proceedings of 27th KIPS Fall Conference, Vol. 14, No. 1, May 2007, pp. 1520-1523.

▪ S. Park, D. Ahn, Y. Lee, M. Lee (2007) A Study on Antecedent Decision Rules for Natural Language Requirements Document in Korean, Proceedings of 2007 International Symposium on Information Technology Convergence, 2007.11. [SCOPUS]

▪ S. Park, D. Ahn, Y. Lee, M. Lee (2007) Antecedent Decision Rules for Anaphora Resolution of Natural Language Requirements Document in Korean, Proceedings of 12th International Conference on Human-Computer Interaction, 2007.

▪ C. Woo, M. Lee, G. Cho (2005) Design of Reliable MAC Protocol for Directional Broadcasting, Proceedings of MILCOM 2005, 2005.

▪ J. Park, M. Lee (2002) Abstract Methods to Reduce System States, To be appeared in Proceedings of 4^nd Korean Conference on Software Engineering (KCSE’02), Vol. 4, No. 1, March. 2002.

▪ C. Lee, M. Lee (2002) Probabilistic Abstract Timed machines, To be appeared in Proceedings of 4^nd Korean Conference on Software Engineering (KCSE’02), Vol. 4, No. 1, March. 2002.

▪ J. Choi, M. Lee (2001) A Method to Determine Persistence of Objects from Procedural Software, Proceedings of 3^ndKorean Conference on Software Engineering (KCSE’01), Vol. 3, No. 1, Feb. 2001, pp. 32-42.

▪ M. Lee, S. Park (2000) A Methodology to Extract Objects from Procedural Software, Proceeding of CompSAC’00, October 2000, pp. 557-566.

▪ J. Park, K. Nho, M. Lee (2000) A Formal Method for Round-Trip Engineering: Abstract Time Machines, Proceedings of 2^nd Korean Conference on Software Engineering (KCSE’00), Vol. 2, No. 1, Feb. 2000, pp. 61-70.

▪ S. Park, J. Choi, M. Lee (1999) A Study on Extraction of Classes and Hierarchy for Reengineering Procedural Software to Object-Oriented Software, Proceedings of 2^nd Korean Conference on Software Engineering (KCSE’00), Vol. 2, No. 1, Feb. 1999, pp. 61-70.

▪ M. Lee, M. Jeong (1999) Ada Real-Time State Machine, Proceedings of 1^st Korean Conference on Software Engineering (KCSE’99), Vol. 1, No. 1, March 1999, pp. 57-69.

▪ S. Park, M. Lee (1999) A Method to Extract Optimal Objects, Proceedings of 1^st Korean Conference on Software Engineering (KCSE’99), Vol. 1, No. 1, March 1999, pp. 90-100.

▪ C. Chung, M. Lee, S. Jeong (1998) A Scalable and Modular Approach to Verification of ATM Switching System Using Reverse Specification, Proceedings of 98 Asia Pacific Software Engineering Conference (APSEC98), Dec. 1998, pp. 278-287.

▪ Moon Lee, Noah Prywes, Insup Lee (1995) Automation of Analysis, Simulation and Understanding of Real-Time Ada Software, Proceedings of the First IEEE International Conference of Engineering of Complex Computer System, pp.55-58, 1995.01

▪ Noah Prywes, G. Ingargiola, I. Lee, M. Lee (1994) Transformation Concurrency Related Operating Calls into A Concurrent Programming Language, Proceedings of the Third International Symposium on High-Performance Distributed Computing, San Francisco, CA, Aug. 1994.

▪ Noah Prywes, Insup Lee, Moon Lee (1994) Reengineering Concurrent Software into Ada, Proceedings of the 4th Systems Reengineering Technology Workshop, Jan. 1994, pp.157-177.