Zelalem Mihret

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Modeling Method

Pspace Complete

Deterministic Finite Automaton

Behavior Analysis

Top Venues

SESoS-WDES@ICSE

Publications

Zelalem Mihret, Jakob Axelsson, Eunkyoung Jee, Doo-Hwan Bae
Policy-Guided Collaboration for Enhancing System of Systems Goal Achievement. SysCon (2024)
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)