Moonkun Lee

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Transportation Systems

Knowledge Engineers

Top Venues

COMPSAC Workshops

Publications

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) (2024)
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 24 (12) (2024)
Alexander Völz, Danial M. Amlashi, Moonkun Lee
Semantic Matching Through Knowledge Graphs: A Smart City Case. CAiSE Workshops (2023)
Junsup Song, Dimitris Karagiannis, Moonkun Lee
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. Sensors 22 (13) (2022)
Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee
Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. SmartIoT (2021)
Dimitris Karagiannis, Robert Andrei Buchmann, Xavier Boucher, Sergio Cavalieri, Adrian Florea, Dimitris Kiritsis, Moonkun Lee
OMiLAB: A Smart Innovation Environment for Digital Engineers. PRO-VE (2020)
Dominik Bork, Robert Andrei Buchmann, Dimitris Karagiannis, Moonkun Lee, Elena-Teodora Miron
An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem. Commun. Assoc. Inf. Syst. 44 (2019)
Junsup Song, Moonkun Lee
Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. PoEM (2019)
Junsup Song, Yeongbok Choe, Moonkun Lee
Application of Probabilistic Process Model for Smart Factory Systems. KSEM (2) (2019)
Dimitris Karagiannis, Moonkun Lee, Robert Andrei Buchmann
Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx. RE (2019)
Sunghyun Lee, Moonkun Lee
SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems. PrOse@PoEM (2019)
Yeongbok Choe, Moonkun Lee
Process Model to Predict Nondeterministic Behavior of IoT Systems. PrOse@PoEM (2018)
Junsup Song, Moonkun Lee
A Composition Method to Model Collective Behavior. PoEM (2018)
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
Internet of Things: Technology, Applications and Standardardization. CoRR (2018)
Maryam Rahmani, Junsup Song, Moonkun Lee
PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems. PrOse@PoEM (2017)
Junsup Song, Maryam Rahmani, Moonkun Lee
Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. ER Workshops (2017)
Yeongbok Choe, Sunghyeon Lee, Moonkun Lee
SAVE: An Environment for Visual Specification and Verification of IoT. EDOC Workshops (2016)
Woorim Choi, Yeongbok Choe, Moonkun Lee
A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra. COMPSAC Workshops (2015)
Yeongbok Choe, Moonkun Lee
δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications. ECIS (2015)
Moonkun Lee, Jungrhan Choi
A Calculus for Transportation Systems. COMPSAC Workshops (2014)
Yeongbok Choe, Moonkun Lee
A Lattice Model to Verify Behavioral Equivalences. EMS (2014)
Jinho On, Yeongbok Choe, Moonkun Lee
An Abstraction Method of Behaviors for Process Algebra. COMPSAC Workshops (2013)
Sujeong Woo, Jinho On, Moonkun Lee
Behavior Ontology: A Framework to Detect Attack Patterns for Security. AINA Workshops (2013)
Jinho On, Sujeong Woo, Moonkun Lee
A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. COMPSAC Workshops (2012)
Sujeong Woo, Jinho On, Moonkun Lee
An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. COMPSAC (2011)
Sujeong U, Gihwan Cho, Moonkun Lee
Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. FCS (2008)
Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) (2008)
Jinho On, Jungrhan Choi, Moonkun Lee
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS (2008)
Sukdea Yu, Moonkun Lee, Gihwan Cho
An Emergency Message Propagation Method in Highway Traffic. UCS (2006)