Search the dblp DataBase

Publications of Author

1. Abdelouahed Gherbi, Ferhat Khendek
   From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation. [Citation Graph (0, 0)][DBLP]
   ISORC, 2006, pp:343-350 [Conf]
   
2. Abdelouahed Gherbi, Ferhat Khendek
   Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. [Citation Graph (0, 0)][DBLP]
   SAM, 2006, pp:34-48 [Conf]
   
3. Abdelouahed Gherbi, Ferhat Khendek
   UML Profiles for Real-Time Systems and their Applications. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2006, v:5, n:4, pp:149-169 [Journal]
   
4. Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi
   E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2005, v:4, n:1, pp:83-108 [Journal]
   
5. Mourad Debbabi, Abdelouahed Gherbi, Azzam Mourad, Hamdi Yahyaoui
   A selective dynamic compiler for embedded Java virtual machines targeting ARM processors. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2006, v:59, n:1-2, pp:38-63 [Journal]
   
6. Abdelouahed Gherbi, Ferhat Khendek
   Consistency of UML/SPT Models. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:203-224 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   PPPJ, 2004, pp:107-113 [Conf]
   
8. Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
   A dynamic compiler for embedded Java virtual machines. [Citation Graph (0, 0)][DBLP]
   PPPJ, 2004, pp:100-106 [Conf]
   
9. 
   Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. [Citation Graph (, )][DBLP]
   
   
10. 
    The Impact of the Model-Driven Approach to Software Engineering on Software Engineering Education. [Citation Graph (, )][DBLP]
    
    
11. 
    A Tool Suite for the Generation and Validation of Configurations for Software Availability. [Citation Graph (, )][DBLP]
    
    
12. 
    Checking Service Instance Protection for AMF Configurations. [Citation Graph (, )][DBLP]
    
    
13. 
    From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. [Citation Graph (, )][DBLP]