Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.

[BibT_eX]

[DOI]

Antoine El-Hokayem

Yliès Falcone

Mohamad Jaber

J. Log. Algebraic Methods Program., 2018

Fine and coarse grained composition and adaptation of spark applications.

[BibT_eX]

[DOI]

Zeinab Shmeis

Mohamad Jaber

Future Gener. Comput. Syst., 2018

Tracing Distributed Component-Based Systems, a Brief Overview.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

From Global Choreography to Efficient Distributed Implementation.

[BibT_eX]

[DOI]

Rayan Hallal

Mohamad Jaber

Rasha Abdallah

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017

Fully automated runtime enforcement of component-based systems with formal and sound recovery.

[BibT_eX]

[DOI]

Yliès Falcone

Mohamad Jaber

Int. J. Softw. Tools Technol. Transf., 2017

Monitoring Distributed Component-Based Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Top-k Keyword Search over Wikipedia-based RDF Knowledge Graphs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Haitham Bou-Ammar

Mohamad Jaber

Mohamed Nassar

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Reconfigurable and Adaptive Spark Applications.

[BibT_eX]

[DOI]

Mohamad Jaber

Mohamed Nassar

Wael Al Rahal Al Orabi

Bilal Abi Farraj

Mohamad Omar Kayali

Chadi Helwe

Proceedings of the CLOSER 2017, 2017

User-based Load Balancer in HBase.

[BibT_eX]

Proceedings of the CLOSER 2017, 2017

2016

A general framework for architecture composability.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Automated FPGA implementations of BIP designs.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Modularizing Crosscutting Concerns in Component-Based Systems.

[BibT_eX]

[DOI]

Antoine El-Hokayem

Yliès Falcone

Mohamad Jaber

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

TopoText: Interactive Digital Mapping of Literary Text.

[BibT_eX]

[DOI]

Proceedings of the COLING 2016, 2016

2015

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Runtime enforcement for component-based systems.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Separation of concerns for hardware components of embedded systems in BIP.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

Formal Verification of Infinite-State BIP Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

From High-Level Modeling Towards Efficient and Trustworthy Circuits.

[BibT_eX]

[DOI]

Mohamad Jaber

Mohamad Noureddine

Fadi A. Zaraket

CoRR, 2014

Reduction and Abstraction Techniques for BIP.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Architecture internalisation in BIP.

[BibT_eX]

[DOI]

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

2013

An Abstract Framework for Deadlock Prevention in BIP.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

From system model formalization towards correct and efficient HW/SW design.

[BibT_eX]

[DOI]

Mohamad Jaber

Alexandre Chagoya-Garzon

Frédéric Rousseau

Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2013

2012

A framework for automated distributed implementation of component-based models.

[BibT_eX]

[DOI]

Distributed Comput., 2012

Modeling Dynamic Architectures Using Dy-BIP.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 11th International Conference, 2012

Runtime Verification and Enforcement for Android Applications with RV-Droid.

[BibT_eX]

[DOI]

Yliès Falcone

Sebastian Currea

Mohamad Jaber

Proceedings of the Runtime Verification, Third International Conference, 2012

Using host profiling to refine statistical application identification.

[BibT_eX]

[DOI]

Mohamad Jaber

Roberto G. Cascella

Chadi Barakat

Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

2011

Rigorous Component-Based System Design Using the BIP Framework.

[BibT_eX]

[DOI]

IEEE Softw., 2011

Runtime Verification of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model-based design and distributed implementation of bus arbiter for multiprocessors.

[BibT_eX]

[DOI]

Imene Ben Hafaiedh

Susanne Graf

Mohamad Jaber

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

Can We Trust the Inter-Packet Time for Traffic Classification?

[BibT_eX]

[DOI]

Mohamad Jaber

Roberto G. Cascella

Chadi Barakat

Proceedings of IEEE International Conference on Communications, 2011

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).

[BibT_eX]

[DOI]

Mohamad Jaber

PhD thesis, 2010

Source-to-Source Architecture Transformation for Performance Optimization in BIP.

[BibT_eX]

[DOI]

Marius Bozga

Mohamad Jaber

Joseph Sifakis

IEEE Trans. Ind. Informatics, 2010

Automated Conflict-free distributed implementation of component-based models.