Login / Signup
Zelalem Mihret
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 6
Top Topics
Pspace Complete
Heterogeneous Systems
Artifact Centric
Generation Algorithm
Top Venues
SoSE
EnCyCriS@ICSE
APSEC
SESoS-WDES@ICSE
</>
Publications
</>
Zelalem Mihret
,
Eunkyoung Jee
,
Doo-Hwan Bae
Simulation-based Recommendation Generation for Heterogeneous Systems Participating in a Collaborative Work.
SoSE
(2022)
May Myat Thwe
,
Zelalem Mihret
,
Eunkyoung Jee
,
Doo-Hwan Bae
Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing.
SoSE
(2022)
Zelalem Mihret
,
Lingjun Liu
Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems.
EnCyCriS@ICSE
(2021)
Young Min Baek
,
Zelalem Mihret
,
Yong-Jun Shin
,
Doo-Hwan Bae
A Modeling Method for Model-based Analysis and Design of a System-of-Systems.
APSEC
(2020)
Sumin Park
,
Zelalem Mihret
,
Doo-Hwan Bae
A simulation-based behavior analysis for MCI response system of systems.
SESoS-WDES@ICSE
(2019)
Zelalem Mihret
,
Eunkyoung Jee
,
Young Min Baek
,
Doo-Hwan Bae
A collaboration policy model for system of systems.
SoSE
(2018)