Michael E. Shin

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