• 2 Citaties
20182019

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Omar Alduhaiby actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

  • 2 Citaties
  • 2 Conferentiebijdrage
  • 1 Rapport

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. blz. 54-68 15 blz. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
  • 17 Downloads (Pure)

    Distribution of Behaviour into parallel communicating subsystems

    Alduhaiby, O. & Groote, J. F., 30 mei 2019, arXiv.org. 14 blz.

    Onderzoeksoutput: Boek/rapportRapportAcademic

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2 Citaten (Scopus)
    1 Downloads (Pure)

    Cursussen

    Computer systems

    1/09/09 → …

    Cursus