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 7^thInternational 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 36^th 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 35^th 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 4^nd 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.