 | 2012 |
| 14 |  | Mohamad Jaber,
Roberto G. Cascella,
Chadi Barakat:
Using host profiling to refine statistical application identification.
INFOCOM 2012: 2746-2750 |
| 13 |  | Marius Bozga,
Mohamad Jaber,
Nikolaos Maris,
Joseph Sifakis:
Modeling Dynamic Architectures Using Dy-BIP.
Software Composition 2012: 1-16 |
| 2011 |
| 12 |  | Mohamad Jaber,
Roberto G. Cascella,
Chadi Barakat:
Can We Trust the Inter-Packet Time for Traffic Classification?
ICC 2011: 1-5 |
| 11 |  | Imene Ben Hafaiedh,
Susanne Graf,
Mohamad Jaber:
Model-based design and distributed implementation of bus arbiter for multiprocessors.
ICECS 2011: 65-68 |
| 10 |  | Yliès Falcone,
Mohamad Jaber,
Thanh-Hung Nguyen,
Marius Bozga,
Saddek Bensalem:
Runtime Verification of Component-Based Systems.
SEFM 2011: 204-220 |
| 9 |  | Ananda Basu,
Saddek Bensalem,
Marius Bozga,
Jacques Combaz,
Mohamad Jaber,
Thanh-Hung Nguyen,
Joseph Sifakis:
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Software 28(3): 41-48 (2011) |
| 2010 |
| 8 |  | Borzoo Bonakdarpour,
Marius Bozga,
Mohamad Jaber,
Jean Quilbeuf,
Joseph Sifakis:
From high-level component-based models to distributed implementations.
EMSOFT 2010: 209-218 |
| 7 |  | Borzoo Bonakdarpour,
Marius Bozga,
Mohamad Jaber,
Jean Quilbeuf,
Joseph Sifakis:
Automated Conflict-free distributed implementation of component-based models.
SIES 2010: 108-117 |
| 6 |  | Yliès Falcone,
Mohamad Jaber:
Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
Software Engineering Research and Practice 2010: 495-499 |
| 5 |  | Marius Bozga,
Mohamad Jaber,
Joseph Sifakis:
Source-to-Source Architecture Transformation for Performance Optimization in BIP.
IEEE Trans. Industrial Informatics 6(4): 708-718 (2010) |
| 2009 |
| 4 |  | Mohamad Jaber,
Ananda Basu,
Simon Bliudze:
Symbolic Implementation of Connectors in BIP
ICE 2009: 41-55 |
| 3 |  | Mohamad Jaber,
Chadi Barakat:
Enhancing Application Identification by Means of Sequential Testing.
Networking 2009: 287-300 |
| 2 |  | Marius Bozga,
Mohamad Jaber,
Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP.
SIES 2009: 152-160 |
| 2008 |
| 1 |  | Mohamad Jaber,
Jacques Combaz,
Loïc Strus,
Jean-Claude Fernandez:
Using neural networks for quality management.
ETFA 2008: 1441-1448 |