I am currently second year PhD student. I work jointly with Marius Bozga and Joseph Sifakis on the development of theory, methods and tools for Source-to-Source Transformation in component-based systems decribed in BIP. We have recently developed BIP2BIP toolset which implements a method to flatten a system description specified with hierarchical components in the BIP language into a single monolithic component. This then allows more efficient code generation from the description by avoiding dynamic run-time calls to the BIP execution environment. Currently I'm working in distributed implemention of BIP.

Publications

• International Conference
  
  
1. Source-to-Source Architecture Transformation for Performace Optimization in BIP.
   M. Bozga, M. Jaber, J. Sifakis.
   SIES 2009, July 8-10, Lausanne, Switzerland. IEEE.
   
   
2. Towards Automatic Integration of an Or-BAC Security Policy.
   Y. Falcone, J-C. Fernandez, M. Jaber.
   ISPS 2009, May 25-27, Algiers, Algeria.
   
   
3. Using Neural Network for Quality Manegment.
   M. Jaber, J. Combaz, L. Strus, J-C. Fernandez.
   ETFA 2008, September 15-18, Hamburg, Germany. IEEE.
   
   
• International Workshop
  
  
1. Symbolic Implementation of Connectors in BIP
   M. Jaber, A. Basu, S. Bliudze.
   ICE 2009, August 31, Bologne, Italy CONCUR 2009 affiliated workshop
   
   
• National Conference

1. Vers l'Intégration Automatique d'une Politique de Sécurité Or-BAC.
   Y. Falcone, M. Jaber.
   MajecSTIC 2007, Octobre 29-31, Caen, France.
   
   
• Technical Reports
  
  
  1. Source-to-Source Architecture Transformation for Performance Optimization in BIP.
     M. Bozga, M. Jaber, J. Sifakis.
     Verimag Technical Report, March 2009