Mohamad Jaber

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 30

Top Topics

Formal Verification

Layered Architecture

Modeling Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

Future Gener. Comput. Syst.

Publications

Fatima K. Abu Salem, Roaa Al Feel, Shady Elbassuoni, Hiyam Ghannam, Mohamad Jaber, May Farah
Meta-learning for fake news detection surrounding the Syrian war. Patterns 2 (11) (2021)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115 (2020)
Zeinab Shmeis, Mohamad Jaber
A rewrite-based optimizer for Spark. Future Gener. Comput. Syst. 98 (2019)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR (2019)
Fatima K. Abu Salem, Roaa Al Feel, Shady Elbassuoni, Mohamad Jaber, May Farah
FA-KES: A Fake News Dataset around the Syrian War. ICWSM (2019)
Fatima K. Abu Salem, Mohamad Jaber, Chadi Abdallah, Omar Mehio, Sara Najem
A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid. IEEE Trans. Comput. Soc. Syst. 6 (1) (2019)
Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM (2018)
Zeinab Shmeis, Mohamad Jaber
Fine and coarse grained composition and adaptation of spark applications. Future Gener. Comput. Syst. 86 (2018)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework. CoRR (2018)
Rayan Hallal, Mohamad Jaber, Rasha Abdallah
From Global Choreography to Efficient Distributed Implementation. HPCS (2018)
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
Tracing Distributed Component-Based Systems, a Brief Overview. RV (2018)
Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji
A high-level modeling language for the efficient design, implementation, and testing of Android applications. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. J. Log. Algebraic Methods Program. 99 (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Mohamad Jaber, Mohamed Nassar, Wael Al Rahal Al Orabi, Bilal Abi Farraj, Mohamad Omar Kayali, Chadi Helwe
Reconfigurable and Adaptive Spark Applications. CLOSER (2017)
Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone
User-based Load Balancer in HBase. CLOSER (2017)
Haitham Bou-Ammar, Mohamad Jaber, Mohamed Nassar
Correctness-by-Learning of Infinite-State Component-Based Systems. FACS (2017)
Hrag Yoghourdjian, Shady Elbassuoni, Mohamad Jaber, Hiba Arnaout
Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs. KDIR (2017)
Yliès Falcone, Mohamad Jaber
Fully automated runtime enforcement of component-based systems with formal and sound recovery. Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. CoRR (2017)
Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir
Automated FPGA implementations of BIP designs. SIES (2016)
Randa El Khatib, Julia El Zini, David Wrisley, Mohamad Jaber, Shady Elbassuoni
TopoText: Interactive Digital Mapping of Literary Text. COLING (Demos) (2016)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A general framework for architecture composability. Formal Aspects Comput. 28 (2) (2016)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing Crosscutting Concerns in Component-Based Systems. SEFM (2016)
Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber
Separation of concerns for hardware components of embedded systems in BIP. ISQED (2015)
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14 (1) (2015)
John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications. CoRR (2015)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
Runtime enforcement for component-based systems. SAC (2015)
Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
Reduction and Abstraction Techniques for BIP. FACS (2014)
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
From High-Level Modeling Towards Efficient and Trustworthy Circuits. CoRR (2014)
Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
Architecture internalisation in BIP. CBSE (2014)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A General Framework for Architecture Composability. SEFM (2014)
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
Runtime Enforcement for Component-Based Systems. CoRR (2014)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE (2013)
Mohamad Jaber, Alexandre Chagoya-Garzon, Frédéric Rousseau
From system model formalization towards correct and efficient HW/SW design. DTIS (2013)
Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
Modeling Dynamic Architectures Using Dy-BIP. SC@TOOLS (2012)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
A framework for automated distributed implementation of component-based models. Distributed Comput. 25 (5) (2012)
Yliès Falcone, Sebastian Currea, Mohamad Jaber
Runtime Verification and Enforcement for Android Applications with RV-Droid. RV (2012)
Mohamad Jaber, Roberto G. Cascella, Chadi Barakat
Using host profiling to refine statistical application identification. INFOCOM (2012)
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Runtime Verification of Component-Based Systems. SEFM (2011)
Mohamad Jaber, Roberto G. Cascella, Chadi Barakat
Can We Trust the Inter-Packet Time for Traffic Classification? ICC (2011)
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 Softw. 28 (3) (2011)
Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber
Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS (2011)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
From high-level component-based models to distributed implementations. EMSOFT (2010)
Marius Bozga, Mohamad Jaber, Joseph Sifakis
Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics 6 (4) (2010)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
Automated Conflict-free distributed implementation of component-based models. SIES (2010)
Yliès Falcone, Mohamad Jaber
Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Software Engineering Research and Practice (2010)
Marius Bozga, Mohamad Jaber, Joseph Sifakis
Source-to-source architecture transformation for performance optimization in BIP. SIES (2009)
Mohamad Jaber, Chadi Barakat
Enhancing Application Identification by Means of Sequential Testing. Networking (2009)
Mohamad Jaber, Ananda Basu, Simon Bliudze
Symbolic Implementation of Connectors in BIP ICE (2009)
Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez
Using neural networks for quality management. ETFA (2008)