Curriculum Vitae (CV)
Moonkun Lee
PERSONAL INFORMATION:
Profession: Professor at Chonbuk
National University
Ph.D. in Computer and Information Science
Work Address: Division
of Computer Science and Engineering,
School of Engineering,
Chonbuk National University,
Deokjin Ku, Deokjin Dong 1 Ka 664-14,
Jeonju, Jeonbuk, 561-756, South Korea
Phone: +82-63-270-3404
Fax: +82-63-270-2394
Mobile: +10-8012-0623
Email: moonkun@
jbnu.ac.kr
Homepage: http://moon.jbnu.ac.kr
EDUCATION:
THE UNIVERSITY OF PENNSYLVANIA, Philadelphia,
PA, USA, Visiting Scholar in Computer and Information Science,
researched with Professor Insup Lee, Jan 2003 ~ Dec 2003.
THE UNIVERSITY OF PENNSYLVANIA, Philadelphia,
PA, USA, PhD of Science and Engineering in Computer and
Information Science, An Environment for Understanding of Real-Time
Software, supervised by Professor Noah Prywes, August 1995.
THE UNIVERSITY OF PENNSYLVANIA, Philadelphia,
PA, USA, Master of Science and Engineering in Computer and
Information Science, Analysis of Parallelism Using MODEL Equational
Language, supervised by Professor Noah Prywes, December 1992.
THE PENNSYLVANIA STATE UNIVERSITY, State College,
PA, USA, Bachelor of Science in Computer Science, May 1989.
EMPLOYMENT:
Chonbuk National University, College of
Engineering, Division of Computer Engineering, Jeonju, South Korea, Professor,
from March 2010 to Present.
Chonbuk National University, College of
Engineering, Division of Electronics and Information Engineering, Jeonju, South
Korea, Professor, from April 2007 to Feb 2010.
Chonbuk National University, College of
Engineering, Division of Electronics and Information Engineering, Jeonju, South
Korea, Associate Professor, from April 2002 to March 2007.
Chonbuk National University, College of
Engineering, Division of Electronics and Information Engineering, Jeonju, South
Korea, Assistance Professor, from Dec 1999 to March 2002.
Chonbuk National University, College of
Natural Science, Department of Computer Science, Jeonju, South Korea,
Assistance Professor, from Apr 1998 to Nov 1999.
Chonbuk National University, College of
Natural Science, Department of Computer Science, Chonju, South Korea, Full
Lecturer, from Apr 1996 to March 1998.
Computer Command and Control Company (CCCC), Philadelphia,
PA, USA, Computer Scientist, from May 1992 to March 1996. Specialized in
Software (Re/Reverse) Engineering, Visualization, Operating Systems, CDIF, Ada,
etc.
RESEARCH INTERESTS
Formal Methods:
ATM State Machine: Minimization, Fault-Tolerance, time
and probability
CARDMI Process Algebra: Geo-temporal Space, Distribution,
Movement, Abstraction
ONION Graphical Language: CARDMI + Interaction, Patterns
d-Calculus: SAVE/D
GTS Logic: SAVE/GTS
N:2-lattice: SAVE/BO
Ontology:
Behavior Ontology (BO): Set
and Algebra theory
Behavior Engineering and Domain Construction
Meta-Engineering
SAVE/BO
Real-time Systems:
Formal Methods: ATM, CARDMI, ONION
Operating Systems: Scheduling
Distributed Mobile Systems
Languages:
Specification Languages: ATM, CARDMI, ONION
Equational/Functional Languages : MODEL
Parallel Compiler: Analysis and Optimization
Graphical Languages: ATM, CARDMI, ONION, d-Calculus
Algebraic Language: d-Calculus
Logic Language: GTS Logic
Visualization: SAVE/ADOxx
Operating Systems:
Re/Reverse Engineering
Documentations: Book
CASE:
SRE: SW Re/Reverse
Engineering Environment
SAVE:
Specification, Analysis, Verification and Evaluation Environment
ADOxx: SAVE/D/ADOxx,
SAVE/GTS/ADOxx, SAVE/BO/ADOxx; SRE/ADOxx
RESEARCH/WORK EXPERIENCE
Research Experience: From April 1996 to present, The
Chonbuk National Unviersity.
▪ Development of a Visual Process Algebra and its Tools for Engineering Distributed Mobile Real-time Software, from July 2015 to June 2018, Supported by Supported by National Science Foundation, Korea.
▪ Research on Verification Methods for Reliability of Aerospace SW, from July 2014 to June 2019, Supported by Space Core Technology Development Program through the NRF (National Research Foundation of Korea) funded by the Ministry of Science, ICT and Future Planning, Korea.
▪ Research on Tools for Highly Assured SW
Development and High-Level Education for SW Engineering, from Sept 2013 to Dec
2016, Supported by the ITRC (Information Technology Research Center),
supervised by the NIPA (National IT Industry Promotion Agency)National Science
Foundation, Korea.
▪ Development of an Architecture for Intelligent
Meta SaaS in Open Cloud Computing, from Sept 2010 to Aug 2015, Supported by
National Science Foundation, Korea.
▪ Development of Calculus for Abstract Real-Time
Systems for Distribution, Mobility and Interaction on Geo-temporal Space, from
Aug 2007 to July 2010, Supported by National Research Foundation, Korea.
▪ Development of a Customized Environment for Mobile
SW Platform Based on Open SW, from Jan 2010 to June 2010, Supported by ETRI,
Korea.
▪ Development of Intelligent Mobile Office
Environment Based on RFID, from June 2006 to Nov 2006, Supported by ETRI,
Korea.
▪ Development of an Integrated Environment for
Mission-Critical Systems Based on Software Round Trip Engineering, from Sept
1999 to August 2002, Supported by KOSEF, Korea.
▪ Development of an Environment for Internal
Representation and Analysis of Programs, from Feb 1997 to Nov 2000, Supported
by ETRI, Korea.
▪ Development of a Methodology for an
Object-oriented Visual Interactive Environment for Software/System Re/Reverse
Engineering (SRE) (OVIES), from March 1997 to Feb 1999, Supported by KOSEF,
Korea.
▪ Development of a Methodology for Verification of
Real-Time Systems Using Reverse Specification, July 1998 to June 1999,
Supported by IITA, Korea.
▪ Development of a Methodology for Functional
Verification of ATM Switching Systems Using Reverse Specification, from March
1997 to Dec 1997, Supported by ETRI, Korea.
Research Experience: Department
of CIS, The University of Pennsylvania.
▪ Developing of a Methodology of Parallel
Computation Using MODEL Equational Language, from Jan 1992 to Dec 1992.
▪ Development of an Environment for Understanding of
Real-Time Systems: SRE, from Jan 1993 May 1995.
Work Experience: Computer
Scientiest, Computer Command Control Company, Philadelphia, USA.
▪ Software Reverse-Engineering Environment (SRE):
Development and implementation of methodologies for re/reverse engineering of
legacy software in CMS-2 and Fortran to Ada: transformation, executive service
routine (ESR) translation, restructuring, architecture discovery, state
machine, and simulation.
▪ System Engineering Automation (SEA) for
Distributed Systems: Development and implementation of methodologies for design
optimization and trade off analysis of real-time system for the Naval Surface
Warfare Center: Design Structure and Allocation Optimization (DesStAtiOn).
▪ Software Specification Assistant(SSA): Development
of an integrated set of tools and information on software engineering and
application systems which guide, instruct and inform novice to expert staff in
specifying, updating and evaluating DOD-STD-2167A specifications.
ACTIVITY:
A Member of IEEE
A Member of ACM
A Member of KIISE
A Member of KIPS
A Member of KCA
A Member of KCSE
The 33rd
COMSAC2009 PC
The 2nd IEEE
MVDA2013 PC
The 3nd IEEE
MVDA2014 PC
The 4nd IEEE
MVDA2015 PC
The
33rd COMSAC2009 PC (Program Committee)
The
2nd IEEE MVDA2013 PC
The
38th COMSAC2014 PC
The
1st NEMO2014 Lecturer
The
3nd IEEE COMSAC/MVDA2014 PC
The
4th IEEE COMSAC/MVDA2015 PC
The
2nd NEMO2015 Lecturer
The
5th IEEE COMSAC/MVDA2016 PC
The
3rd NEMO2016 Lecturer
The
4th ICServ2016 PC
The
5th ICServ2017 PC
The
36th ER2017-Conceptual Modeling OC (Organizing Committee) Co-Chair
The
6th IEEE COMSAC/MVDA2017 PC
The
4th NEMO2017 Lecturer
The PoEM2017/PrOse2017 PC Member
The 27th ER2018-Conceptual Modeling OC (Organizing Committee) Co-Chair
PUBLICATIONS (Major):
Books:
▪ M. Lee, Forma Methods, Chobnuk National Univeristy Press, ISBN 979-11-87892-50-2, 2017.
▪ M. Lee, Process Algebra, Eohwa
Publications, ISBN 978-89-92862-39-4, 2015.
▪ M. Lee, Behavior Ontology, Eohwa
Publications, ISBN 978-89-92862-31-8, 2013.
Chapters:
▪ Y.
Choe, M. Lee, Algebraic Method to Model Secure IoT, Domain-Specific Conceptual
Modeling, Eds., D. Karagiannis, H.C. Mayr, J. Mylopoulos, Springer, ISBN
978-3-319-39417-6, 2016, PP. 335-355
Journals (Full Papers):
Domestic
▪ J. Song, M. Ramahni, M. Lee, Journal of KIISE, Modeling and Composition Method of Collective Behavior of Interactive Systems for Knowledge Engineering, Vol. 44, No. 11, pp. 1178-1193, Nov. 2017.
▪ Y. Choe, M. Lee, A Process Algebra Construct Method for Reduction of States in Reachability Graph: Conjunctive and Complement Choices, Journal of KIISE, Vol. 43, No. 5, pp. 541-552, 2016. 5.
▪ Y. Choe, M. Lee, A
Process Algebra for Modeling Secure Movements of Distributed Mobile Processes,
Journal of KIISE, Vol. 43, No. 3, pp. 314-326, 2016. 3.
▪ J. On, Y. Choe, M. Lee, A Meta-Modeling for
Security to Detect Attach Behavior, Journal of KIISE, Vol. 41, No.
12, Dec 2014, pp. 1035-1049. ▪ J. H. Choi, J. On, S. Woo, G. Park, M. Lee, A
Method for Personal Font Construction Using Template, Journal of KIISE:
Practice and Reality, Vol. 29, No. 3, April 2012, pp. 336-340. ▪ S. Woo, J. On, M. Lee, Abstraction Method for Analysis
of Mobility and Interaction in Process Algebra Using Behavior Ontology, Journal
of KCA, Vol. 11, No. 9, Sept 2011, pp. 63-75. ▪ J. On, J. Choi, M. Lee, Visual Representation of
Temporal Properties in Formal Specification and Analysis Using a Spatial
Process Algebra, Journal of KIPS, Vol. 11 D, June 2009, pp.
339-352. ▪ S. Woo, J. On, J. Choi, W. Choi, M. Lee, A Study on the
Improvement of the Network Performance Measurement of Virtual Machine between
Host OS and Guest OS for a Mobile Personalized Software Platform based on SaaS, Journal
of KAII, Vol. 10, No. 2, April 2009, pp. 85-98. ▪ J. On, W. Choi, G. Cho, M. Lee, Design of
Messenger Protocol, Implementation of Server and Analysis for Mobile Office
Environment, Journal of KAII, Vol. 9, No. 2, April 2008, pp.
1-13. ▪ J. Choi, M. Lee, A Calculus of Real-time Distribution,
Mobility and Interaction for Tracing Mobile Agents with Transporting Objects, Journal
of KAII, Vol. 8, No. 2, April 2007, pp. 31-43. ▪ J. Choi, M. Lee, Formal Method for Specification and
Verification of Behavioral Equivalence of Real-time Navigation and
Transportation Systems Based on Abstraction, Journal of KCA, Vol. 6,
No. 11, Nov 2006, pp. 202-216. ▪ S. Yoo, M. Lee, G. Cho, A Relay Selection Method of
Vehicle Safety Messages for Protecting Traffic Accidents, Journal of IEEK, Vol.
43, No. 9, Sept 2006, pp. 60-68. ▪ G. Cho, M. Lee, J. Choi, W. Cha, A Multi-Media
Middleware Architecture of Contents Repurposing for LBS Service in Next
Generation, KISS Software Engineering Review, Vol. 18, No. 2, June 2005,
pp. 55-64. ▪ J. Park, G. Cho, M. Lee, An Abstraction Method for
State Minimization based on Syntactic and Semantic Patterns in the Execution
Space of Real-time Systems, Journal of KIISE: Software and
Applications, Vol. 30, No. 2, Feb 2003, pp. 103-116. ▪ C. Lee. M. Lee, An Analysis Methodology for
Probabilistic Specification and Execution Prediction for Improvement of
Reliability of Fault-Tolerant Real-Time Systems, Journal of KISS: Software
and Applications, Vol. 29, No. 12, Dec 2002, pp. 926-939. ▪ G. Cho, J. H. Park, J. Y. Park. M. Lee, State
Minimization for Analysis of Real-time Systems Based on Abstraction of State
Space, KIISE Software Engineering Review, Vol. 15, No. 2, June 2002,
pp. 25-40. ▪ J. Park, J. Lee, M. Lee, Abstraction Method for State
Minimization, Journal of KIISE: Software and Applications, Vol. 29,
No. 1, Feb 2002, pp. 450-432. ▪ J. Choi, M. Lee, Determination of Persistence for
Objects from C Program, Journal of KIISE: Software and Applications,
Vol. 29, No. 3, March. 2002. ▪ J. Park, C. Lee, G. Cho, M. Lee, A CASE Tool for
Round-Trip Engineering for Real-Time Systems: SAVE, KIISE Software
Engineering Review, Vol. 14, No. 3, Sept. 2001, pp. 84-98. ▪ J. Choi, S. Park, M. Lee, Extraction of Classes
and Hierarchy from Procedural Software, Journal of KIISE: Software
and Applications, Vol. 28, No. 9, Sept. 2001, pp. 612-628. ▪ J. Park, M. Lee, A Method to Verify the
Reachability of Real-Time Systems Using Abstract Timed Machines, Journal
of KIISE: Software and Applications, Vol. 28, No. 2, March 2001, pp.
224-238. ▪ J. Choi, M. Lee, A Methodology for Determining
Persistence of Objects from Procedural Software, KIISE Software
Engineering Review, Vol. 14, No. 1, March 2001, pp. 19-29. ▪ K. Nho, M. Lee, Specification and Analysis of Time
Properties for Real-Time Systems Based on Abstract Timed Machine, KIISE Software
Engineering Review, Vol. 13, No. 3, Sept. 2000, pp. 45-54. ▪ S. Park, J. Choi, M. Lee, A methodology for Automatic
Extraction of Classes and Inheritance from C Program, KIISE Software
Engineering Review, Vol. 13, No. 2, June 2000, pp. 6-18. ▪ K. Nho, J. Park, M. Lee, A Formal Method for Round
Trip Engineering Using Abstract Timed Machine, KIISE Software Engineering
Review, Vol. 13, No. 1, March 2000, pp. 32-49. ▪ J. Park, K. Nho, M. Lee, A Study on Verification
of Real-Time Systems Based on Reachability Graph for Abstract Timed
Machine, KIISE Software Engineering Review, Vol. 13, No. 1, March
2000, pp. 50-66. ▪ S. O. Park, K.J. Nho, Moon-Kun Lee, Extraction of
Multiple Object Candidate Groups for Selecting Optimal Objects, Journal
of KIISE (B), Vol. 26, No, 12, Dec 1999, pp. 1468-1481. ▪ S. O. Park, Moon-Kun Lee, A Study on Extraction of
Multiple Object Candidate Groups for Selecting Optimal Objects, KIISE Software
Engineering Review, Vol. 12, No. 1, March 1999, pp. 58-73.▪ Moon-Kun Lee,
C. S. Chung, M.S. Jeong, A Reverse-Engineering Model Using Software
Architecture, Journal of KIISE (B), Vol. 25, No. 10, Nov 1998, pp.
1630-1647. ▪ Moon-Kun Lee, A Software Re/reverse-Engineering
Environment for Legacy Real-Time Systems, Journal of KIISE (B),
Vol. 24, No. 8, Aug. 1997, pp. 842-864. ▪ Moon-Kun Lee, A Scalable and Modular Approach to
Understanding Real-Time Systems, Journal of KIPS, Vol. 4, No. 12, Dec.
1997, pp. 3159-3174. International ▪ Y. Choe, S. Lee, M.
Lee, dT-Calculus: A Process Algebra to Model Timed Movements of Processes,
International Journal of Computers, Volume 2, 2017, pp. 63-62. ▪ Y. Choe, S. Lee, M. Lee, Transactions on
Information Science and Applications, Process
Algebra to Model Timed Movements of Processes in Distributed Real-Time Systems, Transactions on Information Science and Applications, Volume 14, 2017, pp. 89-101. ▪ M. Lee, A Reengineering Method from Procedural SW to Object-Oriented SW for SaaS in Cloud Computing, International Journal on Recent and Innovative Trends in Computing and Communication, Vol. 4, Issue 3, pp. 136-154, ISSN 2321-8169. ▪ S. Lee,
Y. Lee, M. Lee, A Dual Method to Model IoT Systems, International Journal of
Mathematical Models and Methods in Applied Science, Volume 10, 2016, pp.
210-219. ▪ M. Lee,
A Reengineering Method from Procedural SW to Object-Oriented SW for SaaS in Cloud
Computing, International Journal on Recent and Innovative Trends in Computing
and Communication, Vol. 4, Issue 3, pp. 136-154, ISSN 2321-8169. ▪ S. Yoo, M. Lee, G. Cho, An Emergency
Message Propagetion Method in Highway Traffic, Lecture Notes in Computer
Science (LNCS), No. 4239, 2006.10, pp. 331-343. Conferences
(Full Papers): International ▪ M. Rahmani, J. Song, M. Lee, PRISM: A Knowledge Engineering Tool to Model Collective Behavior of Real-Time IoT Systems, PoEM2017/PrOs2017, Lueven, Belgium, Nov. 2017. ▪J. Song. M. Rahmani, M. Lee, Behavior Ontology to Model Collective Behavior of Emergency Medical Systems, ER2017/AHA2017, Valencia, Spain, Nov. 2017. ▪Y. Choe, M. Lee, A Modeling Method for Smart Mobile Service with IoT Environment, ICServ2017, Vienna, Austria, July2017. ▪ S. Lee. Y. Choe, M. Lee, “dT-Calculus: A Process Algebra to Model Timed Movements of Processes”, 19th International Conference on Mathematical and Computational Methods in Science and Engineering, Berlin, Germany, March 2017. ▪ S. Lee,
Y. Choe, M. Lee, A Dual Method to Model IoT Systems, INASE AMCME
2016, May 2016, Riga, Latvia. ▪ S. Lee,
Y. Lee, M. Lee, A Dual Method to Model IoT Systems, International Journal of
Mathematical Models and Methods in Applied Science, Volume 10, 2016, pp.
210-219. ▪ Y.
Choe, S. Lee, M. Lee, SAVE: An Environment for Visual Specification and
Verification of IoT, EDOC2016/ModTools2016, Vienna, Austria, 5~6th Sept.
2016. ▪ M. Lee,
Composition Model for Cloud Services with Behavior Ontology, ICServ2016, Tokyo,
Japan, 6~9th Sept. 2016. ▪ Y.
Choe, M. Lee, δ-CALCULUS: PROCESS ALGEBRA TO MODEL SECURE MOVEMENTS OF
DISTRIBUTED MOBILE PROCESSES IN REAL-TIME BUSINESS APPLICATION, 23rd European
Conference on Information Systems, 2015.05. Muenster, Germany. ▪ W. Choi, Y.
Choe, M. Lee, A Reduction Method for Process and System Complexity with
Conjunctive and Complement Choices in a Process Algebra, 39th COMPSAC/MVDA,
July 2015. Taiwan. ▪ Y.
Choi, M. Lee, et. al., A Tool for Visual Specification and Verification for
Secure process Movements, eChallenge e-2016, 25~26 November, Vilius, Lithuania,
The Best Paper. ▪ Y. Choe, M. Lee, A Lattice Model to
Verify Behavioral Equivalences, Proceedings of UKSim-AMSS 8th European
Modelling Symposium, Oct 2014. ▪ J. Choi, M. Lee, A Calculus for Transportation
Systems, Proceedings of 38th Annual IEEE Computer Software and
Applications Conference Workshops, July 2014. ▪ M. Lee, Y. Choe, Modeling and Analysis of
Equivalences in Behavior Ontology, Proceedings of 4th European Conference
of Computer Science, Oct 2013. ▪ J. On, Y. Choe, M. Lee, An Abstraction
Method of Behaviors for Process Algebra, Proceedings of IEEE 37th Annual
Computer Software and Applications Conference Workshops, July 2013. ▪ S. Woo, J. On, M. Lee, Behavior
Ontology: A Framework to Detect Attack Patterns for Security, Proceedings
of 7thInternational Symposium on Security and Multimodality in
Pervasive Environment (SMPE-2013), March 2013. ▪ J. On, S. Woo, M. Lee, Onion: a Visual
Formal Method for Workflow Design in Cloud Computing, Proceedings of
MSV12, July 2012. ▪ J. On, S. Woo, M. Lee, A Graphical
Language to Integrate Process Algebra and State Machine Views for Specification
and Verification of Distributed Real-Time Systems, Proceedings of 36th IEEE
International Conference on Computer Software and Applications Workshops, July
2012, pp. 218-223. ▪ S. Woo, J. On, M. Lee, An Abstract
Method for Mobility and Interaction in Process Algebra Using Behavior Ontology, Proceedings
of 35th IEEE Annual Computer Software and Applications
Conference, 2011, pp. 128-133. ▪ J. Choi, J. On, M. Lee, A Calculus to
Reduce Spatial and Temporal Complexity for Specification and Analysis of
Complex Real-time Systems, Proceedings of NCM, September 2008, pp. 8-13. ▪ J. On, J. Choi, M. Lee, A Process
Algebra for Specification and Analysis of Temporal Properties of Agents
Distributed over Networked Space, Proceedings of Foundation of Computer
Science, July 2008, pp. 56-62. ▪ S. Woo, G. Cho, M. Lee, Development of
a Schedular for Hard Reak-time Emergency Medical Systems over Networked Space
in a Process Algebra, Proceedings of 2008 International Conference on
Foundation of Computer Science, 2008. ▪ S. Park, D. Ahn, Y. Lee, M. Lee, A
Study on Antecedent Decision Rules for Natural Language Requirements Document
in Korean, Proceedings of 2007 International Symposium on Information
Technology Convergence, 2007.11. ▪ S. Park, D. Ahn, Y. Lee, M. Lee,
Antecedent Decision Rules for Anaphora Resolution of Natural Language
Requirements Document in Korean, Proceedings of 12th International
Conference on Human-Computer Interaction, 2007. ▪ C. Woo, M. Lee, G. Cho, Design of
Reliable MAC Protocol for Directional Broadcasting, Proceedings of MILCOM
2005, 2005. ▪ M. Lee, S. Park, A Methodology to
Extract Objects from Procedural Software, Proceeding of CompSAC'00,
October 2000, pp. 557-566. ▪ C. Chung, M.Lee, S. Jeong, A Scalable
and Modular Approach to Verification of ATM Switching System Using Reverse Specification,
Proceedings of 98 Asia Pacific Software Engineering Conference (APSEC98), Dec.
1998, pp. 278-287. ▪ Moon Lee, Noah Prywes, Insup Lee, Automation
of Analysis, Simulation and Understanding of Real-Time Ada Software, Proceedings
of the First IEEE International Conference of Engineering of Complex Computer
System, pp.55-58, 1995.01 ▪ Noah Prywes, G. Ingargiola, I. Lee, M.
Lee, Transformation Concurrency Related Operating Calls into A Concurrent
Programming Language, Proceedings of the Third International Symposium on
High-Performance Distributed Computing, San Francisco, CA, Aug. 1994. ▪ Noah Prywes, Insup Lee, Moon Lee,
Reengineering Concurrent Software into Ada, Proceedings of the 4th Systems
Reengineering Technology Workshop, Jan. 1994, pp.157-177. Domestic: (Only for
recent 6 years) ▪ Y. Choe, H. Park, M. Lee, A Tool for
Specification and Verification of Movements in Distributed Mobile Real-Time
Systems, KCSE 2017, 27~29th Jan 2016, Pyeongchang, Korea. ▪ Y. Choe, W. Choi, M. Lee, A Process Algebra
to Specify Mobile Real-Time Systems, Proceedings of 39th KIPS Fall
Conference, Nov. 2014. ▪ J. On, S. Woo, M. Lee, Behavior Ontology: A
Framework to Detect Attack patterns for Security, Proceedings of 4nd Korean
Conference on Software Engineering (KCSE’13), Vol. 15, No. 1, Jan. 2013. ▪ J. H. Choi, J. On, M. Lee, Transformation
of BPEL to Onion Language for Analaysis and Verification of BPEL in Cloud
Computing, Proceedings of 37th KIPS Spring Conference, April 2012. ▪ J. H. Choi, J. On, S. Woo, G. Park, M. Lee,
Personal Font Generation Method Using Template, Proceedings of 38th KISS
Fall Conference, Nov 2011, pp. 226-229. ▪ J. H. Choi, J. On, S. Woo, M. Lee, The
Transformation of BPEL into Onion Visual Language for Model-Checking of BPEL, Proceedings
of 2011 Korean Computer Congress, Vol. 38, No. 1, June 2011, pp.189-192. ▪ J. On, S. Woo, M. Lee, A Visual
Specification Language for Process Algebra, Proceedings of 2011 Korean
Computer Congress, Vol. 38, No. 1, June 2011, pp.193-196. ▪ J. On, S. Woo, M. Lee, Formal Method for
Semantic Analysis of Behavior with Mobile Process Algebra, Proceedings of
2010 Korean Computer Congress, Vol. 37, No. 1, June 2010, pp.16-21. ▪ J. On, S. Woo, M. Lee, A Study of Feasibility
for Realization of Timed CARDMI in Real-Time Java Virtual Machine, Proceedings
of 2010 Korean Computer Congress, Vol. 37, No. 1, June 2010, pp.10-15. ▪ J. On, S. Woo, J. Choi, M. Lee, A Study on
Scheduler Based on CARDMI Process Algebra for Automated Control of Emergency
Medical System, Proceedings of 2008 Korean Computer Congress, Vol.
35, No. 1, June 2010, pp. 65-70. ▪ J. On, S. Woo, W. Kim, M. Lee, A Study on
Network Performance of VM between Host OS and Guest OS for a Movable
Personalized SW Platform based on SaaS, Proceedings of 2007 KICIS, Nov
2007. ▪ J. On, S. Woo, J. Choi, M. Lee, A Formal
Method for Specification and Analysis of Temporal Properties in a Spatial
Process Algebra, Proceedings of 2007 KICIS, Nov 2007. ▪ J. On, S. Woo, W. Kim, W. Choi, M. Lee,
Performance Measurement Method for Host OS of Virtual Machine in an Environment
for Simultaneous Usage, Proceedings of 34th KISS Fall Conference, Oct
2007, pp. 269-273. ▪ S. Kim, M. Lee, A Study on Equivalence
between Source SW and Target SW in Reengineering, Proceedings of 2007
Korean Computer Congress, Vol. 34, No. 1, June 2007, pp. 47-52.
▪ J. On, W. Choi, M. Lee, Messenger Protocol
Design and Implementation for Mobile Office Environment, , Proceedings of
27th KIPS Fall Conference, Vol. 14, No. 1, May 2007, pp.
1520-1523.