Antoine El-Hokayem

From MaRDI portal
Person:1648652

Available identifiers

zbMath Open el-hokayem.antoineMaRDI QIDQ1648652

List of research outcomes





PublicationDate of PublicationType
Opportunistic monitoring of multithreaded programs2023-11-24Paper
From global choreographies to verifiable efficient distributed implementations2020-08-17Paper
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework2018-06-27Paper

Research outcomes over time


This page was built for person: Antoine El-Hokayem

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1648652&oldid=6308356"
Powered by MediaWiki