BIOGRAPHY
Dr. Menouer Boubekeur received his Ph.D. Degree in Computer Science from the University of Joseph Fourier, Grenoble, France in 2004.
He obtained his engineering degree in Computer Science in 1997 from the University of Es-Senia (Oran, Algeria). From 1997 to 1999 he worked as a computer science engineer at ADEM Info (Private company in Oran).
He Joined IMAG institute in Grenoble where he obtained his Master degree in computer sciences in 2000. Later, he joined the VDS group of TIMA Laboratory in the University of Joseph Fourier where he obtained his PhD Degree. He is currently working at the CEOL centre as a researcher, his research interests are mainly real time systems and formal verification methods.
Research Interests
During my job period in the computer science department I have been strongly involved in two research projects, MOQA and ITOBO. In relation to MOQA, the objective is to develop a language from which one can (semi-)automatically derive the average-case execution time. My role was the adaptation of the research effort to the emerging Real-Time Java language. This work has been done successfully and has generated several high quality peer-reviewed publications.
The ITOBO project is under development is consists of an SRC project, which is a cluster of research teams with the objective to develop new methods and technologies for energy efficient buildings with the emphasis on the development integrated platform. My role within the project is the development of a framework for system integration and service based middleware with the objective to integrate buildings services. This will allow the design of energy efficient control algorithms and facilitates diagnosis and maintenance activities. Although the project is at an early stage, I have been able in collaboration with some other researcher to develop and test and integrated modelling and simulation platform that gives a solid base for the system integration. The road map for the future research is clarified and an intensive collaborative work is underway to develop the complete ITOBO architecture through several real demonstrators.
Publications
Peer Reviewed Journals
| Year | Publication | |
|---|---|---|
| (2007) | 'A new Approach for Modular Average-Case Timing of Real-Time Java Programs' M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens ; (2007) 'A new Approach for Modular Average-Case Timing of Real-Time Java Programs' [Details] |
Conference Publications
| Year | Publication | |
|---|---|---|
| (2009) | Proc. 7th IEEE International Conference on Industrial Informatics Mady, M. Boubekeur, G. Provan ; (2009) Compositional Model-Driven Design of Embedded Code for Energy-Efficient Buildings Proc. 7th IEEE International Conference on Industrial Informatics [Details] | |
| (2007) | 14th IEEE International Conference on Electronics, Circuits and Systems M. Boubekeur and M. Schellekens; (2007) Automatic Optimization Techniques for Formal Verification of Asynchronous Circuits 14th IEEE International Conference on Electronics, Circuits and Systems [Details] | |
| (2006) | IEEE International Soc Design Conference (ISOCC) K.L. Man , M.P. Schellekens, M. Boubekeur; (2006) Formal Specification and Analysis of Analog and Mixed-Signal Circuits Using Process Algebras for Hybrid Systems (with a focus on hybrid process algebra $\ACPBM$) . In: * eds. IEEE International Soc Design Conference (ISOCC) Seoul, Korea, October, 2006, , 26-OCT-06 - 27-OCT-06 , pp.*-* [Details] | |
| (2006) | Information-MFCSIT 2006 M. Boubekeur, D. Hickey and M. Schellekens; (2006) Evaluation of MOQA Average-Case Timing Results on a Real Time Platform . In: * eds. Information-MFCSIT 2006 Cork, , 01-AUG-06 - 05-AUG-06 , pp.*-* [Details] | |
| (2006) | Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java M. Boubekeur, D. Hickey, J. Mc Enery and M. Schellekens; (2006) 6th WSEAS . In: * eds. Towards Modular Average-Case Timing in Real-Time Languages: An Application to Real-Time Java Tenerife, Spain, December 2006, , 16-DEC-06 - 18-DEC-06 , pp.*-* [Details] | |
| (2006) | Information-MFCSIT2006 M. Boubekeur, D. Hickey and M. Schellekens; (2006) Evaluation of MOQA Average-Case Timing Results on a Real Time Platform . In: * eds. Information-MFCSIT2006 Cork, , 01-AUG-06 - 05-AUG-06 , pp.*-* [Details] |
Conference Contributions
| Year | Publication | |
|---|---|---|
| (2009) | DATICS, Boubekeur M; (2009) DATICS. [Conference Organising Committee Member], DATICS, Xi'an, China , 25-MAY-09 - 27-MAY-09 | |
| (2009) | The INDIN 09 conference (2 papers), Boubekeur M; (2009) The INDIN 09 conference (2 papers). [Conference Organising Committee Chairperson], The INDIN 09 conference (2 papers), Cardiff, UK , 24-JUN-09 - 26-JUN-09 | |
| (2008) | RTAS, Boubekeur M; (2008) RTAS. [Conference Organising Committee Member], RTAS, St. Louis, MO, US , 22-APR-08 - 26-APR-08 | |
| (2008) | The CS09 conference, Boubekeur M; (2008) The CS09 conference. [Oral Presentation], The CS09 conference, Madeira, Portugal , 01-SEP-08 - 04-SEP-09 | |
| (2007) | The 2007 IEEE ICECS conference, Boubekeur M; (2007) The 2007 IEEE ICECS conference. [Conference Organising Committee Chairperson], The 2007 IEEE ICECS conference, Marrakech, Morocco , 11-DEC-07 - 14-DEC-07 | |
| (2007) | JTRES 2007, BOUBEKEUR M; (2007) JTRES 2007. [Oral Presentation], JTRES 2007, Vienna, Austria , 01-SEP-07 - 30-SEP-07 | |
| (2007) | The CCECE07 conference, Boubekeur M; (2007) The CCECE07 conference. [Oral Presentation], The CCECE07 conference, Vancouver, Canada , 22-APR-07 - 26-APR-07 | |
| (2006) | MFCSIT, Boubekeur M; (2006) MFCSIT. [Conference Organising Committee Member], MFCSIT, Cork, Ireland , 01-AUG-06 - 05-AUG-06 | |
| (2006) | The MFCSIT'06 conference, Boubekeur M ; (2006) The MFCSIT'06 conference. [Conference Organising Committee Chairperson], The MFCSIT'06 conference, Cork, Ireland , 01-AUG-06 - 31-AUG-06 |
Professional Activities
Honours and Awards
| Year | Title | Awarding Body | |
|---|---|---|---|
| 2007 | Royal Irish Academy Research Visit Grant Award | Royal Irish Academy | |
| 2006 | ICCES'07 best student paper award. | ICCES'07 conference board |
Employment
| Employer | Position | From / To | |
|---|---|---|---|
| CEOL, CS Dept. | Post-doc researcher | 01-FEB-04 / 01-DEC-07 | |
| CCSL: Cork Complex Systems Lab | Senior Post-doc Researcher | 01-JAN-08 / | |
| TIMA Lab, Grenoble, France | Research assistant | 01-OCT-00 / 11-JAN-04 |
Education
| Year | Instituion | Qualification | Subject | |
|---|---|---|---|---|
| 2004 | University Joseph Fourier, Grenoble I. | PHD | Computer Science | |
| 2000 | University Joseph Fourier, Grenoble I. | MA | Computer Science |
Other Activities
| Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Visits Abroad:
| |||||||||||||
Research Talks:
|
Contact details
- Menouer Boubekeur
Post-Doc Researcher - m.boubekeur@cs.ucc.ie
- Academic Secretariat
Ceol, Lancaster Hall,
6 Little Hanover Street
Cork - 00353 (0) 21 420-5985