![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Menouer Boubekeur
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j3]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:
Empowering and engaging industrial workers with Operator 4.0 solutions. Comput. Ind. Eng. 139: 105678 (2020)
2010 – 2019
- 2018
- [j2]Kaveh Paridari, Niamh O'Mahony, Alie El-Din Mady, Rohan Chabukswar
, Menouer Boubekeur, Henrik Sandberg
:
A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration. Proc. IEEE 106(1): 113-128 (2018) - [c20]Susanna Aromaa
, Marja Liinasuo, Eija Kaasinen
, Michael Bojko, Franziska Schmalfuß
, Konstantinos C. Apostolakis
, Dimitrios Zarpalas, Petros Daras
, Cemalettin Öztürk
, Menouer Boubekeur:
User Evaluation of Industry 4.0 Concepts for Worker Engagement. IHSED 2018: 34-40 - [c19]Fayola Peters, Sorren Hanvey, Suresh Veluru, Alie El-Din Mady, Menouer Boubekeur, Bashar Nuseibeh:
Generating Privacy Zones in Smart Cities. ISC2 2018: 1-8 - 2017
- [j1]Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos
, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
:
Topology-Aware Access Control of Smart Spaces. Computer 50(7): 54-63 (2017) - 2016
- [c18]Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin:
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. CSDM 2016: 57-69 - [c17]Kaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar
, Jacobo Blanco, André Teixeira
, Henrik Sandberg
, Menouer Boubekeur:
Cyber-Physical-Security Framework for Building Energy Management System. ICCPS 2016: 18:1-18:9 - 2013
- [c16]Fatih Turkmen
, Simon N. Foley
, Barry O'Sullivan
, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis
, Menouer Boubekeur:
Explanations and Relaxations for Policy Conflicts in Physical Access Control. ICTAI 2013: 330-336 - [c15]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
:
Architecture for self-organizing, co-operative and robust Building Automation Systems. IECON 2013: 7708-7713 - [c14]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
:
Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool. IECON 2013: 7726-7732 - 2012
- [c13]Berta Carballido Villaverde, Dirk Pesch
, Rodolfo de Paz Alberola, Szymon Fedor
, Menouer Boubekeur:
Constrained Application Protocol for Low Power Embedded Networks: A Survey. IMIS 2012: 702-707 - 2010
- [c12]Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan:
WSAN QoS Driven Control Model for Building Operations. SOCO 2010: 237-247 - [c11]Alie El-Din Mady, Menouer Boubekeur, Gregory M. Provan, Conor Ryan
, Kenneth N. Brown:
Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. SOCO 2010: 249-259
2000 – 2009
- 2009
- [c10]A. Mady, Menouer Boubekeur, Gregory M. Provan
:
Compositional model-driven design of embedded code for energy-efficient buildings. INDIN 2009: 250-255 - [c9]Marion Behrens, Gregory M. Provan
, Menouer Boubekeur, A. Mady:
Model-driven diagnostics generation for industrial automation. INDIN 2009: 708-714 - [e1]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, MFCSIT 2006, Cork, Ireland, August 1-5, 2006. Electronic Notes in Theoretical Computer Science 225, Elsevier 2009 [contents] - 2007
- [c8]Menouer Boubekeur, Michel P. Schellekens:
Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits. ICECS 2007: 283-286 - [c7]James Mc Enery, David Hickey, Menouer Boubekeur:
Empirical evaluation of two main-stream RTSJ implementations. JTRES 2007: 47-54 - [c6]Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens:
SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45 - 2006
- [c5]Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
:
Preface. MFCSIT 2006: 1-2 - 2004
- [b1]Menouer Boubekeur:
Validation de Spécifications de Circuits Asynchrones : Méthodes et outils. (Validation of Asynchronous Circuits Specifications: Methods and tools). Joseph Fourier University, Grenoble, France, 2004 - 2003
- [c4]Dominique Borrione, Menouer Boubekeur:
Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. FDL 2003: 481-492 - [c3]Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud
, Antoine Siriani:
An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. HICSS 2003: 279 - [c2]Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani:
Validation of Asynchronous Circuit Specifications Using IF/CADP. VLSI-SoC (Selected Papers) 2003: 85-100 - [c1]Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani:
Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC 2003: 86-91
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint