Michael E. Shin
List of publications from the
2008 |
19 | | Michael Eonsuk Shin,
Fernando Paniagua:
A Case Study: Self-managed COTS Component-based Elevator System.
SEKE 2008: 577-580 |
2007 |
18 | EE | Hassan Gomaa,
Michael E. Shin:
Automated Software Product Line Engineering and Product Derivation.
HICSS 2007: 285 |
17 | | Michael Eonsuk Shin,
Fernando Paniagua:
Design of Wrapper for Self-Management of COTS Components.
SEKE 2007: 314-319 |
16 | EE | Michael E. Shin,
Hassan Gomaa:
Software requirements and architecture modeling for evolving non-secure applications into secure applications.
Sci. Comput. Program. 66(1): 60-70 (2007) |
2006 |
15 | EE | Michael E. Shin,
Fernando Paniagua:
Self-Management of COTS Component-Based Systems Using Wrappers.
COMPSAC (2) 2006: 33-36 |
14 | | Michael E. Shin,
Yan Xu:
Enhanced Anomaly Detection in Self-Healing Components.
SEKE 2006: 485-488 |
13 | EE | Michael Eonsuk Shin,
Yan Xu,
Fernando Paniagua,
Jung Hoon An:
Detection of anomalies in software architecture with connectors.
Sci. Comput. Program. 61(1): 16-26 (2006) |
2005 |
12 | EE | Michael E. Shin,
Daniel Cooke:
Connector-based self-healing mechanism for components of a reliable system.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
11 | EE | Michael E. Shin,
Alexander H. Levis,
Lee W. Wagenhals,
Dae-Sik Kim:
Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation.
International Journal of Software Engineering and Knowledge Engineering 15(1): 35-60 (2005) |
10 | EE | Michael E. Shin:
Self-healing components in robust software architecture for concurrent and distributed systems.
Sci. Comput. Program. 57(1): 27-44 (2005) |
2004 |
9 | EE | Hassan Gomaa,
Michael Eonsuk Shin:
Modeling Complex Systems by Separating Application and Security Concerns.
ICECCS 2004: 19-28 |
8 | EE | Hassan Gomaa,
Michael Eonsuk Shin:
A Multiple-View Meta-modeling Approach for Variability Management in Software Product Lines.
ICSR 2004: 274-285 |
7 | | Michael E. Shin:
Software Architecture for Self-Healing of Concurrent and Distributed Components.
Software Engineering Research and Practice 2004: 97-103 |
2002 |
6 | EE | Hassan Gomaa,
Michael E. Shin:
Multiple-View Meta-Modeling of Software Product Lines.
ICECCS 2002: 238-246 |
5 | | Gail-Joon Ahn,
Seng-Phil Hong,
Michael E. Shin:
Reconstructing a formal security model.
Information & Software Technology 44(11): 649-657 (2002) |
2001 |
4 | EE | Hassan Gomaa,
Daniel A. Menascé,
Michael E. Shin:
Reusable component interconnection patterns for distributed software architectures.
SSR 2001: 69-77 |
3 | EE | Gail-Joon Ahn,
Michael E. Shin:
Role-Based Authorization Constraints Specification Using Object Constraint Language.
WETICE 2001: 157-162 |
2000 |
2 | EE | 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: 61-71 |
1 | EE | Michael E. Shin,
Gail-Joon Ahn:
UML-Based Representation of Role-Based Access Control.
WETICE 2000: 195-200 |