Moonkun Lee

According to our database, Moonkun Lee authored at least 29 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.

Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee

Sensors, February, 2024

2023

Semantic Matching Through Knowledge Graphs: A Smart City Case.

Alexander Völz, Danial Mohammadi Amlashi, Moonkun Lee

Proceedings of the Advanced Information Systems Engineering Workshops, 2023

2022

Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS.

Junsup Song, Dimitris Karagiannis, Moonkun Lee

Sensors, 2022

2021

Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.

Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee

Proceedings of the IEEE International Conference on Smart Internet of Things, 2021

2020

OMiLAB: A Smart Innovation Environment for Digital Engineers.

Dimitris Karagiannis, Robert Andrei Buchmann, Xavier Boucher, Sergio Cavalieri, Adrian Florea, Dimitris Kiritsis, Moonkun Lee

Proceedings of the Boosting Collaborative Networks 4.0, 2020

2019

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem.

Dominik Bork, Robert Andrei Buchmann, Dimitris Karagiannis, Moonkun Lee, Elena-Teodora Miron

Commun. Assoc. Inf. Syst., 2019

Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx.

Dimitris Karagiannis, Moonkun Lee, Robert Andrei Buchmann

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Application of Probabilistic Process Model for Smart Factory Systems.

Junsup Song, Yeongbok Choe, Moonkun Lee

Proceedings of the Knowledge Science, Engineering and Management, 2019

Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability.

Junsup Song, Moonkun Lee

Proceedings of the Practice of Enterprise Modeling, 2019

SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems.

Sunghyun Lee, Moonkun Lee

Proceedings of the 3rd International Workshop on Practicing Open Enterprise Modeling Within OMiLAB (PrOse 2019) co-located with 12th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2019), 2019

2018

Internet of Things: Technology, Applications and Standardardization.

Jaydip Sen, Moonkun Lee, Sunghyeon Lee, Yeongbok Choe, Menachem Domb, Arpan Pal, Hemant Kumar Rath, Samar Shailendra, Abhijan Bhattacharyya, Albena Mihovska, Mahasweta Sarkar, Hyun Jung Lee, Myungho Kim, Alexandru Averian

CoRR, 2018

A Composition Method to Model Collective Behavior.

Junsup Song, Moonkun Lee

Proceedings of the Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31, 2018

Process Model to Predict Nondeterministic Behavior of IoT Systems.

Yeongbok Choe, Moonkun Lee

Proceedings of the 2nd International Workshop on Practicing Open Enterprise Modelling within OMiLAB (PrOse) co-located with 11th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2018), 2018

2017

PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems.

Maryam Rahmani, Junsup Song, Moonkun Lee

Proceedings of the 1st International Workshop on Practicing Open Enterprise Modeling within OMiLAB (PrOse 2017) co-located with 10th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2017), 2017

Behavior Ontology to Model Collective Behavior of Emergency Medical Systems.

Junsup Song, Maryam Rahmani, Moonkun Lee

Proceedings of the Advances in Conceptual Modeling, 2017

2016

SAVE: An Environment for Visual Specification and Verification of IoT.

Yeongbok Choe, Sunghyeon Lee, Moonkun Lee

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Algebraic Method to Model Secure IoT.

Yeongbok Choe, Moonkun Lee

Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015

δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications.

Yeongbok Choe, Moonkun Lee

Proceedings of the 23rd European Conference on Information Systems, 2015

A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra.

Woorim Choi, Yeongbok Choe, Moonkun Lee

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

A Lattice Model to Verify Behavioral Equivalences.

Yeongbok Choe, Moonkun Lee

Proceedings of the 2014 European Modelling Symposium, Pisa, Italy, October 21-23, 2014, 2014

A Calculus for Transportation Systems.

Moonkun Lee, Jungrhan Choi

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

An Abstraction Method of Behaviors for Process Algebra.

Jinho On, Yeongbok Choe, Moonkun Lee

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Behavior Ontology: A Framework to Detect Attack Patterns for Security.

Sujeong Woo, Jinho On, Moonkun Lee

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

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

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology.

Sujeong Woo, Jinho On, Moonkun Lee

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2008

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems.

Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi

Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008

Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra.

Sujeong U, Gihwan Cho, Moonkun Lee

Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008

A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space.

Jinho On, Jungrhan Choi, Moonkun Lee

Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008

2006

An Emergency Message Propagation Method in Highway Traffic.

Sukdea Yu, Moonkun Lee, Gihwan Cho

Proceedings of the Ubiquitous Computing Systems, Third International Symposium, 2006