Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. - Dominique Borrione; Menouer Boubekeur (FDL, 2003)

An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. - Dominique Borrione; Menouer Boubekeur; Emil Dumitrescu; Marc Renaudin; Jean-Baptiste Rigaud; Antoine Siriani (HICSS, 2003)

Validation of asynchronous circuit specifications using IF/CADP. - Dominique Borrione; Menouer Boubekeur; Laurent Mounier; Marc Renaudin; Antoine Siriani (VLSI-SOC, 2003)

Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools). - Menouer Boubekeur (2004)

Preface. - Anthony Karel Seda; Menouer Boubekeur; Ted Hurley; Mícheál Mac an Airchinnigh; Michel P. Schellekens; Glenn Strong (MFCSIT, 2006)

Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits. - Menouer Boubekeur; Michel P. Schellekens (ICECS, 2007)

Empirical evaluation of two main-stream RTSJ implementations. - James Mc Enery; David Hickey; Menouer Boubekeur (JTRES, 2007)

SC2SCFL: Automated SystemC to SystemCFL Translation. - Ka Lok Man; Andrea Fedeli; Michele Mercaldi; Menouer Boubekeur; Michel P. Schellekens (SAMOS, 2007)

Model-driven diagnostics generation for industrial automation. - Marion Behrens; Gregory M. Provan; Menouer Boubekeur; A. Mady (INDIN, 2009)

Compositional model-driven design of embedded code for energy-efficient buildings. - A. Mady; Menouer Boubekeur; Gregory M. Provan (INDIN, 2009)

WSAN QoS Driven Control Model for Building Operations. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan (SOCO, 2010)

Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan; Conor Ryan; Kenneth N. Brown (SOCO, 2010)

Constrained Application Protocol for Low Power Embedded Networks: A Survey. - Berta Carballido Villaverde; Dirk Pesch; Rodolfo de Paz Alberola; Szymon Fedor; Menouer Boubekeur (IMIS, 2012)

Explanations and Relaxations for Policy Conflicts in Physical Access Control. - Fatih Turkmen; Simon N. Foley; Barry O'Sullivan; William M. Fitzgerald; Tarik Hadzic; Stylianos Basagiannis; Menouer Boubekeur (ICTAI, 2013)

Architecture for self-organizing, co-operative and robust Building Automation Systems. - Franck Bernier; Joern Ploennigs; Dirk Pesch; Suzanne Lesecq; Twan Basten; Menouer Boubekeur; Dee Denteneer; Fred Oltmanns; François Bonnard; Matthias Lehmann; Tuan Linh Mai; Alan McGibney; et al. (IECON, 2013)

Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool. - François Pacull; Laurent-Frederic Ducreux; Safietou Raby Thior; Hector Moner; Davide Pusceddu; Oussama Yaakoubi; Claire Guyon-Gardeux; Szymon Fedor; Suzanne Lesecq; Menouer Boubekeur; Dirk Pesch (IECON, 2013)

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. - Thao Dang 001; Alie El-Din Mady; Menouer Boubekeur; Rajesh Kumar; Mark Moulin (CSDM, 2016)

Cyber-Physical-Security Framework for Building Energy Management System. - Kaveh Paridari; Alie El-Din Mady; Silvio La Porta; Rohan Chabukswar; Jacobo Blanco; André Teixeira 001; Henrik Sandberg; Menouer Boubekeur (ICCPS, 2016)

Topology-Aware Access Control of Smart Spaces. - Liliana Pasquale; Carlo Ghezzi; Edoardo Pasi; Christos Tsigkanos; Menouer Boubekeur; Blanca Florentino-Liaño; Tarik Hadzic; Bashar Nuseibeh (Computer, 2017)

User Evaluation of Industry 4.0 Concepts for Worker Engagement. - Susanna Aromaa; Marja Liinasuo; Eija Kaasinen; Michael Bojko; Franziska Schmalfuß; Konstantinos C. Apostolakis; Dimitrios Zarpalas; Petros Daras; Cemalettin Öztürk; Menouer Boubekeur (IHSED, 2018)

Generating Privacy Zones in Smart Cities. - Fayola Peters; Sorren Hanvey; Suresh Veluru 001; Alie El-Din Mady; Menouer Boubekeur; Bashar Nuseibeh (ISC2, 2018)

A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration. - Kaveh Paridari; Niamh O'Mahony; Alie El-Din Mady; Rohan Chabukswar; Menouer Boubekeur; Henrik Sandberg (Proc. IEEE, 2018)

Empowering and engaging industrial workers with Operator 4.0 solutions. - Eija Kaasinen; Franziska Schmalfuß; Cemalettin Öztürk; Susanna Aromaa; Menouer Boubekeur; Juhani Heilala; Päivi Heikkilä; Timo Kuula; Marja Liinasuo; Sebastian Mach; Rakesh Mehta; Esko Petäjä; et al. (Comput. Ind. Eng., 2020)