Moonkun Lee

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