Michael E. Shin

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 9

Top Topics

Software Architecture

Software Requirements

Top Venues

Publications

Michael E. Shin, Taeghyun Kang, Hassan Gomaa
Secure Software Architectural Patterns Designed with Secure Connectors. ICSOFT (2022)
Michael E. Shin, Taeghyun Kang, Hassan Gomaa
Design of Secure Connectors for Complex Message Communications in Software Architecture. ESSE (2021)
Michael E. Shin, Don Pathirage, Dongsoo Jang
Threat and Security Modeling for Secure Software Requirements and Architecture. SEKE (2020)
Michael E. Shin, Hassan Gomaa, Don Pathirage
A Software Product Line Approach for Feature Modeling and Design of Secure Connectors. ICSOFT (2018)
Michael E. Shin, Taeghyun Kang, Sunghoon Kim
Blackboard Architecture for Detecting and Notifying Failures for Component-Based Unmanned Systems. J. Intell. Robotic Syst. 90 (3-4) (2018)
Michael E. Shin, Don Pathirage, Dongsoo Jang
Analysis of Security-Failure Tolerant Requirements. SEKE (2018)
Michael E. Shin, Don Pathirage
Security Requirements for Tolerating Security Failures. SEKE (2017)
Michael E. Shin, Hassan Gomaa, Don Pathirage, Chase Baker, Bhavya Malhotra
Design of Secure Software Architectures with Secure Connectors. Int. J. Softw. Eng. Knowl. Eng. 26 (5) (2016)
Michael E. Shin, Hassan Gomaa, Don Pathirage
Reusable Secure Connectors for Secure Software Architecture. ICSR (2016)
Michael E. Shin, Swetha Dorbala, Dongsoo Jang
Threat Modeling for Security Failure-Tolerant Requirements. SocialCom (2013)
Michael E. Shin, Taeghyun Kang, Sunghoon Kim, Seungwook Jung, Myungchan Roh
Reconfiguration of Robot Applications using Data Dependency and Impact Analysis. SEKE (2012)
Michael E. Shin, Bhavya Malhotra, Hassan Gomaa, Taeghyun Kang
Connectors for Secure Software Architectures . SEKE (2012)
Michael E. Shin, Poonam Mane
Self-Management of External Device Failures in Embedded Software Systems. SEKE (2011)
Michael E. Shin, Nipul Patel, Snehadeep Sethia
Detection of Malicious Software Engineer Intrusion. SEKE (2010)
Michael E. Shin, Hemanth Thimme Gowda, Taeghyun Kang, Sunghoon Kim, Seungwook Jung, Choulsoo Jang, Byoungyoul Song
Self-Management of Component Executors for Robot Applications. SEKE (2010)
Hassan Gomaa, Michael E. Shin
Separating application and security concerns in use case models. EA@AOSD (2009)
Michael E. Shin, Kiran Gopala Reddy Sunanda
Consistency in Self-Reconfiguration of Self-Healing Systems. SEKE (2009)
Hassan Gomaa, Michael E. Shin
Automated Software Product Line Engineering and Product Derivation. HICSS (2007)
Michael E. Shin, Hassan Gomaa
Software requirements and architecture modeling for evolving non-secure applications into secure applications. Sci. Comput. Program. 66 (1) (2007)
Michael E. Shin, Yan Xu
Enhanced Anomaly Detection in Self-Healing Components. SEKE (2006)
Michael E. Shin, Fernando Paniagua
Self-Management of COTS Component-Based Systems Using Wrappers. COMPSAC (2) (2006)
Michael E. Shin, Daniel Cooke
Connector-based self-healing mechanism for components of a reliable system. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Michael E. Shin
Self-healing components in robust software architecture for concurrent and distributed systems. Sci. Comput. Program. 57 (1) (2005)
Michael E. Shin, Alexander H. Levis, Lee W. Wagenhals, Dae-Sik Kim
Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation. Int. J. Softw. Eng. Knowl. Eng. 15 (1) (2005)
Michael E. Shin
Software Architecture for Self-Healing of Concurrent and Distributed Components. Software Engineering Research and Practice (2004)
Gail-Joon Ahn, Seng-Phil Hong, Michael E. Shin
Reconstructing a formal security model. Inf. Softw. Technol. 44 (11) (2002)
Hassan Gomaa, Michael E. Shin
Multiple-View Meta-Modeling of Software Product Lines. ICECCS (2002)
Hassan Gomaa, Daniel A. Menascé, Michael E. Shin
Reusable component interconnection patterns for distributed software architectures. SSR (2001)
Gail-Joon Ahn, Michael E. Shin
Role-Based Authorization Constraints Specification Using Object Constraint Language. WETICE (2001)
Hassan Gomaa, Shaoying Liu, Michael E. Shin
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. ICECCS (2000)
Michael E. Shin, Gail-Joon Ahn
UML-Based Representation of Role-Based Access Control. WETICE (2000)