• 2 Citations
20182019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Omar Alduhaiby is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 2 Citations
  • 2 Conference contribution
  • 1 Report

Distribution of behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. p. 54-68 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
  • 15 Downloads (Pure)

    Distribution of Behaviour into parallel communicating subsystems

    Alduhaiby, O. & Groote, J. F., 30 May 2019, arXiv.org. 14 p.

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • Pitfalls in applying model learning to industrial legacy software

    al Duhaiby, O., Mooij, A., van Wezep, H. & Groote, J. F., 30 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2 Citations (Scopus)
    1 Downloads (Pure)

    Courses

    Computer systems

    1/09/09 → …

    Course