Seung Yeob Shin
|
|
||||
| Fakultät oder Zentrum | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Department | SVV | ||||
| Postadresse |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Büroadresse | JFK Building, E01-107 | ||||
|
|||||
| Telefon | (+352) 46 66 44 5238 | ||||
Seung Yeob Shin received his PhD degree from the Laboratory for Advanced Software Engineering Research (LASER) in the College of Information and Computer Sciences at the University of Massachusetts Amherst in 2016. His research interests are in software engineering, focusing on system modelling and analysis through the use of simulation and model checking frameworks. Seung Yeob joined the Software Verification and Validation group - V&V Lab headed by Prof. Lionel Briand.
Last updated on: Donnerstag, den 05. Januar 2017
2022
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach; ; ;
in Empirical Software Engineering (2022), 27
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
2021
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Journal of Systems and Software (2021)
2020
Using Machine Learning to Assist with the Selection of Security Controls During Security Assessment; ; ; ; ;
in Empirical Software Engineering (2020), 25(4), 25502582
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach; ; ; ; ;
in Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20) (2020, May)
2019
Decision Support for Security-Control Identification Using Machine Learning; ; ; ; ;
in International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019 (2019)
2018
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach; ; ; ;
in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)
2017
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)in Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017) (2017, September 10)
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling; ; ; ;
in IEEE Transactions on Systems, Man, and Cybernetics (2017)
