Dr. Michael (Eonsuk) Shin

Associate Professor
Department of Computer Science
Texas Tech University
Box 43104
Lubbock, TX 79413-3104

Office: 311, Engineering Center
Phone: (806) 742-3527 | Fax: (806) 742-3519
Email: michael.shin@ttu.edu

Biosketch

Dr. Michael Shin is Associate Professor in the Department of Computer Science at Texas Tech University, Lubbock, Texas. He received his B.Sc. in Industrial Engineering from Korea University, Seoul, Korea in 1985 and M.Sc. in Management Science from Korea Advanced Institute of Science and Technology (KAIST), Seoul, Korea in 1988 and Ph.D. in Information Technology with specialization in Software Engineering from George Mason University, Virginia, USA in Spring 2002. From 1988 to 2002, He worked for Electronics and Telecommunications Research Institute (ETRI), Daejeon, Korea as a senior software researcher in the software engineering division.

Research Interests

Self-Healing Systems, Secure Software Engineering, Software Product Lines

Teaching

Undergraduate Courses

CS4311 Senior Project Design (Spring 09)
CS1412 Programming Principles II (Spring 08)
CS3365 Software Engineering (Fall 02-Fall 07, Fall 09-Spring 10)

Graduate Courses

CS5373 Software Modeling and Architecture (Spring 09, Spring 10)
CS5380 Fault-Tolerant Computer Systems (Fall 08)
CS5374 Software Verification and Validation (Spring 07, Spring 08)
CS5362 Software Specification and Design (Fall 06)
CS5332 Special Topics in Software Engineering (Secure Software Engineering) (Spring 06)
CS5332 Special Topics in Software Engineering (Service Availability) (Spring 05)
CS5332 Special Topics in Software Engineering (Advanced Modeling and Design) (Fall 04)

Publications

Journals

Michael E. Shin and Fernando Paniagua, “Design of Wrapper for Self-Management of COTS Components,” International Journal of Software Engineering and Knowledge Engineering, Volume 19, Issue 4, 2009, pp. 529-551.
Hassan Gomaa and Michael E. Shin, “Multiple-View Modeling and Meta-Modeling of Software Product Lines,” IET Software, Volume 2, Issue 2, April 2008, pp. 94 - 122
Michael E. Shin and Hassan Gomaa, “Software Modeling of Evolution to a Secure Application: From Requirements Model to Software Architecture,” Science of Computer Programming, Volume 66, Issue 1, April 2007, pp. 60-70.
Michael E. Shin, Yan Xu, Fernando Paniagua and Jung Hoon An, “Detection of Anomalies in Software Architecture with Connectors,” Science of Computer Programming, Volume 61, Issue 1, June 2006, pp. 16-26.
Michael E. Shin, Alexander Levis, Lee Wagenhals, and Dae-Sik Kim, “Analyzing Dynamic Behavior of Large-Scale Systems through Model Transformation,” International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 1, 2005, pp. 35-60.
Michael E. Shin, “Self-Healing Component in Robust Software Architecture for Concurrent and Distributed Systems,” Science of Computer Programming, Vol. 57, No. 1, 2005, pp. 27-44.
Gail Joon Ahn, Seung-Phil Hong, and Michael E. Shin, “Restructuring a formal security model,” Information and Software Technology, Vol. 44, 2002, pp. 649–657.

Book Chapter

Michael E. Shin and Hassan Gomaa, “Separating Application and Security Concerns in Modeling Software Product Lines,” a book chapter in Software Product Line Engineering. (To be appeared)

Conferences and Workshops

Michael E. Shin and Kiran Gopala Reddy Sunanda, “Consistency in Self-Reconfiguration of Self-Healing Systems,” 21st International Conference on Software Engineering and Knowledge Engineering (SEKE’2009), Boston, July 1-3, 2009.
Hassan Gomaa and Michael E. Shin “Separating Application and Security Concerns in Use Case Models, Workshop on Early Aspects at AOSD 2009, Charlottesville, Virginia, USA, March 3, 2009.
Michael E. Shin and Fernando Paniagua, “A Case Study: Self-Managed COTS Component-Based Elevator System,” 20th International Conference on Software Engineering and Knowledge Engineering (SEKE’2008), San Francisco Bay, California, USA, July 1-3, 2008.
Michael E. Shin and Fernando Paniagua, “Design of Wrapper for Self-Management of COTS Components,” 19th International Conference on Software Engineering and Knowledge Engineering (SEKE’2007), Boston, July 9-11, 2007, pp. 314-319.
Michael E. Shin, Bosah Chukwuogo, and Marta E. Calderón, “Scalability in Analysis of Software Architecture,” International Workshop on System/Software Architectures (IWSSA07), Las Vegas, Nevada, USA, June 25-28, 2007, pp. 539-545.
Hassan Gomaa and Michael E. Shin, “Automated Software Product Line Engineering and Product Derivation,” Hawaii International Conference on System Sciences (HICSS-40) – Software Technology Track: Tools for Model Driven Development, IEEE Computer Society, Hawaii, January 3-6, 2007, pp. 285a.
Michael E. Shin and Fernando Paniagua, “Self-Management of COTS Component-Based Systems Using Wrappers,” 30th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2006), Chicago, September 17-21, 2006, pp. 33-36.
Michael E. Shin and Yan Xu,” Enhanced Anomaly Detection in Software Components,” 18th International Conference on Software Engineering and Knowledge Engineering (SEKE’2006), San Francisco Bay, California, USA, July 5-7, 2006, pp. 485-488.
Michael E. Shin, “Modeling of Evolution to Secure Application System: from Requirements Model to Software Architecture,” International Workshop on System/Software Architectures (IWSSA06), Las Vegas, Nevada, USA, June 26-29, 2006, pp. 797-803.
Michael E. Shin and Jung Hoon An, “Self-Reconfiguration in Self-Healing Systems,” 3^rd IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2006), Columbia, MD, USA, (co-located with NASA/IEEE SEW 30) April 25-27, 2006, pp. 89-98.
Michael E. Shin and Yan Xu, “Detection of Anomalies in a Software Architectural Style with Connectors,” International Workshop on System/Software Architectures (IWSSA05), Las Vegas, Nevada, USA, June 27-30, 2005, pp. 94-100.
Michael E. Shin and Marta E. Calderon, “Meta-Modeling Approach to Tool Support for Model Transformation to Validate Dynamic Behavior of Systems,” The International Conference on Software Engineering Research and Practice (SERP05), Las Vegas, Nevada, USA, June 27-30, 2005, pp. 316-322.
Michael E. Shin and Daniel Cooke, “Connector-Based Self-Healing Mechanism for Components of a Reliable System,” Workshop on Design and Evolution of Autonomic Application Software/ACM/IEEE International Conference on Software Engineering 2005, St. Louis, Missouri, USA, May 21, 2005 (Also Published in ACM SIGSOFT Software Engineering Note, Volume 30, Issue 4, July 2005, pp. 1-7).
Marta E. Calderon and Michael E. Shin, “Tool Support for Model Transformation to Analyze Dynamic Behavior of Large-Scale Systems,” Design, Analysis, and Simulation of Distributed System 2005, (DASD2005), San Diego, California, April 2- 8, 2005, pp. 107-114.
Hassan Gomaa and Michael E. Shin, “Consistency Checking in Multiple-View Meta-Models of Software Product Lines,” the Workshop on Quality Assurance in Reuse Contexts/Software Product Line Conference, Boston, Massachusetts, August 30 – September 2, 2004, pp. 27-33.
Hassan Gomaa and Michael E. Shin, “Tool Support for Software Variability Management and Product Derivation in Software Product Lines,” the SPLC Workshop on Software Variability Management for Product Derivation - Towards Tool Support/ Software Product Line Conference, Boston, Massachusetts, August 30 – September 2, 2004, pp. 73-84.
Hassan Gomaa and Michael E. Shin, “A Multiple-View Modeling Approach for Variability Management in Software Product Lines” 8^th International Conference on Software Reuse (ICSR 2004), Madrid, Spain, July, 2004, Proceedings. Lecture Notes in Computer Science 3107 Springer 2004, ISBN 3-540-22335-5, pp. 274-285.
Michael E. Shin, “Software Architecture for Self-Healing of Concurrent and Distributed Components,” International workshop on system/software architectures (IWSSA04), Las Vegas, Nevada, USA, June 21-24, 2004, pp. 97-103.
Hassan Gomaa and Michael E. Shin, “Modeling Complex Systems by Separating Application and Security Concerns” 9^th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2004), Italy, April, 2004, pp. 19-28.
Michael E. Shin, Alexander Levis, and Lee Wagenhals, “Transformation of UML-based System Model to Design/CPN model for Validating System Behavior,” Workshop on Compositional Verification of UML’03, San Francisco, October 22, 2003.
Hassan Gomaa and Michael E. Shin, “Variability in Multiple-View Models of Software Product Lines,” International Workshop on Software Variability Management/ACM/IEEE International Conference on Software Engineering’03, Portland, Oregon, May 3-11, 2003, pp. 63-68.
Hassan Gomaa and Michael E. Shin, “Multiple-View Meta-Modeling of Software Product Lines” the Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002), Maryland, December, 2002, pp. 238-246.
Gail J. Ahn and Michael E. Shin, “Role-based Authorization Constraints Specification Using Object Constraint Language,” Sixth IEEE International Workshop on Enterprise Security (WETICE 2001), MIT, MA, June 20-22, 2001, pp. 157-162.
Hassan Gomaa, Daniel A. Menasce, and Michael E. Shin, “Reusable Component Patterns for Distributed Software Architectures,” 2001 Symposium on Software Reusability (SSR’01 Sponsored by ACM/SIGSOFT), Toronto, Ontario, Canada, May 18-20, 2001, pp. 69-77. (Also Published in ACM SIGSOFT Software Engineering Notes, Vol. 26, Issue 3, May 2001, pp. 69-77, ISSN:0163-5948).
Hassan Gomaa, Shaoying Liu, and Michael E. Shin, “Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language,” the Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, September, 2000, pp. 61-71.
Michael E Shin and Gail. J. Ahn, “UML-Based Representation of Role Based Access Control,” the Fifth IEEE International Workshop on Enterprise Security (WETICE 2000), Gaithersburg, MD, USA, June, 2000, pp. 195-200.
Young Bae Oh, Jin Ok Jeon and Michael E. Shin, “Design and Implementation of a Rolling Mill Simulator Based on Real-time Distributed Object Model,” Proceeding of the LASTED International Conference Modeling and Simulation, Pittsburgh, Pennsylvania, USA, May, 1998.
D.H. Lee, J.D.Sung, J.O. Jeon, Michael E. Shin, and I.C. You, "A Practical Approach for Software Quality: Issues in a Large System," Sixth International Conference on Software Engineering & its Applications, Paris, France, November 15-19, 1993, pp. 347-358.
Danhyung Lee, Jin Ok Jeon and Michael E. Shin, "The Quality Directed Process Management in a System Integration Project," Joint Conference on Software Engineering '93, Fukuoka, Japan, November 17-19, 1993, pp. 263-269.

Students

Currently

Taeghyun Kang (Ph.D. Student)
Yan Xu (Ph.D. Student)
Hemanth Gowda (MS Student)
Aakanksha Sharma (MS Student)
Poonam Mane (MS Student)
Snehadeep Sethia (MS Student)

Graduated

Fernando Paniagua (Ph.D. in 2009 Spring)
Jung Hoon An (MS in 2008 Fall)
Kiran Gopala Reddy Sunanda (MS in 2008 Summer)
Bhavya Malhotra (MS in 2007 Fall)
Nipul Patel (MS in 2007 Fall)
Swetha Dorbala (MS in 2007 Summer)
Bosah Chukwuogo (MS in 2007 Summer)
Marta Eunice Calder (MS in 2005 Spring)

Michael E. Shin ©.
Last revised: March 1, 2010