Mohamad Jaber

According to our database1, Mohamad Jaber authored at least 43 papers between 2008 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
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.
STTT, 2019

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

2018
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.
STTT, 2018

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

2017
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
STTT, 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

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

2015
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

2014
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

2013
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

2012
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

2011
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

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

2009
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

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


  Loading...