An algebraic-temporal specification of a CSMA/CD-protocol. - Mohamed Jmaiel (PSTV, 1995)

Specification of communication protocols using temporal logic. - Mohamed Jmaiel (J. Syst. Softw., 1996)

Development of communication protocols with algebraic temporal specifications. - Mohamed Jmaiel (1996)

Vers l'utilisation des méthodes formelles pour le développement de linguiciels. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (COLING-ACL, 1998)

Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems. - Walid Chainbi; Mohamed Jmaiel; Abdelmajid Ben Hamadou (DAI, 1998)

A Formal Approach to Lingware Development. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (IEA/AIE, 1999)

A Unified Algebraic Framework for Specifying Communication Protocols. - Mohamed Jmaiel (ICFEM, 2000)

Using a Formal Approach to Evaluate Grammars. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (LREC, 2000)

An Environment for Formal Lingware Engineering. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (AICCSA, 2001)

An Environment for Formal Specification and Verification of Lingware. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (IEA/AIE, 2001)

Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster). - Mohamed Jmaiel; Ahmed Hadj Kacem (JFIADSMA, 2001)

Cooperative Systems for Information Sharing and Exchange. - Khalil Drira; Michel Diaz; Thierry Villemur; Mohamed Jmaiel; Abdelmajid Ben Hamadou; Ahmed Hadj Kacem (WETICE, 2001)

A Belief-Goal-Role Theory for Multiagent Systems. - Walid Chainbi; Abdelmajid Ben Hamadou; Mohamed Jmaiel (Int. J. Pattern Recognit. Artif. Intell., 2001)

An Operational Semantics for Negotiating Agents. - Mohamed Jmaiel; Ahmed Hadj Kacem (PRIMA, 2002)

A multi-agent approach for genetic algorithm implementation. - Ilhem Kallel; Mohamed Jmaiel; Adel M. Alimi (SMC (2), 2002)

Guest editorial. - Kamel Barkaoui; Mohamed Jmaiel; Ali Mili 001 (J. Syst. Softw., 2002)

Development of communication protocols using algebraic and temporal specifications. - Mohamed Jmaiel; Peter Pepper (Comput. Networks, 2003)

An approach to the formal specification of lingware. - Bilel Gargouri; Mohamed Jmaiel; Abdelmajid Ben Hamadou (Nat. Lang. Eng., 2003)

Specification and Verification of Multi-Agent Applications using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (IAT, 2004)

Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (IBERAMIA, 2004)

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ICPS, 2004)

Specification and Design of Multi-agent Applications Using Temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (PRIMA, 2004)

A formal model for mobile agent systems using Z. - Hany Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)

Towards a formal methodology for developing multi-agent applications using temporal Z. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)

Towards a UML profile for the description of dynamic software architectures. - Mohamed Hadj Kacem; Mohammed Nadhmi Miladi; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (COEA, 2005)

Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICEIS (3), 2005)

Using UML2.0 and GG for Describing the Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICITA (1), 2005)

Graphical simulation of the dynamic evolution of the software architectures specified in Z. - Riadh Ben Halima; Mohamed Jmaiel; Khalil Drira (IWPSE, 2005)

Towards a Formal Methodology for Designing Multi-agent Applications. - Amira Regayeg; Ahmed Hadj Kacem; Mohamed Jmaiel (MATES, 2005)

Compositional specification of event-based software architectural styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (AICCSA, 2006)

Describing dynamic software architectures using an extended UML model. - Mohamed Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (SAC, 2006)

SEC: a search engine for component based software development. - Sofien Khemakhem; Khalil Drira; Mohamed Jmaiel (SAC, 2006)

An UML-Based Approach for Validation of Software Architecture Descriptions. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (TEAA, 2006)

ForMAAD Method: An Experimental Design for Air Traffic Control. - Amira Regayeg; Slim Kallel; Ahmed Hadj Kacem; Mohamed Jmaiel (Int. Trans. Syst. Sci. Appl., 2006)

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (COORDINATION, 2007)

A Serialisation Based Approach for Processes Strong Mobility. - Soumaya Marzouk; Maher Ben Jemaa; Mohamed Jmaiel (DAIS, 2007)

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ECSA, 2007)

LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use. - Mehdi Ben Abderrahmen; Bilel Gargouri; Mohamed Jmaiel (LTC, 2007)

A serialization based approach for strong mobility of shared object. - Soumaya Marzouk; Maher Ben Jemaa; Mohamed Jmaiel (PPPJ, 2007)

A Distributed Computational Model for Mobile Agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (PRIMA, 2007)

A Formal Approach to prevent Attacks on Mobile Agent Systems. - Monia Loulou; Mohamed Tounsi 001; Ahmed Hadj Kacem; Mohamed Jmaiel (SECURWARE, 2007)

A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. - Riadh Ben Halima; Khalil Drira; Mohamed Jmaiel (WETICE, 2007)

Using Aspects for Enforcing Formal Architectural Invariants. - Slim Kallel; Anis Charfi; Mohamed Jmaiel (FACS, 2007)

SEC+: an enhanced search engine for component-based software development. - Sofien Khemakhem; Khalil Drira; Mohamed Jmaiel (ACM SIGSOFT Softw. Eng. Notes, 2007)

ForMAAD: A formal method for agent-based application design. - Ahmed Hadj Kacem; Amira Regayeg; Mohamed Jmaiel (Web Intell. Agent Syst., 2007)

Electing a leader in the local computation model using mobile agents. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (AICCSA, 2008)

A UML rule-based approach for describing and checking dynamic software architectures. - Mohammed Nadhmi Miladi; Mohamed Hadj Kacem; Achraf Boukhris; Mohamed Jmaiel; Khalil Drira (AICCSA, 2008)

Aspect-based enforcement of formal delegation policies. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (CRiSIS, 2008)

A formal security framework for mobile agent systems: Specification and verification. - Monia Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Mohamed Mosbah 001 (CRiSIS, 2008)

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. - Med Amine Haddar; Ahmed Hadj Kacem; Yves Métivier; Mohamed Mosbah 001; Mohamed Jmaiel (ICDCN, 2008)

A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. - Riadh Ben Halima; Khalil Drira; Mohamed Jmaiel (ICWS, 2008)

Towards Making WSRF Based Web Services Strongly Mobile. - Soumaya Marzouk; Mohamed Jmaiel (WETICE, 2008)

Towards modelling and analysis of a coordination protocol for dynamic software adaptation. - Najla Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (CSTST, 2008)

Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. - Ismael Bouassida Rodriguez; Karim Guennoun; Khalil Drira; Christophe Chassot; Mohamed Jmaiel (CSTST, 2008)

Context-aware adaptation for group communication support applications with dynamic architecture - Ismael Bouassida Rodriguez; Khalil Drira; Christophe Chassot; Mohamed Jmaiel (CoRR, 2008)

An experimental evaluation of SEC+, an enhanced search engine for component-based software development. - Sofien Khemakhem; Khalil Drira; Emna Khemakhem; Mohamed Jmaiel (ACM SIGSOFT Softw. Eng. Notes, 2008)

Specifying and Monitoring Temporal Properties in Web Services Compositions. - Slim Kallel; Anis Charfi; Tom Dinkelaker; Mira Mezini; Mohamed Jmaiel (ECOWS, 2009)

From Formal Access Control Policies to Runtime Enforcement Aspects. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Karl Klose (ESSoS, 2009)

An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. - Mohammed Nadhmi Miladi; Ikbel Krichen; Mohamed Jmaiel; Khalil Drira (FSEN, 2009)

A collaborative distributed video indexing. - Mohamed Heni Frikha; Mohamed Jmaiel; Walid Mahdi (ICTA, 2009)

Security aware content-based publish/subscribe system. - Amina Chaabane; Mohamed Jmaiel (ISCC, 2009)

Experiments results and large scale measurement data for web services performance assessment. - Riadh Ben Halima; Emna Fki; Khalil Drira; Mohamed Jmaiel (ISCC, 2009)

A Secure Content-Based Publish/Subscribe Middleware. - Amina Chaabane; Mohamed Jmaiel (ITNG, 2009)

Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. - Soumaya Marzouk; Afef Jmal Maâlej; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SERVICES I, 2009)

A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems. - Ismael Bouassida Rodriguez; Khalil Drira; Christophe Chassot; Mohamed Jmaiel (WICSA/ECSA, 2009)

A holistic approach for access control policies: from formal specification to aspect-based enforcement. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Andreas Sewe (Int. J. Inf. Comput. Secur., 2009)

Dynamic security framework for mobile agent systems: specification, verification and enforcement. - Monia Loulou; Mohamed Jmaiel; Mohamed Mosbah 001 (Int. J. Inf. Comput. Secur., 2009)

Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. - Kaouthar Fakhfakh; Saïd Tazi 001; Khalil Drira; Tarak Chaari; Mohamed Jmaiel (AINA Workshops, 2010)

Using Recommendation to Limit Search Space in Web Services Discovery. - Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (AINA, 2010)

Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs. - Kaouthar Fakhfakh; Tarak Chaari; Saïd Tazi 001; Mohamed Jmaiel; Ikbel Guidara (CAL, 2010)

Graph grammar-based transformation for context-aware architectures supporting group communication. - Ismael Bouassida Rodriguez; Christophe Chassot; Mohamed Jmaiel (CAL, 2010)

Toward an Aspect Oriented ADL for Embedded Systems. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (ECSA, 2010)

Intention Driven Service Composition with Patterns. - Emna Fki; Chantal Soulé-Dupuy; Saïd Tazi 001; Mohamed Jmaiel (ICEIS (3), 2010)

Aspect-Oriented Checkpointing Approach of Composed Web Services. - Soumaya Marzouk; Afef Jmal Maâlej; Mohamed Jmaiel (ICWE Workshops, 2010)

A Runtime Performance Analysis for Web Service-Based Applications. - Afef Mdhaffar; Soumaya Marzouk; Riadh Ben Halima; Mohamed Jmaiel (ICWE Workshops, 2010)

Towards the reuse of lingware systems: a proposed approach with a practical experiment. - Nabil Baklouti; Sonia Bouaziz; Bilel Gargouri; Chafik Aloulou; Mohamed Jmaiel (iiWAS, 2010)

Security Mapping to Enhance Matching Fine-Grained Security Policies. - Monia Ben Brahim; Maher Ben Jemaa; Mohamed Jmaiel (NDT (1), 2010)

Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services. - Soumaya Marzouk; Mohamed Jmaiel (NOTERE, 2010)

A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. - Mohammed Nadhmi Miladi; Fatma Krichen; Mohamed Jmaiel; Khalil Drira (SERA (selected papers), 2010)

A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures. - Ismael Bouassida Rodriguez; Riadh Ben Halima; Khalil Drira; Christophe Chassot; Mohamed Jmaiel (BSME, 2010)

A large-scale monitoring and measurement campaign for web services-based applications. - Riadh Ben Halima; Emna Fki; Khalil Drira; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2010)

A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. - Ismael Bouassida Rodriguez; Khalil Drira; Christophe Chassot; Karim Guennoun; Mohamed Jmaiel (Int. J. Auton. Comput., 2010)

ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements. - Kaouthar Fakhfakh; Tarak Chaari; Saïd Tazi 001; Mohamed Jmaiel; Khalil Drira (Int. J. Syst. Serv. Oriented Eng., 2010)

An Integration Ontology for Components Composition. - Sofien Khemakhem; Khalil Drira; Mohamed Jmaiel (Int. J. Web Portals, 2010)

P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. - Imen Loulou; Mohamed Jmaiel; Khalil Drira; Ahmed Hadj Kacem (J. Syst. Softw., 2010)

AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring. - Afef Mdhaffar; Riadh Ben Halima; Ernst Juhnke; Mohamed Jmaiel; Bernd Freisleben (CIT, 2011)

Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network. - Imene Lahyani; Mohamed Jmaiel (AINA Workshops, 2011)

A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (CAL, 2011)

Towards a Model-Based Approach for Reconfigurable DRE Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (ECSA, 2011)

Semantic Matching of WS-SecurityPolicy Assertions. - Monia Ben Brahim; Tarak Chaari; Maher Ben Jemaa; Mohamed Jmaiel (ICSOC Workshops, 2011)

A Comparative Study of the Current Cloud Computing Technologies and Offers. - Meriam Mahjoub; Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel (NCCA, 2011)

Graph-based Management of Communities of Web Service Registries. - Olfa Bouchaala; Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (WEBIST, 2011)

Modeling and Managing Communities of Web Service Registries. - Olfa Bouchaala; Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (WEBIST (Selected Papers), 2011)

Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011. - Khalil Drira; Mohamed Jmaiel (WETICE, 2011)

A survey on software checkpointing and mobility techniques in distributed systems. - Soumaya Marzouk; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2011)

Vers une approche d'analyse et de diagnostic pour les architectures M2M autonomes et sensibles au contexte. - Imene Lahyani; Lamia Ben Amor; Ismael Bouassida Rodriguez; Mohamed Jmaiel (CAL, 2012)

Conformance Testing of WS-BPEL Compositions under Various Load Conditions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (COMPSAC, 2012)

Model-Based Conformance Testing of WS-BPEL Compositions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (COMPSAC Workshops, 2012)

Semantic matching of web services security policies. - Monia Ben Brahim; Tarak Chaari; Maher Ben Jemaa; Mohamed Jmaiel (CRiSIS, 2012)

Design-Time Verification of Reconfigurable Real-time Embedded Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (HPCC-ICESS, 2012)

Towards an ontology and DHT-based publish/subscribe scalable system. - Amina Chaabane; Wassef Louati; Mohamed Jmaiel; Jorge R. Gomez-Montalvo; Codé Diop; Ernesto Exposito (ICC, 2012)

Enhancing Linguistic Web Service Description with Non-functional NLP Properties. - Nabil Baklouti; Bilel Gargouri; Mohamed Jmaiel (ICSOFT, 2012)

Towards a verification approach for reconfigurable embedded systems. - Fatma Krichen; Amal Gassara; Bechir Zalila; Mohamed Jmaiel (ISCC, 2012)

Analytical Framework for QoS Aware Publish/subscribe System Deployed on MANET. - Imene Lahyani; Lamia Ben Amor; Mohamed Jmaiel; Khalil Drira; Christophe Chassot (ISPA, 2012)

Predictive Schemes for QoS Awareness of Publish/Subscribe Systems on MANET. - Imene Lahyani; Mouna Gassara; Mohamed Jmaiel; Christophe Chassot (ISPDC, 2012)

QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET. - Imene Lahyani; Nesrine Khabou; Mohamed Jmaiel (PDP, 2012)

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. - Mariam Lahami; Fairouz Fakhfakh; Moez Krichen; Mohamed Jmaiel (ICTSS, 2012)

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. - Mariam Lahami; Moez Krichen; Mariam Bouchakwa; Mohamed Jmaiel (ICTSS, 2012)

A flexible approach for service composition using service patterns. - Emna Fki; Mohamed Jmaiel; Chantal Soulé-Dupuy; Saïd Tazi 001 (SAC, 2012)

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. - Fatma Krichen; Bechir Zalila; Mohamed Jmaiel; Brahim Hamid (SERA (selected papers), 2012)

An Ontology-Based Approach for Linguistic Web Service Description. - Nabil Baklouti; Bilel Gargouri; Mohamed Jmaiel (WETICE, 2012)

A Comprehensive Survey on Intra and Inter Organizational Agreements. - Ikbel Guidara; Tarak Chaari; Kaouthar Fakhfakh; Mohamed Jmaiel (WETICE, 2012)

AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. - Mohamed Jmaiel; Slim Kallel (WETICE, 2012)

Towards Self Healing Publish/Subscribe System on MANET. - Imene Lahyani; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Christophe Chassot (WETICE, 2012)

Modeling and enforcing invariants of dynamic software architectures. - Slim Kallel; Mohamed Hadj Kacem; Mohamed Jmaiel (Softw. Syst. Model., 2012)

OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services. - Nabil Baklouti; Faten Fakhfakh; Bilel Gargouri; Mohamed Jmaiel (CLOSER, 2013)

A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis. - Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel; Bernd Freisleben (CloudCom (2), 2013)

Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ECSA, 2013)

A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes. - Olfa Bouchaala; Samir Tata; Mohamed Jmaiel (EC-Web, 2013)

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (EUROMICRO-SEAA, 2013)

Time-Aware Automatic Process View Generation. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICEBE, 2013)

A Survey on Time-aware Business Process Modeling. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICEIS (3), 2013)

Automated Significant Load Testing for WS-BPEL Compositions. - Afef Jmal Maâlej; Manel Hamza; Moez Krichen; Mohamed Jmaiel (ICST Workshops, 2013)

Toward a Time-centric modeling of Business Processes in BPMN 2.0. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (iiWAS, 2013)

Runtime testing framework for improving quality in dynamic service-based systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (QASBA@ISSTA, 2013)

Conformance testing for quality assurance of clustering architectures. - Afef Jmal Maâlej; Zeineb Ben Makhlouf; Moez Krichen; Mohamed Jmaiel (QASBA@ISSTA, 2013)

Runtime Adaptation of Component Based Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (NETYS, 2013)

WSCCT: a tool for WS-BPEL compositions conformance testing. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaiel (SAC, 2013)

Semantic Matching to Achieve Software Component Discovery and Composition. - Sofien Khemakhem; Khalil Drira; Mohamed Jmaiel (WEBIST, 2013)

AO4AADL: Aspect oriented extension for AADL. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (Central Eur. J. Comput. Sci., 2013)

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems. - Khalil Drira; Ahmed Hadj Kacem; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2013)

Towards a semantic-driven and scalable publish/subscribe framework. - Amina Chaabane; Codé Diop; Wassef Louati; Mohamed Jmaiel; Jorge R. Gomez-Montalvo; Ernesto Exposito (Int. J. Internet Protoc. Technol., 2013)

Managing Architectural Reconfiguration at Runtime. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (Int. J. Web Portals, 2013)

A policy-based approach for strong mobility of composed Web services. - Soumaya Marzouk; Mohamed Jmaiel (Serv. Oriented Comput. Appl., 2013)

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (IEEE SCC, 2014)

Greedy Flooding in Redoubtable Sensor Networks. - Nesrine Ouled Abdallah; Mohamed Jmaiel; Mohamed Mosbah 001; Akka Zemmari (AINA, 2014)

DAT: Dependency Analysis Tool for Service Based Business Processes. - Olfa Bouchaala; Mohamed Yangui; Samir Tata; Mohamed Jmaiel (AINA, 2014)

Energy Saving in WSN Using Monitoring Values Prediction. - Ahmed Jemal; Marwa Hachicha; Riadh Ben Halima; Ahmed Hadj Kacem; Khalil Drira; Mohamed Jmaiel (ANT/SEIT, 2014)

A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus. - Nesrine Khabou; Ismael Bouassida Rodriguez; Ghada Gharbi; Mohamed Jmaiel (ANT/SEIT, 2014)

Middleware for Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (ARCS, 2014)

Monitoring of Quality of Service in Dynamically Adaptive Systems. - Sihem Loukil; Slim Kallel; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ICAIS, 2014)

Threshold-based context change detection for ubiquitous environments. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ICCASA, 2014)

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (ICSOC, 2014)

Pruning Based Service Selection Approach Under QoS and Temporal Constraints. - Ikbel Guidara; Nawal Guermouche; Tarak Chaari; Saïd Tazi 001; Mohamed Jmaiel (ICWS, 2014)

Regularity of movement based approach for M2M services discovery. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (ISNCC, 2014)

CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing. - Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel; Bernd Freisleben (NETYS, 2014)

Q-learning-based data replication for highly dynamic distributed hash tables. - Souhir Feki; Wassef Louati; Nadia Masmoudi; Mohamed Jmaiel (NOF, 2014)

Toward a Verification of Time-Centric Business Process Models. - Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (WETICE, 2014)

An Efficient Service Selection Approach with Time-Dependent QoS. - Ikbel Guidara; Tarak Chaari; Mohamed Jmaiel (WETICE, 2014)

Analytical Decisional Model for Publish/Subscribe Systems on MANET. - Imene Lahyani; Mohamed Jmaiel; Christophe Chassot (WETICE, 2014)

CEP4Cloud: Complex Event Processing for Self-Healing Clouds. - Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel; Bernd Freisleben (WETICE, 2014)

D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing. - Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel; Bernd Freisleben (Int. J. Big Data Intell., 2014)

EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks. - Maissa Ben Jamâa; Anis Koubaa; Nouha Baccour; Yasir Kayani; Khaled Al-Shalfan; Mohamed Jmaiel (Cooperative Robots and Sensor Networks, 2014)

From AADL Model to LNT Specification. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (Ada-Europe, 2015)

Towards patterns-based Linguistic Web Service composition. - Nabil Baklouti; Bilel Gargouri; Mohamed Jmaiel (AICCSA, 2015)

XPath translation to enhance the semantic matching of fine-grained Web service security policies. - Monia Ben Brahim; Tarak Chaari; Mohamed Jmaiel (AICCSA, 2015)

Une étude de la décision pour l'adaptation autonomique des systèmes. - Imen Abdennadher 001; Mohamed Jmaiel (CAL, 2015)

Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models. - Mariam Chaabane; Fatma Krichen; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ICCSA (1), 2015)

A Semantic Driven Approach for an Automated Composition Based on Abstract Services. - Emna Fki; Saïd Tazi 001; Mohamed Jmaiel (ICEBE, 2015)

Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (ICECCS, 2015)

A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. - Nesrine Ouled Abdallah; Mohamed Jmaiel; Mohamed Mosbah 001; Akka Zemmari (ICTAC, 2015)

Heuristic Based Time-Aware Service Selection Approach. - Ikbel Guidara; Nawal Guermouche; Tarak Chaari; Saïd Tazi 001; Mohamed Jmaiel (ICWS, 2015)

Designing energy efficient Smart Buildings in ubiquitous environments. - Imen Abdennadher 001; Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (ISDA, 2015)

Requirement-based lexical web service generation. - Mehdi Ben Abderrahmen; Bilel Gargouri; Mohamed Jmaiel (ISDA, 2015)

Low-Power link quality estimation in smart grid environments. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira (IWCMC, 2015)

Towards a Decision Approach for Autonomic Systems Adaptation. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Mariano Vargas-Santiago; Saúl E. Pomares Hernández (MobiWac, 2015)

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. - Mariam Lahami; Moez Krichen; Hajer Barhoumi; Mohamed Jmaiel (ICTSS, 2015)

A multi-scale modeling approach for software architecture deployment. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SAC, 2015)

AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. - Slim Kallel; Ismael Bouassida Rodriguez; Mohamed Jmaiel (WETICE, 2015)

Context analysis approach for context aware applications deployed on pervasive environments. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (EAI Endorsed Trans. Context aware Syst. Appl., 2015)

Enabling Technologies: Infrastructure for Collaborative Enterprises. - Slim Kallel; Mohamed Jmaiel; Sumitra Reddy (Comput. J., 2015)

Development of reconfigurable distributed embedded systems with a model-driven approach. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel; Bernard Coulette (Concurr. Comput. Pract. Exp., 2015)

Semantic-based approach to improve the description and the discovery of Linguistic Web Services. - Nabil Baklouti; Bilel Gargouri; Mohamed Jmaiel (Eng. Appl. Artif. Intell., 2015)

Runtime testing approach of structural adaptations for dynamic and distributed systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaïel (Int. J. Comput. Appl. Technol., 2015)

A comparative evaluation of state-of-the-art load and stress testing approaches. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaïel (Int. J. Comput. Appl. Technol., 2015)

Latency-aware publish/subscribe systems on MANET. - Imene Lahyani; Mohamed Jmaiel; Khalil Drira; Christophe Chassot (Int. J. Wirel. Mob. Comput., 2015)

Time-Dependent QoS Aware Best Service Combination Selection. - Ikbel Guidara; Nawal Guermouche; Tarak Chaari; Mohamed Jmaiel; Saïd Tazi 001 (Int. J. Web Serv. Res., 2015)

The temporal perspective in business process modeling: a survey and research challenges. - Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel (Serv. Oriented Comput. Appl., 2015)

AspectAda: An aspect oriented extension of ada for real-time systems. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (ICIS, 2016)

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (Ada-Europe, 2016)

Towards ODRAH: An ontology-based data reliability assessment in mobile health. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel (AICCSA, 2016)

Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (AICCSA, 2016)

Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (AINA, 2016)

Recursive and Rolling Windows for Medical Time Series Forecasting: A Comparative Study. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel (CSE/EUC/DCABES, 2016)

An Overview of a Decision Approach for Autonomic Applications Architectural Adaptation. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel (HPCC/SmartCity/DSS, 2016)

OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems. - Ahmed Jemal; Hend Ktait; Riadh Ben Halima; Mohamed Jmaiel (ICC 2016, 2016)

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Kais Klai; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences, 2016)

Holistic link quality estimation-based routing metric for RPL networks in smart grids. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira (PIMRC, 2016)

Efficient parallel multi-objective optimization for real-time systems software design exploration. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (RSP, 2016)

EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (SERA, 2016)

Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (SoftCOM, 2016)

Arosa Track Report. - Slim Kallel; Khalil Drira; Mohamed Jmaiel (WETICE, 2016)

Special issue Editorial: New technologies of distributed systems. - Khalil Drira; Ahmed Hadj Kacem; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2016)

Encoding Bigraphical Reactive Systems into Graph Transformation Systems. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Khalil Drira (Electron. Notes Discret. Math., 2016)

Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (Int. J. Inf. Syst. Model. Des., 2016)

Analytical decisional model for latency aware publish/subscribe systems on MANET. - Imene Lahyani; Mohamed Jmaiel; Christophe Chassot (J. Syst. Softw., 2016)

SoLDES: Service-oriented Lexical Database Exploitation System. - Mehdi Ben Abderrahmen; Bilel Gargouri; Mohamed Jmaiel (Res. Comput. Sci., 2016)

Safe and efficient runtime testing framework applied in dynamic and distributed systems. - Mariam Lahami; Moez Krichen; Mohamed Jmaiel (Sci. Comput. Program., 2016)

The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA. - Monia Ben Brahim; Tarak Chaari; Maher Ben Jemaa; Mohamed Jmaiel (Serv. Oriented Comput. Appl., 2016)

Development of a parser for the AADL error model annex. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (ICIS, 2017)

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (SCC, 2017)

A Utility-Based Approach for Self-Adaptive Systems: Application to a Smart Building. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel (AICCSA, 2017)

Mining Approach for Software Architectures' Description Discovery. - Mariam Chaabane; Ismael Bouassida Rodriguez; Khalil Drira; Mohamed Jmaiel (AICCSA, 2017)

A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (AICCSA, 2017)

Tools of Epidemiologic Research Protocol Creation: A Survey. - Mayara Khadhraoui; Hatem Bellaaj; Jihene Maatoug; Mohamed Jmaiel (AICCSA, 2017)

An Adaptive Scrum Model for Developing Disease Registries. - Hatem Bellaaj; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (HEALTHINF, 2017)

PCA-based multivariate anomaly detection in mobile healthcare applications. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel (DS-RT, 2017)

IoT-based health monitoring via LoRaWAN. - Afef Mdhaffar; Tarak Chaari; Kaouthar Larbi; Mohamed Jmaiel; Bernd Freisleben (EUROCON, 2017)

A Hybrid Approach for Private Data Protection in the Cloud. - Amal Ghorbel; Mahmoud Ghorbel; Mohamed Jmaiel (GPC, 2017)

A Design Guideline for Adaptation Decisions in the Autonomic Loop. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel (KES, 2017)

System of systems software architecture description using the ISO/IEC/IEEE 42010 standard. - Mariam Chaabane; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SAC, 2017)

A tool for modeling SoS architectures using bigraphs. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SAC, 2017)

Efficient composite event detection based on DHT protocol. - Amina Chaabane; Salma Bradai; Wassef Louati; Mohamed Jmaiel (SERA, 2017)

Composite Event Handling over a Distributed Event-Based System. - Amina Chaabane; Salma Bradai; Wassef Louati; Mohamed Jmaiel (SERA (selected papers), 2017)

WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. - Afef Jmal Maâlej; Moez Krichen; Mohamed Jmaïel (TAP@STAF, 2017)

PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud. - Amal Ghorbel; Mahmoud Ghorbel; Mohamed Jmaiel (WETICE, 2017)

A Web-Based Knowledge Management System for Scientific Research Team. - Abir Masmoudi 002; Emna Mezghani; Hatem Bellaaj; Khalil Drira; Mohamed Jmaiel (WETICE, 2017)

AROSA 2017: Summary Report. - Ismael Bouassida Rodriguez; Slim Kallel; Mohamed Jmaiel; Khalil Drira (WETICE, 2017)

A bigraphical multi-scale modeling methodology for system of systems. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Khalil Drira (Comput. Electr. Eng., 2017)

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems. - Slim Kallel; Khalil Drira; Mohamed Jmaiel (Comput. Electr. Eng., 2017)

Reactive performance monitoring of Cloud computing environments. - Afef Mdhaffar; Riadh Ben Halima; Mohamed Jmaiel; Bernd Freisleben (Clust. Comput., 2017)

An approach based on runtime models for developing dynamically adaptive systems. - Sihem Loukil; Slim Kallel; Mohamed Jmaiel (Future Gener. Comput. Syst., 2017)

A context change detection approach for ubiquitous environments. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (Int. J. Auton. Adapt. Commun. Syst., 2017)

A semantic-based representation and analysis of monitoring data for self-adaptive systems. - Ahmed Jemal; Riadh Ben Halima; Hend Ktait; Mohamed Jmaiel (Int. J. Auton. Comput., 2017)

A novel analysis approach for the design and the development of context-aware applications. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (J. Syst. Softw., 2017)

Privacy in cloud computing environments: a survey and research challenges. - Amal Ghorbel; Mahmoud Ghorbel; Mohamed Jmaiel (J. Supercomput., 2017)

Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira (Wirel. Pers. Commun., 2017)

Experiencing Low Power Wireless Links in Distribution Smart Grid Environments. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira (AICCSA, 2018)

Anomaly Detection and Diagnosis Scheme for Mobile Health Applications. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel; Khalil Drira (AINA, 2018)

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. - Rania Ben Halima; Imen Zouaghi; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (AINA, 2018)

A Resource-Aware Model-Based Framework for Load Testing of WS-BPEL Compositions. - Moez Krichen; Afef Jmal Maâlej; Mariam Lahami; Mohamed Jmaiel (ICEIS (Revised Selected Papers), 2018)

Distributed and Resource-Aware Load Testing of WS-BPEL Compositions. - Afef Jmal Maâlej; Mariam Lahami; Moez Krichen; Mohamed Jmaïel (ICEIS (2), 2018)

A semantic approach for constructing valid composition scenarios of linguistic Web services. - Mariem Neji; Bilel Gargouri; Mohamed Jmaiel (KES, 2018)

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences (1), 2018)

A decision approach for energy distribution management in smart cities. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel (SAC, 2018)

An adaptive neuro-fuzzy inference system for improving data quality in disease registries. - Hatem Bellaaj; Afef Mdhaffar; Mohamed Jmaiel; Sondes Hdiji Mseddi; Bernd Freisleben (SAC, 2018)

A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs. - Salma Daoud; Afef Mdhaffar; Bernd Freisleben; Mohamed Jmaiel (SAC, 2018)

An ocarina extension for AADL formal semantics generation. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (SAC, 2018)

Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report. - Ismael Bouassida Rodriguez; Mohamed Jmaiel; Khalil Drira (WETICE, 2018)

Data accuracy aware mobile healthcare applications. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel (Comput. Ind., 2018)

Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits. - Salma Bradai; Sofien Khemakhem; Mohamed Jmaiel (Comput. Networks, 2018)

Autonomous and traffic-aware scheduling for TSCH networks. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira; Luigi Alfredo Grieco (Comput. Networks, 2018)

A novel adaptation approach for collaborative ubiquitous applications. - Imen Abdennadher 001; Ismael Bouassida Rodriguez; Mohamed Jmaiel (Int. J. Auton. Adapt. Commun. Syst., 2018)

A performance analysis of Orchestra scheduling for time-slotted channel hopping networks. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel; Khalil Drira (Internet Technol. Lett., 2018)

Multi-objective design exploration approach for Ravenscar real-time systems. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (Real Time Syst., 2018)

Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment. - Amal Abid 002; Saoussen Cheikhrouhou; Mohamed Jmaiel (CRiSIS, 2019)

Improving Person Re-identification by Background Subtraction Using Two-Stream Convolutional Networks. - Mahmoud Ghorbel; Sourour Ammar; Yousri Kessentini; Mohamed Jmaiel (ICIAR (1), 2019)

A Convolutional Gated Recurrent Neural Network for Epileptic Seizure Prediction. - Abir Affes; Afef Mdhaffar; Chahnez Triki; Mohamed Jmaiel; Bernd Freisleben (ICOST, 2019)

DL4DED: Deep Learning for Depressive Episode Detection on Mobile Devices. - Afef Mdhaffar; Fedi Cherif; Yousri Kessentini; Manel Maalej; Jihen Ben Thabet; Mohamed Maalej; Mohamed Jmaiel; Bernd Freisleben (ICOST, 2019)

DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker. - Mohamed Hedi Fourati; Soumaya Marzouk; Khalil Drira; Mohamed Jmaiel (PDCAT, 2019)

Executing bigraphical reactive systems. - Amal Gassara; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Khalil Drira (Discret. Appl. Math., 2019)

An overview of a novel analysis approach for enhancing context awareness in smart environments. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (Inf. Softw. Technol., 2019)

A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric. - Mariam Chaabane; Ismael Bouassida Rodriguez; Ricardo Colomo-Palacios; Walid Gaaloul; Mohamed Jmaiel (Sci. Comput. Program., 2019)

Blockchain for Internet of Medical Things: A Technical Review. - Fatma Ellouze 001; Ghofrane Fersi; Mohamed Jmaiel (ICOST, 2020)

Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach. - Mayara Khadhraoui; Hatem Bellaaj; Mehdi Ben Ammar; Habib Hamam; Mohamed Jmaiel (ICOST, 2020)

Fusing Local and Global Features for Person Re-identification Using Multi-stream Deep Neural Networks. - Mahmoud Ghorbel; Sourour Ammar; Yousri Kessentini; Mohamed Jmaiel; Ahmed Chaari (MedPRAI, 2020)

How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (SenSys, 2020)

Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report. - Khalil Drira; Mohamed Jmaiel; Ismael Bouassida Rodriguez; Nesrine Khabou (WETICE, 2020)

New trends in adaptive smart systems, services, and architectures. - Khalil Drira; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2020)

AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems. - Lamia Ben Amor; Imene Lahyani; Mohamed Jmaiel (Expert Syst. J. Knowl. Eng., 2020)

Toward a correct and optimal time-aware cloud resource allocation to business processes. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Zakaria Maamar; Mohamed Jmaiel (Future Gener. Comput. Syst., 2020)

Time-aware selection approach for service composition based on pruning and improvement techniques. - Ikbel Guidara; Nawal Guermouche; Tarak Chaari; Mohamed Jmaiel (Softw. Qual. J., 2020)

A formal approach to AADL model-based software engineering. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (Int. J. Softw. Tools Technol. Transf., 2020)

Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy. - Salma Daoud; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (IEEE J. Biomed. Health Informatics, 2020)

A Multi-view Active Learning Approach for the Hierarchical Multi-label Classification of Research Papers. - Abir Masmoudi 002; Hatem Bellaaj; Mohamed Jmaiel (AINA (2), 2021)

Connected Medical Kiosks to Counter COVID-19: Needs, Architecture & Design Guidelines. - Lamia Chaari Fourati; Slim Rekhis; Samiha Ayed; Mohamed Jmaiel (IWCMC, 2021)

Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (TACC, 2021)

TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results. - Mohamed Hedi Fourati; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (TACC, 2021)

A Review of Container level Autoscaling for Microservices-based Applications. - Mohamed Hedi Fourati; Soumaya Marzouk; Mohamed Jmaiel (WETICE, 2021)

Comprehensive survey on self-organizing cellular network approaches applied to 5G networks. - Hasna Fourati; Rihab Maaloul; Lamia Chaari; Mohamed Jmaiel (Comput. Networks, 2021)

From generating process views over inter-organizational business processes to achieving their temporal consistency. - Slim Kallel; Saoussen Cheikhrouhou; Zakaria Maamar; Nawal Guermouche; Mohamed Jmaiel (Computing, 2021)

A co-training-based approach for the hierarchical multi-label classification of research papers. - Abir Masmoudi 002; Hatem Bellaaj; Khalil Drira; Mohamed Jmaiel (Expert Syst. J. Knowl. Eng., 2021)

A model-based approach for multi-level privacy policies derivation for cloud services. - Amal Ghorbel; Mahmoud Ghorbel; Mohamed Jmaiel (Int. J. Secur. Networks, 2021)

A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning. - Afef Mdhaffar; Bechir Zalila; Racem Moalla; Ayoub Kharrat; Omar Rebai; Mohamed Melek Hsairi; Ahmed Sallemi; Hsouna Kobbi; Amel Kolsi; Dorsaf Chatti; Mohamed Jmaiel; Bernd Freisleben (AICCSA, 2022)

An Energy Efficient Scheme Using Heuristic Algorithms for 5G H-CRAN. - Hasna Fourati; Rihab Maaloul; Lamia Chaari; Mohamed Jmaiel (AINA (1), 2022)

Limitations of static autonomous scheduling for TSCH protocol and advances in adaptive scheduling. - Sana Rekik; Nouha Baccour; Mohamed Jmaiel (CCWC, 2022)

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Ahmed Ben Ali; Philippe Genestier (COMPSAC, 2022)

Virtual Private Network Blockchain-based Dynamic Access Control Solution for Inter-organisational Large Scale IoT Networks. - Rahma Trabelsi; Ghofrane Fersi; Mohamed Jmaiel (CRiSIS, 2022)

A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (FedCSIS, 2022)

Disentangling temporal and amplitude variations in ECG synthesis using anchored GANs. - Nour Neifar; Afef Mdhaffar; Achraf Ben-Hamadou; Mohamed Jmaiel; Bernd Freisleben (SAC, 2022)

Personalized attention-based EEG channel selection for epileptic seizure prediction. - Abir Affes; Afef Mdhaffar; Chahnez Triki; Mohamed Jmaiel; Bernd Freisleben (Expert Syst. Appl., 2022)

Masking for better discovery: Weakly supervised complementary body regions mining for person re-identification. - Mahmoud Ghorbel; Sourour Ammar; Yousri Kessentini; Mohamed Jmaiel (Expert Syst. Appl., 2022)

EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity. - Mohamed Hedi Fourati; Soumaya Marzouk; Mohamed Jmaiel (J. Grid Comput., 2022)

Accountable privacy preserving attribute-based access control for cloud services enforced using blockchain. - Amal Ghorbel; Mahmoud Ghorbel; Mohamed Jmaiel (Int. J. Inf. Sec., 2022)

NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (Softw. Pract. Exp., 2022)

InsectDSOT: A Neural Network for Insect Detection in Olive Trees. - Lotfi Souifi; Afef Mdhaffar; Ismael Bouassida Rodriguez; Mohamed Jmaiel; Bernd Freisleben (ICAART (2), 2023)

A Comparative Study of GAN Methods for Physiological Signal Generation. - Nour Neifar; Achraf Ben-Hamadou; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (ICPRAM, 2023)

Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (ISCC, 2023)

Towards Microservices-Aware Autoscaling: A Review. - Mohamed Hedi Fourati; Soumaya Marzouk; Mohamed Jmaiel (ISCC, 2023)

A review of usable EEG-based solutions for epileptic seizure prediction. - Abir Affes; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (TACC, 2023)

Misbehavior detection systems in IoT environment: A survey. - Rahma Trabelsi; Ghofrane Fersi; Mohamed Jmaiel (TACC, 2023)

Formal Verification of Smart Contracts Based on Model Checking: An Overview. - Rim Ben Fekih; Mariam Lahami; Mohamed Jmaiel; Salma Bradai (WETICE, 2023)

DiffECG: A Generalized Probabilistic Diffusion Model for ECG Signals Synthesis. - Nour Neifar; Achraf Ben-Hamadou; Afef Mdhaffar; Mohamed Jmaiel (CoRR, 2023)

An Efficient Energy-Saving Scheme Using Genetic Algorithm for 5G Heterogeneous Networks. - Hasna Fourati; Rihab Maaloul; Lamia Fourati; Mohamed Jmaiel (IEEE Syst. J., 2023)

A core IoT ontology for automation support in edge computing. - Sahar Ghrab; Imene Lahyani; Sami Yangui; Mohamed Jmaiel (Serv. Oriented Comput. Appl., 2023)

Introduction to the special issue on new trends in autonomous systems engineering. - Nesrine Khabou; Ismael Bouassida Rodriguez; Mohamed Jmaiel (J. Supercomput., 2023)

Access control in Internet of Things: A survey. - Rahma Trabelsi; Ghofrane Fersi; Mohamed Jmaiel (Comput. Secur., 2023)

A fog and blockchain-based distributed Virtual Private Networks (VPN). - Rahma Trabelsi; Ghofrane Fersi; Mohamed Jmaiel (DCOSS-IoT, 2024)

LIDL4Oliv: A Lightweight Incremental Deep Learning Model for Classifying Olive Diseases in Images. - Emna Guermazi 002; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (ICAART (2), 2024)

TraSSI: A Confidential Traceability System for Self-sovereign Identity-Based Processes. - Amal Abid 002; Slim Kallel; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

Towards an Automated Verification Approach for ERC-Based Smart Contracts. - Rim Ben Fekih; Mariam Lahami; Mohamed Salem El Eze; Salma Bradai; Mohamed Jmaiel (ICSOC (2), 2024)

Knowledge Distillation for Object Detection Using YOLO-NAS. - Emna Guermazi 002; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (ICSOC Workshops (1), 2024)

A Framework for the Automatic Conversion of Text Into Sign Language. - Souha Ben Hamouda; Mohamed Jmaiel; Wafa Gabsi; Bechir Zalila (ICSOC Workshops (2), 2024)

Comprehensive Overview: Ethereum Smart Contract Security Testing for Reentrancy Issues. - Marwa Mnasri; Afef Jmal Maâlej; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

Dynamic Blockchain-Based Access Control for Internet of Things. - Rahma Trabelsi; Ghofrane Fersi; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

EduCheck: Ensuring Diploma Authenticity Using Blockchain Technology. - Mariem Turki; Slim Kallel; Mohamed Jmaiel (ICSOC Workshops (2), 2024)

Towards the Standardization of Disease Registry Form Structure. - Fatimetou Sidina; Hatem Bellaaj; Mohamed Jmaiel (ICT4AWE, 2024)

Lightweight WEB3 interface for secure IoMT-Blockchain integration. - Fatma Ellouze 001; Ghofrane Fersi; Mohamed Jmaiel (IWCMC, 2024)

DiffECG: A Versatile Probabilistic Diffusion Model for ECG Signals Synthesis. - Nour Neifar; Achraf Ben-Hamadou; Afef Mdhaffar; Mohamed Jmaiel (SERA, 2024)

Leveraging Statistical Shape Priors in GAN-Based ECG Synthesis. - Nour Neifar; Achraf Ben-Hamadou; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (IEEE Access, 2024)

MulKD: Multi-layer Knowledge Distillation via collaborative learning. - Emna Guermazi 002; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (Eng. Appl. Artif. Intell., 2024)

A Smart Contract-Based Access Control Framework For Smart Healthcare Systems. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Zahir Tari; Mohamed Jmaiel (Comput. J., 2024)

An efficient energy saving scheme using reinforcement learning for 5G and beyond in H-CRAN. - Hasna Fourati; Rihab Maaloul; Nessrine Trabelsi; Lamia Chaari; Mohamed Jmaiel (Ad Hoc Networks, 2024)

Leveraging Incremental Domain Adaptation in Olive Disease Detection. - Emna Guermazi 002; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (AIAI (2), 2025)

FedKD4DD: Federated Knowledge Distillation for Depression Detection. - Aslam Jlassi; Afef Mdhaffar; Mohamed Jmaiel; Bernd Freisleben (ICAART (3), 2025)

Blockchain-Powered Certificate Verification Enhanced by Self-Sovereign Identity and Off-Chain Caching. - Saoussen Cheikhrouhou; Mariem Turki; Slim Kallel; Amal Abid 002; Mohamed Jmaiel (IWCMC, 2025)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. - Rim Ben Fekih; Mariam Lahami; Salma Bradai; Mohamed Jmaiel (IEEE Access, 2025)

Deep generative models for physiological signals: A systematic literature review. - Nour Neifar; Afef Mdhaffar; Achraf Ben-Hamadou; Mohamed Jmaiel (Artif. Intell. Medicine, 2025)

A privacy-preserving traceability system for self-sovereign identity-based inter-organizational business processes. - Amal Abid 002; Saoussen Cheikhrouhou; Slim Kallel; Mohamed Jmaiel (Comput. Stand. Interfaces, 2025)

Cloud Elasticity of Microservices-Based Applications: A Survey. - Mohamed Hedi Fourati; Soumaya Marzouk; Mohamed Jmaiel (Concurr. Comput. Pract. Exp., 2025)

Lightweight blockchain-based access control with efficient revocation for fog-enabled IoT. - Fatma Ellouze 001; Ghofrane Fersi; Mohamed Jmaiel (Innov. Syst. Softw. Eng., 2025)