Menouer Boubekeur

According to our database, Menouer Boubekeur authored at least 23 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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ä, Thomas Walter

Comput. Ind. Eng., 2020

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

Generating Privacy Zones in Smart Cities.

Fayola Peters, Sorren Hanvey, Suresh Veluru, Alie El-Din Mady, Menouer Boubekeur, Bashar Nuseibeh

Proceedings of the IEEE International Smart Cities Conference, 2018

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

Proceedings of the Human Systems Engineering and Design, 2018

2017

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

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, Henrik Sandberg, Menouer Boubekeur

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.

Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin

Proceedings of the Complex Systems Design & Management, 2016

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

Proceedings of the IECON 2013, 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, Susan Rea, François Pacull, Claire Guyon-Gardeux, Laurent-Frederic Ducreux, Safietou Raby Thior, Martijn Hendriks, Jacques Verriet, Szymon Fedor

Proceedings of the IECON 2013, 2013

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

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Constrained Application Protocol for Low Power Embedded Networks: A Survey.

Berta Carballido Villaverde, Dirk Pesch, Rodolfo de Paz Alberola, Szymon Fedor, Menouer Boubekeur

Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

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

Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

WSAN QoS Driven Control Model for Building Operations.

Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan

Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

2009

Compositional model-driven design of embedded code for energy-efficient buildings.

A. Mady, Menouer Boubekeur, Gregory M. Provan

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Model-driven diagnostics generation for industrial automation.

Marion Behrens, Gregory M. Provan, Menouer Boubekeur, A. Mady

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2007

SC2SCFL: Automated SystemC to SystemC^FL Translation.

Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens

Proceedings of the Embedded Computer Systems: Architectures, 2007

Empirical evaluation of two main-stream RTSJ implementations.

James Mc Enery, David Hickey, Menouer Boubekeur

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits.

Menouer Boubekeur, Michel P. Schellekens

Proceedings of the 14th IEEE International Conference on Electronics, 2007

2006

Preface.

Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2004

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

Menouer Boubekeur

PhD thesis, 2004

2003

Validation of asynchronous circuit specifications using IF/CADP.

Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani

Proceedings of the IFIP VLSI-SoC 2003, 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

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications.

Dominique Borrione, Menouer Boubekeur

Proceedings of the Forum on specification and Design Languages, 2003