default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoonkun Lee
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]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)- [j3]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): 3881 (2024) - 2023
- [c24]Alexander Völz, Danial Mohammadi Amlashi, Moonkun Lee:
Semantic Matching Through Knowledge Graphs: A Smart City Case. CAiSE Workshops 2023: 92-104 - 2022
- [j2]Junsup Song, Dimitris Karagiannis, Moonkun Lee:
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. Sensors 22(13): 5057 (2022) - [e1]Dimitris Karagiannis, Moonkun Lee, Knut Hinkelmann, Wilfrid Utz:
Domain-Specific Conceptual Modeling - Concepts, Methods and ADOxx Tools. Springer 2022, ISBN 978-3-030-93546-7 [contents] - 2021
- [c23]Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee:
Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. SmartIoT 2021: 221-228 - 2020
- [c22]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: 273-282
2010 – 2019
- 2019
- [j1]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: 32 (2019) - [c21]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: 13-25 - [c20]Junsup Song, Moonkun Lee:
Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. PoEM 2019: 184-196 - [c19]Junsup Song, Yeongbok Choe, Moonkun Lee:
Application of Probabilistic Process Model for Smart Factory Systems. KSEM (2) 2019: 25-36 - [c18]Dimitris Karagiannis, Moonkun Lee, Robert Andrei Buchmann:
Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx. RE 2019: 498-499 - 2018
- [c17]Yeongbok Choe, Moonkun Lee:
Process Model to Predict Nondeterministic Behavior of IoT Systems. PrOse@PoEM 2018: 1-12 - [c16]Junsup Song, Moonkun Lee:
A Composition Method to Model Collective Behavior. PoEM 2018: 121-137 - [i1]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 abs/1808.09390 (2018) - 2017
- [c15]Junsup Song, Maryam Rahmani, Moonkun Lee:
Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. ER Workshops 2017: 5-15 - [c14]Maryam Rahmani, Junsup Song, Moonkun Lee:
PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems. PrOse@PoEM 2017 - 2016
- [c13]Yeongbok Choe, Sunghyeon Lee, Moonkun Lee:
SAVE: An Environment for Visual Specification and Verification of IoT. EDOC Workshops 2016: 1-8 - [p1]Yeongbok Choe, Moonkun Lee:
Algebraic Method to Model Secure IoT. Domain-Specific Conceptual Modeling 2016: 335-355 - 2015
- [c12]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: 381-386 - [c11]Yeongbok Choe, Moonkun Lee:
δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications. ECIS 2015 - 2014
- [c10]Moonkun Lee, Jungrhan Choi:
A Calculus for Transportation Systems. COMPSAC Workshops 2014: 722-727 - [c9]Yeongbok Choe, Moonkun Lee:
A Lattice Model to Verify Behavioral Equivalences. EMS 2014: 378-386 - 2013
- [c8]Sujeong Woo, Jinho On, Moonkun Lee:
Behavior Ontology: A Framework to Detect Attack Patterns for Security. AINA Workshops 2013: 738-743 - [c7]Jinho On, Yeongbok Choe, Moonkun Lee:
An Abstraction Method of Behaviors for Process Algebra. COMPSAC Workshops 2013: 133-138 - 2012
- [c6]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: 218-223 - 2011
- [c5]Sujeong Woo, Jinho On, Moonkun Lee:
An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. COMPSAC 2011: 128-133
2000 – 2009
- 2008
- [c4]Jinho On, Jungrhan Choi, Moonkun Lee:
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS 2008: 56-62 - [c3]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: 63-69 - [c2]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: 8-13 - 2006
- [c1]Sukdea Yu, Moonkun Lee, Gihwan Cho:
An Emergency Message Propagation Method in Highway Traffic. UCS 2006: 331-343
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
