Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. - Hassan Gomaa; Shaoying Liu; Michael E. Shin (ICECCS, 2000)

UML-Based Representation of Role-Based Access Control. - Michael E. Shin; Gail-Joon Ahn (WETICE, 2000)

Reusable component interconnection patterns for distributed software architectures. - Hassan Gomaa; Daniel A. Menascé; Michael E. Shin (SSR, 2001)

Role-Based Authorization Constraints Specification Using Object Constraint Language. - Gail-Joon Ahn; Michael E. Shin (WETICE, 2001)

Multiple-View Meta-Modeling of Software Product Lines. - Hassan Gomaa; Michael E. Shin (ICECCS, 2002)

Reconstructing a formal security model. - Gail-Joon Ahn; Seng-Phil Hong; Michael E. Shin (Inf. Softw. Technol., 2002)

Modeling Complex Systems by Separating Application and Security Concerns. - Hassan Gomaa; Michael Eonsuk Shin (ICECCS, 2004)

A Multiple-View Meta-modeling Approach for Variability Management in Software Product Lines. - Hassan Gomaa; Michael Eonsuk Shin (ICSR, 2004)

Software Architecture for Self-Healing of Concurrent and Distributed Components. - Michael E. Shin (Software Engineering Research and Practice, 2004)

Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation. - Michael E. Shin; Alexander H. Levis; Lee W. Wagenhals; Dae-Sik Kim (Int. J. Softw. Eng. Knowl. Eng., 2005)

Self-healing components in robust software architecture for concurrent and distributed systems. - Michael E. Shin (Sci. Comput. Program., 2005)

Connector-based self-healing mechanism for components of a reliable system. - Michael E. Shin; Daniel E. Cooke (ACM SIGSOFT Softw. Eng. Notes, 2005)

Self-Management of COTS Component-Based Systems Using Wrappers. - Michael E. Shin; Fernando Paniagua (COMPSAC (2), 2006)

Enhanced Anomaly Detection in Self-Healing Components. - Michael E. Shin; Yan Xu (SEKE, 2006)

Detection of anomalies in software architecture with connectors. - Michael Eonsuk Shin; Yan Xu; Fernando Paniagua; Jung Hoon An (Sci. Comput. Program., 2006)

Automated Software Product Line Engineering and Product Derivation. - Hassan Gomaa; Michael E. Shin (HICSS, 2007)

Software requirements and architecture modeling for evolving non-secure applications into secure applications. - Michael E. Shin; Hassan Gomaa (Sci. Comput. Program., 2007)

A Case Study: Self-managed COTS Component-based Elevator System. - Michael Eonsuk Shin; Fernando Paniagua (SEKE, 2008)

Multiple-view modelling and meta-modelling of software product lines. - Hassan Gomaa; Michael Eonsuk Shin (IET Softw., 2008)

Separating application and security concerns in use case models. - Hassan Gomaa; Michael E. Shin (EA@AOSD, 2009)

Consistency in Self-Reconfiguration of Self-Healing Systems. - Michael E. Shin; Kiran Gopala Reddy Sunanda (SEKE, 2009)

Design of Wrapper for Self-Management of COTS Components. - Michael Eonsuk Shin; Fernando Paniagua (Int. J. Softw. Eng. Knowl. Eng., 2009)

Self-Management of Component Executors for Robot Applications. - Michael E. Shin; Hemanth Thimme Gowda; Taeghyun Kang; Sunghoon Kim 001; Seungwook Jung; Choulsoo Jang; Byoungyoul Song (SEKE, 2010)

Detection of Malicious Software Engineer Intrusion. - Michael E. Shin; Nipul Patel; Snehadeep Sethia (SEKE, 2010)

Self-Management of External Device Failures in Embedded Software Systems. - Michael E. Shin; Poonam Mane (SEKE, 2011)

Component-Based Malicious Software Engineer Intrusion Detection. - Michael Eonsuk Shin; Snehadeep Sethia; Nipul Patel (SSIRI, 2011)

Reconfiguration of Robot Applications using Data Dependency and Impact Analysis. - Michael E. Shin; Taeghyun Kang; Sunghoon Kim 001; Seungwook Jung; Myungchan Roh (SEKE, 2012)

Connectors for Secure Software Architectures . - Michael E. Shin; Bhavya Malhotra; Hassan Gomaa; Taeghyun Kang (SEKE, 2012)

Threat Modeling for Security Failure-Tolerant Requirements. - Michael E. Shin; Swetha Dorbala; Dongsoo Jang (SocialCom, 2013)

Detection and Notification of Failures in Distributed Component-Based Robot Applications Using Blackboard Architecture. - Michael Eonsuk Shin; Taeghyun Kang; Sunghoon Kim 001 (DARS, 2014)

Reusable Secure Connectors for Secure Software Architecture. - Michael E. Shin; Hassan Gomaa; Don Pathirage (ICSR, 2016)

Design of Secure Software Architectures with Secure Connectors. - Michael E. Shin; Hassan Gomaa; Don Pathirage; Chase Baker; Bhavya Malhotra (Int. J. Softw. Eng. Knowl. Eng., 2016)

Model-based Design of Reusable Secure Connectors. - Michael Eonsuk Shin; Hassan Gomaa; Don Pathirage (MoDELS (Satellite Events), 2017)

Security Requirements for Tolerating Security Failures. - Michael E. Shin; Don Pathirage (SEKE, 2017)

A Software Product Line Approach for Feature Modeling and Design of Secure Connectors. - Michael E. Shin; Hassan Gomaa; Don Pathirage (ICSOFT, 2018)

A Software Product Line Approach to Design Secure Connectors in Component-Based Software Architectures. - Michael Eonsuk Shin; Hassan Gomaa; Don Pathirage (ICSOFT (Selected Papers), 2018)

Analysis of Security-Failure Tolerant Requirements. - Michael E. Shin; Don Pathirage; Dongsoo Jang (SEKE, 2018)

Blackboard Architecture for Detecting and Notifying Failures for Component-Based Unmanned Systems. - Michael E. Shin; Taeghyun Kang; Sunghoon Kim 001 (J. Intell. Robotic Syst., 2018)

Security Fault Tolerance for Access Control. - Dongsoo Jang; Michael Eonsuk Shin; Don Pathirage (ACSOS Companion, 2020)

Threat and Security Modeling for Secure Software Requirements and Architecture. - Michael E. Shin; Don Pathirage; Dongsoo Jang (SEKE, 2020)

Design of Secure Connectors for Complex Message Communications in Software Architecture. - Michael E. Shin; Taeghyun Kang; Hassan Gomaa (ESSE, 2021)

Secure Software Architectural Patterns Designed with Secure Connectors. - Michael E. Shin; Taeghyun Kang; Hassan Gomaa (ICSOFT, 2022)

Modeling of Security Fault-Tolerant Requirements for Secure Systems. - Don Pathirage; Michael Eonsuk Shin; Dongsoo Jang (Int. J. Softw. Eng. Knowl. Eng., 2023)

Design of Adaptable and Secure Connectors for Software Architectures. - Juan Marcelo Gutierrez Carballo; Michael E. Shin; Hassan Gomaa (ICSOFT, 2024)