According to our database1, Mohamad Jaber authored at least 43 papers between 2008 and 2019.
Legend:Book In proceedings Article PhD thesis Other
A Distributed Spatiotemporal Contingency Analysis for the Lebanese Power Grid.
IEEE Trans. Comput. Social Systems, 2019
From high-level modeling toward efficient and trustworthy circuits.
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.
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
J. Log. Algebr. Meth. Program., 2018
Fine and coarse grained composition and adaptation of spark applications.
Future Generation Comp. 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.
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
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.
Software and System Modeling, 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
A General Framework for Architecture Composability.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 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 Computing, 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 Software, 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
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
Source-to-source architecture transformation for performance optimization in BIP.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 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