default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohamad Jaber 0001
Person information
- affiliation: Google, Zurich, Switzerland
- affiliation (former): American University of Beirut, Lebanon
- affiliation (PhD 2010): Université de Grenoble I, VERIMAG, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j15]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): 100369 (2021)- 2020
- [j14]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: 100577 (2020)
2010 – 2019
- 2019
- [j13]Zeinab Shmeis, Mohamad Jaber:
A rewrite-based optimizer for Spark. Future Gener. Comput. Syst. 98: 586-599 (2019) - [j12]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): 143-163 (2019) - [j11]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): 162-175 (2019) - [c32]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: 573-582 - [i6]Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal:
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR abs/1905.13529 (2019) - 2018
- [j10]Zeinab Shmeis, Mohamad Jaber:
Fine and coarse grained composition and adaptation of spark applications. Future Gener. Comput. Syst. 86: 629-640 (2018) - [j9]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: 143-177 (2018) - [j8]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): 1-18 (2018) - [j7]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): 9:1-9:48 (2018) - [c31]Rayan Hallal, Mohamad Jaber, Rasha Abdallah:
From Global Choreography to Efficient Distributed Implementation. HPCS 2018: 756-763 - [c30]Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone:
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018: 255-274 - [c29]Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425 - [i5]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 abs/1805.08406 (2018) - 2017
- [j6]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): 341-365 (2017) - [c28]Mohamad Jaber, Mohamed Nassar, Wael Al Rahal Al Orabi, Bilal Abi Farraj, Mohamad Omar Kayali, Chadi Helwe:
Reconfigurable and Adaptive Spark Applications. CLOSER 2017: 84-91 - [c27]Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone:
User-based Load Balancer in HBase. CLOSER 2017: 364-368 - [c26]Haitham Bou-Ammar, Mohamad Jaber, Mohamed Nassar:
Correctness-by-Learning of Infinite-State Component-Based Systems. FACS 2017: 162-178 - [c25]Hrag Yoghourdjian, Shady Elbassuoni, Mohamad Jaber, Hiba Arnaout:
Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs. KDIR 2017: 17-26 - [i4]Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017) - 2016
- [j5]Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016) - [c24]Randa El Khatib, Julia El Zini, David Joseph Wrisley, Mohamad Jaber, Shady Elbassuoni:
TopoText: Interactive Digital Mapping of Literary Text. COLING (Demos) 2016: 189-193 - [c23]Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing Crosscutting Concerns in Component-Based Systems. SEFM 2016: 367-385 - [c22]Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir:
Automated FPGA implementations of BIP designs. SIES 2016: 165-170 - 2015
- [j4]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): 173-199 (2015) - [c21]Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang:
Formal Verification of Infinite-State BIP Models. ATVA 2015: 326-343 - [c20]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: 337-344 - [c19]Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber:
Runtime enforcement for component-based systems. SAC 2015: 1789-1796 - [i3]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 abs/1508.02153 (2015) - 2014
- [c18]Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber:
Architecture internalisation in BIP. CBSE 2014: 169-178 - [c17]Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket:
Reduction and Abstraction Techniques for BIP. FACS 2014: 288-305 - [c16]Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A General Framework for Architecture Composability. SEFM 2014: 128-143 - [i2]Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber:
Runtime Enforcement for Component-Based Systems. CoRR abs/1406.5708 (2014) - [i1]Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket:
From High-Level Modeling Towards Efficient and Trustworthy Circuits. CoRR abs/1409.8146 (2014) - 2013
- [c15]Mohamad Jaber, Alexandre Chagoya-Garzon, Frédéric Rousseau:
From system model formalization towards correct and efficient HW/SW design. DTIS 2013: 88-93 - [c14]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: 161-177 - 2012
- [j3]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
A framework for automated distributed implementation of component-based models. Distributed Comput. 25(5): 383-409 (2012) - [c13]Mohamad Jaber, Roberto G. Cascella, Chadi Barakat:
Using host profiling to refine statistical application identification. INFOCOM 2012: 2746-2750 - [c12]Yliès Falcone, Sebastian Currea, Mohamad Jaber:
Runtime Verification and Enforcement for Android Applications with RV-Droid. RV 2012: 88-95 - [c11]Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis:
Modeling Dynamic Architectures Using Dy-BIP. SC@TOOLS 2012: 1-16 - 2011
- [j2]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): 41-48 (2011) - [c10]Mohamad Jaber, Roberto G. Cascella, Chadi Barakat:
Can We Trust the Inter-Packet Time for Traffic Classification? ICC 2011: 1-5 - [c9]Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber:
Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS 2011: 65-68 - [c8]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime Verification of Component-Based Systems. SEFM 2011: 204-220 - 2010
- [b1]Mohamad Jaber:
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). Joseph Fourier University, Grenoble, France, 2010 - [j1]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics 6(4): 708-718 (2010) - [c7]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218 - [c6]Yliès Falcone, Mohamad Jaber:
Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Software Engineering Research and Practice 2010: 495-499 - [c5]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117
2000 – 2009
- 2009
- [c4]Mohamad Jaber, Chadi Barakat:
Enhancing Application Identification by Means of Sequential Testing. Networking 2009: 287-300 - [c3]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160 - [c2]Mohamad Jaber, Ananda Basu, Simon Bliudze:
Symbolic Implementation of Connectors in BIP. ICE 2009: 41-55 - 2008
- [c1]Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez:
Using neural networks for quality management. ETFA 2008: 1441-1448
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
