Menouer Boubekeur

25 papers B 1C 6Journal 3Unranked 13

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Empowering and engaging industrial workers with Operator 4.0 solutions. Comput. Ind. Eng. 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
2018	J	`jnl`	A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration. Proc. IEEE Kaveh Paridari, Niamh O'Mahony, Alie El-Din Mady, Rohan Chabukswar, Menouer Boubekeur, Henrik Sandberg
2018	—	`conf`	Generating Privacy Zones in Smart Cities. ISC2 Fayola Peters, Sorren Hanvey, Suresh Veluru, Alie El-Din Mady, Menouer Boubekeur, Bashar Nuseibeh
2018	—	`conf`	User Evaluation of Industry 4.0 Concepts for Worker Engagement. IHSED Susanna Aromaa, Marja Liinasuo, Eija Kaasinen, Michael Bojko, Franziska Schmalfuß, Konstantinos C. Apostolakis, Dimitrios Zarpalas, Petros Daras, Cemalettin Öztürk, Menouer Boubekeur
2017	J	`jnl`	Topology-Aware Access Control of Smart Spaces. Computer Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
2016	—	`conf`	Cyber-Physical-Security Framework for Building Energy Management System. ICCPS Kaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar, Jacobo Blanco, André Teixeira, Henrik Sandberg, Menouer Boubekeur
2016	—	`conf`	Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. CSDM Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin
2013	C	`conf`	Architecture for self-organizing, co-operative and robust Building Automation Systems. IECON 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
2013	B	`conf`	Explanations and Relaxations for Policy Conflicts in Physical Access Control. ICTAI Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur
2013	C	`conf`	Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool. IECON 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
2012	—	`conf`	Constrained Application Protocol for Low Power Embedded Networks: A Survey. IMIS Berta Carballido Villaverde, Dirk Pesch, Rodolfo de Paz Alberola, Szymon Fedor, Menouer Boubekeur
2010	—	`conf`	Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. SOCO Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan, Conor Ryan, Kenneth N. Brown
2010	—	`conf`	WSAN QoS Driven Control Model for Building Operations. SOCO Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan
2009	C	`conf`	Compositional model-driven design of embedded code for energy-efficient buildings. INDIN A. Mady, Menouer Boubekeur, Gregory M. Provan
2009	C	`conf`	Model-driven diagnostics generation for industrial automation. INDIN Marion Behrens, Gregory M. Provan, Menouer Boubekeur, A. Mady
2009	—	`ed.`	Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006 MFCSIT Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
2007	—	`conf`	Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits. ICECS Menouer Boubekeur, Michel P. Schellekens
2007	—	`conf`	Empirical evaluation of two main-stream RTSJ implementations. JTRES James Mc Enery, David Hickey, Menouer Boubekeur
2007	—	`conf`	SC2SCFL: Automated SystemC to SystemC SAMOS Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens
2006	—	`conf`	Preface. MFCSIT Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
2004	—	`—`	Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools). Menouer Boubekeur
2003	—	`conf`	An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. HICSS Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Siriani
2003	C	`conf`	Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. FDL Dominique Borrione, Menouer Boubekeur
2003	—	`conf`	Validation of Asynchronous Circuit Specifications Using IF/CADP. VLSI-SoC (Selected Papers) Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
2003	C	`conf`	Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani