Publications

2020

  1. Mounifah Alenazi, Nan Niu, and Juha Savolainen, “A Novel Approach to Tracing Safety Requirements and State-Based Design Models”, 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, July 6-11, 2020, pp.848-860.

2019

2018

2017