2007 |
9 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.
ISORC 2007: 412-419 |
8 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Consistency of UML/SPT Models.
SDL Forum 2007: 203-224 |
2006 |
7 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.
ISORC 2006: 343-350 |
6 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.
SAM 2006: 34-48 |
5 | EE | Abdelouahed Gherbi,
Ferhat Khendek:
UML Profiles for Real-Time Systems and their Applications.
Journal of Object Technology 5(4): 149-169 (2006) |
4 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Azzam Mourad,
Hamdi Yahyaoui:
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors.
Sci. Comput. Program. 59(1-2): 38-63 (2006) |
2005 |
3 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Lamia Ketari,
Chamseddine Talhi,
Hamdi Yahyaoui,
Sami Zhioua,
Nadia Tawbi:
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines.
Journal of Object Technology 4(1): 83-108 (2005) |
2004 |
2 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Lamia Ketari,
Chamseddine Talhi,
Nadia Tawbi,
Hamdi Yahyaoui,
Sami Zhioua:
A dynamic compiler for embedded Java virtual machines.
PPPJ 2004: 100-106 |
1 | EE | Mourad Debbabi,
Abdelouahed Gherbi,
Lamia Ketari,
Chamseddine Talhi,
Hamdi Yahyaoui,
Sami Zhioua:
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.
PPPJ 2004: 107-113 |