Seung Yeob Shin

According to our database, Seung Yeob Shin authored at least 22 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., February, 2024

Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.

Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati

ACM Trans. Softw. Eng. Methodol., February, 2024

Towards Generating Executable Metamorphic Relations Using Large Language Models.

Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli, Alexandra Baicoianu

CoRR, 2024

2023

Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

ACM Trans. Softw. Eng. Methodol., April, 2023

Automated Smell Detection and Recommendation in Natural Language Requirements.

Alvaro Veizaga, Seung Yeob Shin, Lionel C. Briand

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

Probabilistic WCET Estimation for Weakly Hard Real-Time Systems.

Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati

CoRR, 2023

2022

Optimal priority assignment for real-time systems: a coevolution-based approach.

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand

Empir. Softw. Eng., 2022

Learning Failure-Inducing Models for Testing Software-Defined Networks.

Raphaël Ollando, Seung Yeob Shin, Lionel C. Briand

CoRR, 2022

2021

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.

Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer

J. Syst. Softw., 2021

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

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.

Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache

CoRR, 2020

Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.

Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019

Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach.

Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer

CoRR, 2019

Decision Support for Security-Control Identification Using Machine Learning.

Seifeddine Bettaieb, Seung Yeob Shin, Mehrdad Sabetzadeh, Lionel C. Briand, Grégory Nou, Michael Garceau

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

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

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.

Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.

Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems.

Seung Yeob Shin

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016

Specification and analysis of human-intensive system resource-utilization policies.

Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2015

Resource Specification for Prototyping Human-Intensive Systems.

Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013

Resource scheduling through resource-aware simulation of emergency departments.

Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013