Michael E. Shin

Separating Application and Security Concerns in Modeling Software Product Lines

Hassan Gomaa, Michael E. Shin, 2009 .

Variability Modeling in Model-Driven Software Product Line Engineering

Hassan Gomaa, Michael E. Shin, Michael. Shin, 2010 .

Development and execution of OPRoS components

Seungwoog Jung, Byoungyoul Song, Sunghoon Kim, 2011, 2011 11th International Conference on Control, Automation and Systems.

Separating application and security concerns in use case models

Hassan Gomaa, Michael E. Shin, 2009, EA '09.

A Software Product Line Approach for Feature Modeling and Design of Secure Connectors

Hassan Gomaa, Michael E. Shin, Don Pathirage, 2018 .

Design of Secure Software Architectures with Secure Connectors

Hassan Gomaa, Bhavya Malhotra, Chase Baker, 2016, Int. J. Softw. Eng. Knowl. Eng..

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Hassan Gomaa, Michael E. Shin, 2004 .

Transformation of UML-based System Model to Design / CPN Model for Validating System Behavior

Alexander H. Levis, Lee W. Wagenhals, Michael E. Shin, 2003 .

Self-Healing Component in Robust Software Architecture for Concurrent and Distributed Systems

Michael E. Shin, M. Shin, 2004 .

Connector-based self-healing mechanism for components of a reliable system

Michael E. Shin, Michael. Shin, Daniel Cooke, 2005 .