AUB ScholarWorks

Browsing Faculty of Arts and Sciences (FAS) by Author "Jaber, Mohamad"

Browsing Faculty of Arts and Sciences (FAS) by Author "Jaber, Mohamad"

Sort by: Order: Results:

  • A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid 
    Abu Salem, Fatima K.; Jaber, Mohamad; Abdallah, Chadi; Mehio, Omar; Najem, Sara A. (Institute of Electrical and Electronics Engineers Inc., 2019)
    We address a topological vulnerability analysis of the Lebanese power grid subject to random and cascading failures. Using an Apache Spark implementation that maps the topology of the grid to a complex network, we begin ...
  • A general framework for architecture composability 
    Attie, Paul C.; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph Joy (Springer-Verlag London Ltd, 2016)
    Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing ...
  • A high-level modeling language for the efficient design, implementation, and testing of Android applications 
    Jaber, Mohamad; Falcone, Ylìes; Dak-Al-Bab, Kinan; Abou-Jaoudeh, John; El-Katerji, Mostafa (Springer Verlag, 2018)
    Developing mobile applications remains difficult, time consuming, and error prone, in spite of the number of existing platforms and tools. In this paper, we develop MoDroid, a high-level modeling language to ease the ...
  • A rewrite-based optimizer for spark 
    Shmeis, Zeinab; Jaber, Mohamad (Elsevier B.V., 2019)
    Spark is the leading platform for distributed large-scale data processing. Spark's Application Programming Interface (API) has a powerful easy-to-use distributed abstractions similarly related to functional programming ...
  • Fine and coarse grained composition and adaptation of spark applications 
    Shmeis, Zeinab; Jaber, Mohamad (Elsevier B.V., 2018)
    Spark is a framework used to analyze big data applications. In this paper, we introduce a framework to build complex Spark applications by composing simpler ones. We use two levels of granularity for composition. The fine ...
  • From global choreographies to verifiable efficient distributed implementations 
    Jaber, Mohamad; Falcone, Ylìes; Attie, Paul C.; Khalil, Al Abbass; Hallal, Rayan; El-Hokayem, Antoine (Elsevier Inc., 2020)
    We define a method to automatically synthesize efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided ...
  • From high-level modeling toward efficient and trustworthy circuits 
    Zaraket, Fadi A.; Jaber, Mohamad; Noureddine, Mohammad A.; Falcone, Ylìes (Springer Verlag, 2019)
    Behavior–interaction–priority (BIP) is a layered embedded system design and verification framework that provides separation of functionality, synchronization, and priority concerns to simplify system design and to establish ...
  • Fully automated runtime enforcement of component-based systems with formal and sound recovery 
    Falcone, Ylìes; Jaber, Mohamad (Springer Verlag, 2017)
    We introduce runtime enforcement of specifications on component-based systems (CBS) modeled in the behavior, interaction and priority (BIP) framework. Runtime enforcement is an increasingly popular and effective dynamic ...
  • Global and local deadlock freedom in BIP 
    Attie, Paul C.; Bensalem, Saddek; Bozga, Marius Dorel; Jaber, Mohamad; Sifakis, Joseph Joy; Zaraket, Fadi A. (Association for Computing Machinery, 2018)
    We present a criterion for checking local and global deadlock freedom of finite state systems expressed in BIP: A component-based framework for constructing complex distributed systems. Our criterion is evaluated by ...
  • Meta-learning for fake news detection surrounding the Syrian war 
    Abu Salem, Fatima K.; Al Feel, Roaa; Elbassuoni, Shady; Ghannam, Hiyam; Jaber, Mohamad; Farah, May (Cell Press, 2021)
    In this article, we pursue the automatic detection of fake news reporting on the Syrian war using machine learning and meta-learning. The proposed approach is based on a suite of features that include a given article's ...
  • Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework 
    El-Hokayem, Antoine; Falcone, Ylìes; Jaber, Mohamad (Elsevier Inc., 2018)
    We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired from the Aspect Oriented Programming (AOP) ...
  • Prototyping across the disciplines 
    El Khatib, Randa; Wrisley, David Joseph; Elbassuoni, Shady; Jaber, Mohamad; El-Zini, Julia (Open Library of Humanities, 2019)
    This article pursues the idea that within interdisciplinary teams in which researchers might find themselves participating, there are very different notions of research outcomes, as well as languages in which they are ...
  • Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation 
    Falcone, Ylìes; Jaber, Mohamad; Nguyen, Thanh Hung; Bozga, Marius Dorel; Bensalem, Saddek (Springer Verlag, 2015)
    Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in a heterogeneous environment. These limitations entail the ...

Search AUB ScholarWorks


Browse

My Account