The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mohamad Jaber" ( http://dblp.L3S.de/Authors/Mohamad_Jaber )

URL (Homepage):  http://staff.aub.edu.lb/~mj54  Author page on DBLP  Author page in RDF  Community of Mohamad Jaber in ASPL-2

Publication years (Num. hits)
2008-2012 (17) 2013-2016 (16) 2017-2019 (18)
Publication types (Num. hits)
article(18) inproceedings(32) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(6) SEFM(3) SIES(3) STTT(3) CLOSER(2) FACS(2) RV(2) ACM Trans. Softw. Eng. Methodo...(1) ATVA(1) CBSE(1) COLING (Demos)(1) Distributed Computing(1) DTIS(1) EMSOFT(1) ETFA(1) FMOODS/FORTE(1) More (+10 of total 36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fatima K. Abu Salem, Mohamad Jaber, Chadi Abdallah, Omar Mehio, Sara Najem A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid. Search on Bibsonomy IEEE Trans. Comput. Social Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone From high-level modeling toward efficient and trustworthy circuits. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal From Global Choreographies to Provably Correct and Efficient Distributed Implementations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Fatima K. Abu Salem, Roaa Al Feel, Shady Elbassuoni, Mohamad Jaber, May Farah FA-KES: A Fake News Dataset around the Syrian War. Search on Bibsonomy ICWSM The full citation details ... 2019 DBLP  BibTeX  RDF
1Antoine 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. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamad 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. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine 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. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zeinab Shmeis, Mohamad Jaber Fine and coarse grained composition and adaptation of spark applications. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem Tracing Distributed Component-Based Systems, a Brief Overview. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. Search on Bibsonomy IFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rayan Hallal, Mohamad Jaber, Rasha Abdallah From Global Choreography to Efficient Distributed Implementation. Search on Bibsonomy HPCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber Fully automated runtime enforcement of component-based systems with formal and sound recovery. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga Monitoring Distributed Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mohamad Jaber, Mohamed Nassar 0001, Wael Al Rahal Al Orabi, Bilal Abi Farraj, Mohamad Omar Kayali, Chadi Helwe Reconfigurable and Adaptive Spark Applications. Search on Bibsonomy CLOSER The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone User-based Load Balancer in HBase. Search on Bibsonomy CLOSER The full citation details ... 2017 DBLP  BibTeX  RDF
1Haitham Bou-Ammar, Mohamad Jaber, Mohamed Nassar 0001 Correctness-by-Learning of Infinite-State Component-Based Systems. Search on Bibsonomy FACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hrag Yoghourdjian, Shady Elbassuoni, Mohamad Jaber, Hiba Arnaout Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs. Search on Bibsonomy KDIR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis A general framework for architecture composability. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir Automated FPGA implementations of BIP designs. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Randa El Khatib, Julia El Zini, David Wrisley, Mohamad Jaber, Shady Elbassuoni TopoText: Interactive Digital Mapping of Literary Text. Search on Bibsonomy COLING (Demos) The full citation details ... 2016 DBLP  BibTeX  RDF
1Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber Modularizing Crosscutting Concerns in Component-Based Systems. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yliè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. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John 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. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber Runtime enforcement for component-based systems. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang Formal Verification of Infinite-State BIP Models. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber Separation of concerns for hardware components of embedded systems in BIP. Search on Bibsonomy ISQED The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket From High-Level Modeling Towards Efficient and Trustworthy Circuits. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber Runtime Enforcement for Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber Architecture internalisation in BIP. Search on Bibsonomy CBSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket Reduction and Abstraction Techniques for BIP. Search on Bibsonomy FACS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis A General Framework for Architecture Composability. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket An Abstract Framework for Deadlock Prevention in BIP. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Alexandre Chagoya-Garzon, Frédéric Rousseau From system model formalization towards correct and efficient HW/SW design. Search on Bibsonomy DTIS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis A framework for automated distributed implementation of component-based models. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Sebastian Currea, Mohamad Jaber Runtime Verification and Enforcement for Android Applications with RV-Droid. Search on Bibsonomy RV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Roberto G. Cascella, Chadi Barakat Using host profiling to refine statistical application identification. Search on Bibsonomy INFOCOM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis Modeling Dynamic Architectures Using Dy-BIP. Search on Bibsonomy Software Composition The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis Rigorous Component-Based System Design Using the BIP Framework. Search on Bibsonomy IEEE Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Roberto G. Cascella, Chadi Barakat Can We Trust the Inter-Packet Time for Traffic Classification? Search on Bibsonomy ICC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber Model-based design and distributed implementation of bus arbiter for multiprocessors. Search on Bibsonomy ICECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem Runtime Verification of Component-Based Systems. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marius Bozga, Mohamad Jaber, Joseph Sifakis Source-to-Source Architecture Transformation for Performance Optimization in BIP. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber Towards Automatic Integration of Or-BAC Security Policies Using Aspects. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2010 DBLP  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis From high-level component-based models to distributed implementations. Search on Bibsonomy EMSOFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis Automated Conflict-free distributed implementation of component-based models. Search on Bibsonomy SIES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohamad 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). Search on Bibsonomy 2010   RDF
1Mohamad Jaber, Ananda Basu, Simon Bliudze Symbolic Implementation of Connectors in BIP Search on Bibsonomy ICE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Chadi Barakat Enhancing Application Identification by Means of Sequential Testing. Search on Bibsonomy Networking The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Internet traffic identification, statistical methods
1Marius Bozga, Mohamad Jaber, Joseph Sifakis Source-to-source architecture transformation for performance optimization in BIP. Search on Bibsonomy SIES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez Using neural networks for quality management. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license