Mohamad Jaber

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