Background and activities

Scientific, academic and artistic work

Displaying a selection of activities. See all publications in the database

Journal publications

Part of book/report

  • Song, Jiyoung; Tørring, Jacob Odgård; Hyun, Sangwon; Jee, Eunkyoung; Bae, Doo-Hwan. (2019) Slicing Executable System-of-Systems Models for Efficient Statistical Verification. 2019 IEEE/ACM 7th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES).