Towards Formal Verification of Orchestration Computations Using the 핂 Framework. - Musab A. AlTurki; Omar Alzuhaibi (FM, 2015)

Pitfalls in Applying Model Learning to Industrial Legacy Software. - Omar al Duhaiby; Arjan J. Mooij; Hans van Wezep; Jan Friso Groote (ISoLA (4), 2018)

Distribution of Behaviour into Parallel Communicating Subsystems. - Omar al Duhaiby; Jan Friso Groote (EXPRESS/SOS, 2019)

Active Learning of Decomposable Systems. - Omar al Duhaiby; Jan Friso Groote (FormaliSE@ICSE, 2020)