Using neural networks for quality management. - Mohamad Jaber 001; Jacques Combaz; Loïc Strus; Jean-Claude Fernandez (ETFA, 2008)

Enhancing Application Identification by Means of Sequential Testing. - Mohamad Jaber 001; Chadi Barakat (Networking, 2009)

Symbolic Implementation of Connectors in BIP - Mohamad Jaber 001; Ananda Basu; Simon Bliudze (ICE, 2009)

From high-level component-based models to distributed implementations. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (EMSOFT, 2010)

Towards Automatic Integration of Or-BAC Security Policies Using Aspects. - Yliès Falcone; Mohamad Jaber 001 (Software Engineering Research and Practice, 2010)

Automated Conflict-free distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (SIES, 2010)

Source-to-Source Architecture Transformation for Performance Optimization in BIP. - Marius Bozga; Mohamad Jaber 001; Joseph Sifakis (IEEE Trans. Ind. Informatics, 2010)

Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP). - Mohamad Jaber 001 (2010)

Can We Trust the Inter-Packet Time for Traffic Classification? - Mohamad Jaber 001; Roberto G. Cascella; Chadi Barakat (ICC, 2011)

Model-based design and distributed implementation of bus arbiter for multiprocessors. - Imene Ben Hafaiedh; Susanne Graf; Mohamad Jaber 001 (ICECS, 2011)

Runtime Verification of Component-Based Systems. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (SEFM, 2011)

Rigorous Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

Using host profiling to refine statistical application identification. - Mohamad Jaber 001; Roberto G. Cascella; Chadi Barakat (INFOCOM, 2012)

Runtime Verification and Enforcement for Android Applications with RV-Droid. - Yliès Falcone; Sebastian Currea; Mohamad Jaber 001 (RV, 2012)

Modeling Dynamic Architectures Using Dy-BIP. - Marius Bozga; Mohamad Jaber 001; Nikolaos Maris; Joseph Sifakis (SC@TOOLS, 2012)

A framework for automated distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (Distributed Comput., 2012)

From system model formalization towards correct and efficient HW/SW design. - Mohamad Jaber 001; Alexandre Chagoya-Garzon; Frédéric Rousseau 001 (DTIS, 2013)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Architecture internalisation in BIP. - Simon Bliudze; Joseph Sifakis; Marius Bozga; Mohamad Jaber 001 (CBSE, 2014)

Reduction and Abstraction Techniques for BIP. - Mohamad Noureddine; Mohamad Jaber 001; Simon Bliudze; Fadi A. Zaraket (FACS, 2014)

From High-Level Modeling Towards Efficient and Trustworthy Circuits. - Mohamad Jaber 001; Mohamad Noureddine; Fadi A. Zaraket (CoRR, 2014)

Formal Verification of Infinite-State BIP Models. - Simon Bliudze; Alessandro Cimatti; Mohamad Jaber 001; Sergio Mover; Marco Roveri; Wajeb Saab; Qiang Wang 020 (ATVA, 2015)

Separation of concerns for hardware components of embedded systems in BIP. - Maya H. Safieddine; Rouwaida Kanj; Fadi A. Zaraket; Ali S. Elzein; Mohamad Jaber 001 (ISQED, 2015)

Runtime enforcement for component-based systems. - Hadil Charafeddine; Khalil El-Harake; Yliès Falcone; Mohamad Jaber 001 (SAC, 2015)

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (Softw. Syst. Model., 2015)

TopoText: Interactive Digital Mapping of Literary Text. - Randa El Khatib; Julia El Zini; David Joseph Wrisley; Mohamad Jaber 001; Shady Elbassuoni (COLING (Demos), 2016)

Modularizing Crosscutting Concerns in Component-Based Systems. - Antoine El-Hokayem; Yliès Falcone; Mohamad Jaber 001 (SEFM, 2016)

Automated FPGA implementations of BIP designs. - Maya H. Safieddine; Fadi A. Zaraket; Mohamad Jaber 001; Rouwaida Kanj; Mazen A. R. Saghir (SIES, 2016)

A general framework for architecture composability. - Paul C. Attie; Eduard Baranov; Simon Bliudze; Mohamad Jaber 001; Joseph Sifakis (Formal Aspects Comput., 2016)

User-based Load Balancer in HBase. - Ahmad Ghandour; Mariam Moukalled; Mohamad Jaber 001; Yliès Falcone (CLOSER, 2017)

Reconfigurable and Adaptive Spark Applications. - Mohamad Jaber 001; Mohamed Nassar 001; Wael Al Rahal Al Orabi; Bilal Abi Farraj; Mohamad Omar Kayali; Chadi Helwe (CLOSER, 2017)

Correctness-by-Learning of Infinite-State Component-Based Systems. - Haitham Bou-Ammar; Mohamad Jaber 001; Mohamed Nassar 001 (FACS, 2017)

Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs. - Hrag Yoghourdjian; Shady Elbassuoni; Mohamad Jaber 001; Hiba Arnaout (KDIR, 2017)

Monitoring Distributed Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Mohamad Jaber 001; Saddek Bensalem; Marius Bozga (CoRR, 2017)

Fully automated runtime enforcement of component-based systems with formal and sound recovery. - Yliès Falcone; Mohamad Jaber 001 (Int. J. Softw. Tools Technol. Transf., 2017)

From Global Choreography to Efficient Distributed Implementation. - Rayan Hallal; Mohamad Jaber 001; Rasha Abdallah (HPCS, 2018)

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. - Salwa Kobeissi; Adnan Utayim; Mohamad Jaber 001; Yliès Falcone (IFM, 2018)

Tracing Distributed Component-Based Systems, a Brief Overview. - Yliès Falcone; Hosein Nazarpour; Mohamad Jaber 001; Marius Bozga; Saddek Bensalem (RV, 2018)

Fine and coarse grained composition and adaptation of spark applications. - Zeinab Shmeis; Mohamad Jaber 001 (Future Gener. Comput. Syst., 2018)

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. - Antoine El-Hokayem; Yliès Falcone; Mohamad Jaber 001 (J. Log. Algebraic Methods Program., 2018)

A high-level modeling language for the efficient design, implementation, and testing of Android applications. - Mohamad Jaber 001; Yliès Falcone; Kinan Dak-Al-Bab; John Abou-Jaoudeh; Mostafa El-Katerji (Int. J. Softw. Tools Technol. Transf., 2018)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

FA-KES: A Fake News Dataset around the Syrian War. - Fatima K. Abu Salem; Roaa Al Feel; Shady Elbassuoni; Mohamad Jaber 001; May Farah (ICWSM, 2019)

From Global Choreographies to Provably Correct and Efficient Distributed Implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal (CoRR, 2019)

A rewrite-based optimizer for Spark. - Zeinab Shmeis; Mohamad Jaber 001 (Future Gener. Comput. Syst., 2019)

From high-level modeling toward efficient and trustworthy circuits. - Fadi A. Zaraket; Mohamad Jaber 001; Mohamad Noureddine; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2019)

A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid. - Fatima K. Abu Salem; Mohamad Jaber 001; Chadi Abdallah; Omar Mehio; Sara Najem (IEEE Trans. Comput. Soc. Syst., 2019)

From global choreographies to verifiable efficient distributed implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal; Antoine El-Hokayem (J. Log. Algebraic Methods Program., 2020)

Meta-learning for fake news detection surrounding the Syrian war. - Fatima K. Abu Salem; Roaa Al Feel; Shady Elbassuoni; Hiyam Ghannam; Mohamad Jaber 001; May Farah (Patterns, 2021)