Resource scheduling through resource-aware simulation of emergency departments. - Seung Yeob Shin; Hari Balasubramanian; Yuriy Brun; Philip L. Henneman; Leon J. Osterweil (SEHC@ICSE, 2013)

Resource Specification for Prototyping Human-Intensive Systems. - Seung Yeob Shin; Yuriy Brun; Leon J. Osterweil; Hari Balasubramanian; Philip L. Henneman (FASE, 2015)

Specification and analysis of human-intensive system resource-utilization policies. - Seung Yeob Shin; Yuriy Brun; Leon J. Osterweil (SEHS@ICSE, 2016)

Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems. - Seung Yeob Shin (BPM (Demos), 2017)

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (ISSTA, 2018)

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (MoDELS, 2018)

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. - Seung Yeob Shin; Yuriy Brun; Hari Balasubramanian; Philip L. Henneman; Leon J. Osterweil (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Decision Support for Security-Control Identification Using Machine Learning. - Seifeddine Bettaieb; Seung Yeob Shin; Mehrdad Sabetzadeh; Lionel C. Briand; Grégory Nou; Michael Garceau (REFSQ, 2019)

Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Chetan Arora 002; Frank Zimmer (CoRR, 2019)

Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. - Seung Yeob Shin; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Chetan Arora 002; Frank Zimmer (SEAMS@ICSE, 2020)

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (CoRR, 2020)

Using machine learning to assist with the selection of security controls during security assessment. - Seifeddine Bettaieb; Seung Yeob Shin; Mehrdad Sabetzadeh; Lionel C. Briand; Michael Garceau; Antoine Meyers (Empir. Softw. Eng., 2020)

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. - Seung Yeob Shin; Karim Chaouch; Shiva Nejati 001; Mehrdad Sabetzadeh; Lionel C. Briand; Frank Zimmer (J. Syst. Softw., 2021)

Optimal priority assignment for real-time systems: a coevolution-based approach. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand (Empir. Softw. Eng., 2022)

Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. - Jaekwon Lee; Seung Yeob Shin; Lionel C. Briand; Shiva Nejati 001 (CoRR, 2023)

Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach. - Claudio Mandrioli; Seung Yeob Shin; Martina Maggio; Domenico Bianculli; Lionel C. Briand (CoRR, 2023)

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. - Jaekwon Lee; Seung Yeob Shin; Shiva Nejati 001; Lionel C. Briand; Yago Isasi Parache (ACM Trans. Softw. Eng. Methodol., 2023)

Towards Generating Executable Metamorphic Relations Using Large Language Models. - Seung Yeob Shin; Fabrizio Pastore; Domenico Bianculli; Alexandra Baicoianu (QUATIC, 2024)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers. - Raphaël Ollando; Seung Yeob Shin; Lionel C. Briand (CoRR, 2024)

Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages. - Jaekwon Lee; Seung Yeob Shin; Lionel C. Briand; Shiva Nejati 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Stress Testing Control Loops in Cyber-physical Systems. - Claudio Mandrioli; Seung Yeob Shin; Martina Maggio; Domenico Bianculli; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2024)

Automated Smell Detection and Recommendation in Natural Language Requirements. - Alvaro Veizaga; Seung Yeob Shin; Lionel C. Briand (IEEE Trans. Software Eng., 2024)

Learning Failure-Inducing Models for Testing Software-Defined Networks. - Raphaël Ollando; Seung Yeob Shin; Lionel C. Briand (ACM Trans. Softw. Eng. Methodol., 2024)

Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems. - Raphaël Ollando; Seung Yeob Shin; Mario Minardi; Nikolas Sidiropoulos (CoRR, 2025)

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study. - Seung Yeob Shin; Fabrizio Pastore; Domenico Bianculli (CoRR, 2025)

Testing CPS With Design Assumptions-Based Metamorphic Relations and Genetic Programming. - Claudio Mandrioli; Seung Yeob Shin; Domenico Bianculli; Lionel C. Briand (IEEE Trans. Software Eng., 2025)