Generating Distributed High Integrity Applications from Their Architectural Description. - Bechir Zalila; Irfan Hamid; Jérôme Hugues; Laurent Pautet (Ada-Europe, 2007)

Real-time Connectors for Deterministic Data-flow. - Irfan Hamid; Elie Najm (RTCSA, 2007)

A Generative Approach to Building a Framework for Hard Real-Time Applications. - Irfan Hamid; Elie Najm; Jérôme Hugues (SEW, 2007)

Operational Semantics of Ada Ravenscar. - Irfan Hamid; Elie Najm (Ada-Europe, 2008)

Automatic framework generation for hard real-time applications. - Irfan Hamid; Bechir Zalila; Elie Najm; Jérôme Hugues (Innov. Syst. Softw. Eng., 2008)