Yeongbok Choe

According to our database, Yeongbok Choe authored at least 9 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Application of Probabilistic Process Model for Smart Factory Systems.

Junsup Song, Yeongbok Choe, Moonkun Lee

Proceedings of the Knowledge Science, Engineering and Management, 2019

2018

Internet of Things: Technology, Applications and Standardardization.

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

CoRR, 2018

Process Model to Predict Nondeterministic Behavior of IoT Systems.

Yeongbok Choe, Moonkun Lee

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

2016

SAVE: An Environment for Visual Specification and Verification of IoT.

Yeongbok Choe, Sunghyeon Lee, Moonkun Lee

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Algebraic Method to Model Secure IoT.

Yeongbok Choe, Moonkun Lee

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.

Yeongbok Choe, Moonkun Lee

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.

Woorim Choi, Yeongbok Choe, Moonkun Lee

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

A Lattice Model to Verify Behavioral Equivalences.

Yeongbok Choe, Moonkun Lee

Proceedings of the 2014 European Modelling Symposium, Pisa, Italy, October 21-23, 2014, 2014

2013

An Abstraction Method of Behaviors for Process Algebra.

Jinho On, Yeongbok Choe, Moonkun Lee

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013