Omar al Duhaiby

According to our database, Omar al Duhaiby authored at least 4 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Active Learning of Decomposable Systems.

Omar al Duhaiby, Jan Friso Groote

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Distribution of Behaviour into Parallel Communicating Subsystems.

Omar al Duhaiby, Jan Friso Groote

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

2018

Pitfalls in Applying Model Learning to Industrial Legacy Software.

Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2015

Towards Formal Verification of Orchestration Computations Using the 핂 Framework.

Musab A. AlTurki, Omar Alzuhaibi

Proceedings of the FM 2015: Formal Methods, 2015