Michael Eonsuk Shin

发表

Reconfiguration of Robot Applications using Data Dependency and Impact Analysis

Michael Eonsuk Shin, Taeghyun Kang, Sunghoon Kim, 2012, SEKE.

Component-Based Malicious Software Engineer Intrusion Detection

Michael Eonsuk Shin, Snehadeep Sethia, Nipul Patel, 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

A Multiple-View Meta-modeling Approach for Variability Management in Software Product Lines

Michael Eonsuk Shin, Hassan Gomaa, 2004, ICSR.

Connectors for Secure Software Architectures

Michael Eonsuk Shin, Taeghyun Kang, Hassan Gomaa, 2012, SEKE.

UML-based representation of role-based access control

Gail-Joon Ahn, Michael Eonsuk Shin, Gail-Joon Ahn, 2000, Proceedings IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2000).

A Case Study: Self-managed COTS Component-based Elevator System

Michael Eonsuk Shin, Fernando Paniagua, 2008, SEKE.

Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation

Alexander H. Levis, Michael Eonsuk Shin, Dae-Sik Kim, 2005, Int. J. Softw. Eng. Knowl. Eng..

Threat Modeling for Security Failure-Tolerant Requirements

Michael Eonsuk Shin, Swetha Dorbala, Dongsoo Jang, 2013, 2013 International Conference on Social Computing.

Detection of anomalies in software architecture with connectors

Michael Eonsuk Shin, Yan Xu, Fernando Paniagua, 2006, Sci. Comput. Program..

Self-healing components in robust software architecture for concurrent and distributed systems

Michael Eonsuk Shin, 2005, Sci. Comput. Program..

Software requirements and architecture modeling for evolving non-secure applications into secure applications

Michael Eonsuk Shin, Hassan Gomaa, H. Gomaa, 2007, Sci. Comput. Program..

Self-Management of External Device Failures in Embedded Software Systems

Michael Eonsuk Shin, Poonam Mane, P. Mane, 2010, SEKE.

Blackboard Architecture for Detecting and Notifying Failures for Component-Based Unmanned Systems

Michael Eonsuk Shin, Taeghyun Kang, Sunghoon Kim, 2018, J. Intell. Robotic Syst..

Detection and Notification of Failures in Distributed Component-Based Robot Applications Using Blackboard Architecture

Michael Eonsuk Shin, Taeghyun Kang, Sunghoon Kim, 2014, DARS.

Detection of Malicious Software Engineer Intrusion

Michael Eonsuk Shin, Snehadeep Sethia, Nipul Patel, 2010, SEKE.

Multiple-view meta-modeling of software product lines

Michael Eonsuk Shin, Hassan Gomaa, 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

Analysis of Security-Failure Tolerant Requirements

Michael Eonsuk Shin, Dongsoo Jang, Don Pathirage, 2018, SEKE.

Modelling complex systems by separating application and security concerns

Michael Eonsuk Shin, Hassan Gomaa, H. Gomaa, 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

Enhanced Anomaly Detection in Self-Healing Components

Michael Eonsuk Shin, Yan Xu, 2006, SEKE.

Software Architecture for Self-Healing of Concurrent and Distributed Components

Michael Eonsuk Shin, 2004, Software Engineering Research and Practice.

Reusable Secure Connectors for Secure Software Architecture

Michael Eonsuk Shin, Hassan Gomaa, Don Pathirage, 2016, ICSR.

Automated Software Product Line Engineering and Product Derivation

Michael Eonsuk Shin, Hassan Gomaa, H. Gomaa, 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

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

Michael Eonsuk Shin, Hassan Gomaa, Don Pathirage, 2018, ICSOFT.

Model-based Design of Reusable Secure Connectors

Michael Eonsuk Shin, Hassan Gomaa, Don Pathirage, 2017, MODELS.

Consistency in Self-Reconfiguration of Self-Healing Systems

Michael Eonsuk Shin, Kiran Gopala Reddy Sunanda, 2009, SEKE.

Security Requirements for Tolerating Security Failures

Michael Eonsuk Shin, Don Pathirage, M. Shin, 2017, SEKE.

Threat and Security Modeling for Secure Software Requirements and Architecture

Michael Eonsuk Shin, Dongsoo Jang, Don Pathirage, 2020, SEKE.

Reusable component interconnection patterns for distributed software architectures

Daniel A. Menascé, Michael Eonsuk Shin, Hassan Gomaa, 2001, SSR '01.

A Software Product Line Approach to Design Secure Connectors in Component-Based Software Architectures

Michael Eonsuk Shin, Hassan Gomaa, Don Pathirage, 2018, ICSOFT.

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

Michael Eonsuk Shin, Daniel Cooke, 2005, ACM SIGSOFT Softw. Eng. Notes.

Self-Management of COTS Component-Based Systems Using Wrappers

Michael Eonsuk Shin, Fernando Paniagua, M. Shin, 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

Design of Wrapper for Self-Management of COTS Components

Michael Eonsuk Shin, Fernando Paniagua, 2009, Int. J. Softw. Eng. Knowl. Eng..

Role-based authorization constraints specification using Object Constraint Language

Gail-Joon Ahn, Michael Eonsuk Shin, Gail-Joon Ahn, 2001, Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001.

Self-Management of Component Executors for Robot Applications

Michael Eonsuk Shin, Taeghyun Kang, Sunghoon Kim, 2010, SEKE.

Reconstructing a formal security model

Seng-Phil Hong, Gail-Joon Ahn, Michael Eonsuk Shin, 2002, Inf. Softw. Technol..

Multiple-view modelling and meta-modelling of software product lines

Michael Eonsuk Shin, Hassan Gomaa, H. Gomaa, 2008, IET Softw..

Integration of the domain modeling method for families of systems with the SOFL formal specification language

Shaoying Liu, Michael Eonsuk Shin, Hassan Gomaa, 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.