Mohamad Jaber

According to our database1, Mohamad Jaber authored at least 48 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program., 2020

A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid.
IEEE Trans. Comput. Soc. Syst., 2019

From high-level modeling toward efficient and trustworthy circuits.
Int. J. Softw. Tools Technol. Transf., 2019

A rewrite-based optimizer for Spark.
Future Gener. Comput. Syst., 2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019

FA-KES: A Fake News Dataset around the Syrian War.
Proceedings of the Thirteenth International Conference on Web and Social Media, 2019

Global and Local Deadlock Freedom in BIP.
ACM Trans. Softw. Eng. Methodol., 2018

A high-level modeling language for the efficient design, implementation, and testing of Android applications.
Int. J. Softw. Tools Technol. Transf., 2018

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
J. Log. Algebraic Methods Program., 2018

Fine and coarse grained composition and adaptation of spark applications.
Future Gener. Comput. Syst., 2018

Tracing Distributed Component-Based Systems, a Brief Overview.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

From Global Choreography to Efficient Distributed Implementation.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Fully automated runtime enforcement of component-based systems with formal and sound recovery.
Int. J. Softw. Tools Technol. Transf., 2017

Monitoring Distributed Component-Based Systems.
CoRR, 2017

Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs.
Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017

Correctness-by-Learning of Infinite-State Component-Based Systems.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Reconfigurable and Adaptive Spark Applications.
Proceedings of the CLOSER 2017, 2017

User-based Load Balancer in HBase.
Proceedings of the CLOSER 2017, 2017

A general framework for architecture composability.
Formal Aspects Comput., 2016

Automated FPGA implementations of BIP designs.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Modularizing Crosscutting Concerns in Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

TopoText: Interactive Digital Mapping of Literary Text.
Proceedings of the COLING 2016, 2016

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
Softw. Syst. Model., 2015

Runtime enforcement for component-based systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Separation of concerns for hardware components of embedded systems in BIP.
Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

Formal Verification of Infinite-State BIP Models.
Proceedings of the Automated Technology for Verification and Analysis, 2015

From High-Level Modeling Towards Efficient and Trustworthy Circuits.
CoRR, 2014

Reduction and Abstraction Techniques for BIP.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Architecture internalisation in BIP.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

An Abstract Framework for Deadlock Prevention in BIP.
Proceedings of the Formal Techniques for Distributed Systems, 2013

From system model formalization towards correct and efficient HW/SW design.
Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2013

A framework for automated distributed implementation of component-based models.
Distributed Comput., 2012

Modeling Dynamic Architectures Using Dy-BIP.
Proceedings of the Software Composition - 11th International Conference, 2012

Runtime Verification and Enforcement for Android Applications with RV-Droid.
Proceedings of the Runtime Verification, Third International Conference, 2012

Using host profiling to refine statistical application identification.
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Rigorous Component-Based System Design Using the BIP Framework.
IEEE Softw., 2011

Runtime Verification of Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model-based design and distributed implementation of bus arbiter for multiprocessors.
Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

Can We Trust the Inter-Packet Time for Traffic Classification?
Proceedings of IEEE International Conference on Communications, 2011

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).
PhD thesis, 2010

Source-to-Source Architecture Transformation for Performance Optimization in BIP.
IEEE Trans. Ind. Informatics, 2010

Automated Conflict-free distributed implementation of component-based models.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

From high-level component-based models to distributed implementations.
Proceedings of the 10th International conference on Embedded software, 2010

Symbolic Implementation of Connectors in BIP
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Enhancing Application Identification by Means of Sequential Testing.
Proceedings of the NETWORKING 2009, 2009

Using neural networks for quality management.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008