Home // SnT // People // Seung Yeob Shin

Seung Yeob Shin

Seung Yeob Shin

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E01-113
Telephone (+352) 46 66 44 5238
Fax (+352) 46 66 44 35238

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: Thursday, 05 January 2017

powered by


Full Text
See detailDecision Support for Security-Control Identification Using Machine Learning
Bettaieb, Seifeddine; Shin, Seung Yeob; Sabetzadeh, Mehrdad; Briand, Lionel; Nou, Grégory; Garceau, Michael

in International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019 (2019)

Top of Page


Full Text
See detailHITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
Shin, Seung Yeob; Chaouch, Karim; Nejati, Shiva; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)

Full Text
See detailTest Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
Shin, Seung Yeob; Nejati, Shiva; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)

Top of Page


Full Text
See detailSpecification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
Shin, Seung Yeob

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)

Full Text
See detailDiscrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling
Shin, Seung Yeob; Brun, Yuriy; Balasubramanian, Hari; Henneman, Philip L.; Osterweil, Leon J.

in IEEE Transactions on Systems, Man, and Cybernetics: Systems (2017)

Top of Page