Moonkun Lee

Orcid: 0000-0003-2541-3066

According to our database1, Moonkun Lee authored at least 30 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence.
Sensors, June, 2024

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

2023
Semantic Matching Through Knowledge Graphs: A Smart City Case.
Proceedings of the Advanced Information Systems Engineering Workshops, 2023

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

2021
Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.
Proceedings of the IEEE International Conference on Smart Internet of Things, 2021

2020
OMiLAB: A Smart Innovation Environment for Digital Engineers.
Proceedings of the Boosting Collaborative Networks 4.0, 2020

2019
An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem.
Commun. Assoc. Inf. Syst., 2019

Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Application of Probabilistic Process Model for Smart Factory Systems.
Proceedings of the Knowledge Science, Engineering and Management, 2019

Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability.
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.
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.
CoRR, 2018

A Composition Method to Model Collective Behavior.
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.
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.
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.
Proceedings of the Advances in Conceptual Modeling, 2017

2016
SAVE: An Environment for Visual Specification and Verification of IoT.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Algebraic Method to Model Secure IoT.
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.
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.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
A Lattice Model to Verify Behavioral Equivalences.
Proceedings of the 2014 European Modelling Symposium, Pisa, Italy, October 21-23, 2014, 2014

A Calculus for Transportation Systems.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
An Abstraction Method of Behaviors for Process Algebra.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Behavior Ontology: A Framework to Detect Attack Patterns for Security.
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.
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.
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.
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.
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.
Proceedings of the 2008 International Conference on Foundations of Computer Science, 2008

2006
An Emergency Message Propagation Method in Highway Traffic.
Proceedings of the Ubiquitous Computing Systems, Third International Symposium, 2006


  Loading...