According to our database1, Mohamad Jaber authored at least 48 papers between 2008 and 2020.
Legend:Book In proceedings Article PhD thesis Other
J. Log. Algebraic Methods Program., 2020
IEEE Trans. Comput. Soc. Syst., 2019
Int. J. Softw. Tools Technol. Transf., 2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
Proceedings of the Thirteenth International Conference on Web and Social Media, 2019
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
Future Gener. Comput. Syst., 2018
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
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
Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
User-based Load Balancer in HBase.
Proceedings of the CLOSER 2017, 2017
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
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
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
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
Proceedings of the Formal Techniques for Distributed Systems, 2013
Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2013
Distributed Comput., 2012
Proceedings of the Software Composition - 11th International Conference, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012
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
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
IEEE Trans. Ind. Informatics, 2010
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
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009
Proceedings of the NETWORKING 2009, 2009
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008