Research Profile

Menouer Boubekeur

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

 YearPublication
(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

 YearPublication
(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

 YearPublication
(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

 YearTitleAwarding Body
2007Royal Irish Academy Research Visit Grant Award Royal Irish Academy
2006ICCES'07 best student paper award. ICCES'07 conference board

Employment

 EmployerPositionFrom / To
CEOL, CS Dept. Post-doc researcher01-FEB-04 / 01-DEC-07
CCSL: Cork Complex Systems Lab Senior Post-doc Researcher01-JAN-08 /
TIMA Lab, Grenoble, France Research assistant01-OCT-00 / 11-JAN-04

Education

 YearInstituionQualificationSubject
2004University Joseph Fourier, Grenoble I. PHDComputer Science
2000University Joseph Fourier, Grenoble I. MAComputer Science

Other Activities

 Description

Visits Abroad:

Cancordia University, Montreal, Canada.



Invited researcher, give presentations about my recent research works



3 days in February 2008



Technische Universitaet Wien, Vienna, Austria.



Research visit: Elaboration of a research collaboration project. 



Three weeks in March 2008



Cancordia University, Montreal, Canada.



Invited researcher, give presentation about my recent research works



2 days in February March 2007





Tima and Verimag Laboratories, Grenoble, France



Invited researcher, give presentations about my recent research works.



3 days, September 2005.








Research Talks:

Cancordia University, Montreal, Canada.



Integrated modelling platform for smart building.



February 15th, 2008



Technische Universitaet Wien, Vienna, Austria.



Advanced average case analysis for Real-Time Java.



March 18th, 2008



Southampton University, UK



Advanced Techniques for Formal Analysis of Embedded Systems 



October  8th,  2007



Tima Laboratory, Grenoble, France



Average case timing analysis for real-time java.



September 13th, 2005







Contact details

Search profiles by name

Search profiles by topic

School of Computer Science and Information Technology

Scoil na Ríomheolaíochta agus na Teicneolaíochta Faisnéise

School of Computer Science and Information Technology, Western Gateway Building, University College Cork, Western Road, Cork, Ireland

Top