Seung Yeob Shin
Orcid: 0000-0001-9025-7173
According to our database1,
Seung Yeob Shin
authored at least 22 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., June, 2024
IEEE Trans. Software Eng., April, 2024
ACM Trans. Softw. Eng. Methodol., February, 2024
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol., February, 2024
Proceedings of the Quality of Information and Communications Technology, 2024
2023
ACM Trans. Softw. Eng. Methodol., April, 2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR, 2023
2022
Empir. Softw. Eng., 2022
2021
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.
J. Syst. Softw., 2021
2020
Using machine learning to assist with the selection of security controls during security assessment.
Empir. Softw. Eng., 2020
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.
CoRR, 2020
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.
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
CoRR, 2019
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019
2018
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.
IEEE Trans. Syst. Man Cybern. Syst., 2018
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.
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.
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.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017
2016
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016
2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
2013
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013