Yeongbok Choe

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 4

Top Topics

Process Algebra

Business Process

Workflow Systems

Top Venues

COMPSAC Workshops

Publications

Junsup Song, Yeongbok Choe, Moonkun Lee
Application of Probabilistic Process Model for Smart Factory Systems. KSEM (2) (2019)
Yeongbok Choe, Moonkun Lee
Process Model to Predict Nondeterministic Behavior of IoT Systems. PrOse@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)
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)
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)