|
Dr. Menouer Boubekeur web site |
|
Doubt is the key to knowledge. Arabic proverb. |
|
Research Interests
|
|
|
|
|
|
Real time and embedded systems and languages, |
|
|
Timing and scheduling analysis of real time systems |
|
|
Application of formal methods for specification, validation and test, |
|
|
Formal Verification/Validation of Asynchronous Circuits, |
|
|
Models for distributed and asynchronous systems, |
|
|
Formal validation of high-level specifications, |
|
|
Verification and modelling of digital systems, |
|
|
|
|
|
To contact Dr. M. Boubekeur |
|
|
Email : menouer.boubekeur(at)cs.ucc.ie |
CEOL, Lancaster Hall, 6 Little Hanover street, Cork, Ireland. |
