Moonkun Lee

Modeling and Analysis of Equivalences in Behavior Ontology

Moonkun Lee, Youngbok Choe, 2013 .

Onion : a Visual Formal Method for Workflow Design in Cloud Computing

Moonkun Lee, J. On, Sujeong Woo, 2012 .

An Emergency Message Propagation Method in Highway Traffic

Gihwan Cho, Moonkun Lee, Sukdea Yu, 2006, UCS.

Internet of Things: Technology, Applications and Standardardization pdf

Abhijan Bhattacharyya, Hemant Kumar Rath, Arpan Pal, 2018, ArXiv.

A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems

Moonkun Lee, Sujeong Woo, Jinho On, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.

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

Dominik Bork, Dimitris Karagiannis, Moonkun Lee, 2019, Commun. Assoc. Inf. Syst..

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

D. Karagiannis, Moonkun Lee, Junsup Song, 2022, Sensors.

A Calculus for Transportation Systems

Moonkun Lee, Jungrhan Choi, Moonkun Lee, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

OMiLAB: A Smart Innovation Environment for Digital Engineers

Xavier Boucher, Sergio Cavalieri, Dimitris Karagiannis, 2020, PRO-VE.

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

Junsup Song, Moonkun Lee, Maryam Rahmani, 2017, PrOse@PoEM.

Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavioral Ontology

Sujeong Woo, Jinho On, Moon-Kun Lee, 2011 .