| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel |
Modeling and enforcing invariants of dynamic software architectures.  |
Software and System Modeling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel |
QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET. |
PDP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumaya Marzouk, Mohamed Jmaiel |
A survey on software checkpointing and mobility techniques in distributed systems. |
Concurrency and Computation: Practice and Experience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
Graph-based Management of Communities of Web Service Registries. |
WEBIST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
Modeling and Managing Communities of Web Service Registries. |
WEBIST (Selected Papers) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel |
Towards a Model-Based Approach for Reconfigurable DRE Systems. |
ECSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Drira, Mohamed Jmaiel |
Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011. |
WETICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imene Lahyani, Mohamed Jmaiel |
Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben |
AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring. |
CIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
An Integration Ontology for Components Composition. |
IJWP |
2010 |
DBLP BibTeX RDF |
|
| 1 | Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel |
A large-scale monitoring and measurement campaign for web services-based applications. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem |
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaouthar Fakhfakh, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Khalil Drira |
ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements. |
IJSSOE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emna Fki, Chantal Soulé-Dupuy, Saïd Tazi, Mohamed Jmaiel |
Intention Driven Service Composition with Patterns. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel |
Toward an Aspect Oriented ADL for Embedded Systems. |
ECSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel (eds.) |
NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings |
NOTERE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Soumaya Marzouk, Mohamed Jmaiel |
Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services. |
NOTERE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel |
A Runtime Performance Analysis for Web Service-Based Applications. |
ICWE Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumaya Marzouk, Afef Jmal Maâlej, Mohamed Jmaiel |
Aspect-Oriented Checkpointing Approach of Composed Web Services. |
ICWE Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaouthar Fakhfakh, Saïd Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel |
Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
Quality of Service, Ontology, Negotiation, SLA, Contract |
| 1 | Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
Using Recommendation to Limit Search Space in Web Services Discovery. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel |
Towards the reuse of lingware systems: a proposed approach with a practical experiment. |
iiWAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel |
Security Mapping to Enhance Matching Fine-Grained Security Policies. |
NDT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira |
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. |
SERA (selected papers) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel |
Specifying and Monitoring Temporal Properties in Web Services Compositions. |
ECOWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Chaabane, Mohamed Jmaiel |
A Secure Content-Based Publish/Subscribe Middleware. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
security, publish/subscribe, confidentiality, content-based |
| 1 | Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira |
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel |
A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems. |
WICSA/ECSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumaya Marzouk, Afef Jmal Maâlej, Ismael Bouassida Rodriguez, Mohamed Jmaiel |
Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Heni Frikha, Mohamed Jmaiel, Walid Mahdi |
A collaborative distributed video indexing. |
ICTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Amina Chaabane, Mohamed Jmaiel |
Security aware content-based publish/subscribe system. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel |
Experiments results and large scale measurement data for web services performance assessment. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose |
From Formal Access Control Policies to Runtime Enforcement Aspects. |
ESSoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Kallel, Anis Charfi, Mohamed Jmaiel |
Using Aspects for Enforcing Formal Architectural Invariants. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel |
Context-aware adaptation for group communication support applications with dynamic architecture |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel |
An experimental evaluation of SEC+, an enhanced search engine for component-based software development. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel |
An experimental evaluation of SEC+, an enhanced search engine for component-based software development. |
ACM SIGSOFT Software Engineering Notes |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel |
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. |
ICDCN |
2008 |
DBLP DOI BibTeX RDF |
distributed algorithms, mobile agents, spanning tree, proofs |
| 1 | Soumaya Marzouk, Mohamed Jmaiel |
Towards Making WSRF Based Web Services Strongly Mobile. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
strong mobility, stateful service, WSRF |
| 1 | Mohamed Jmaiel, Mohamed Mosbah (eds.) |
CRiSIS '08, Third International Conference on Risks and Security of Internet and Systems, Tozeur, Tunesia, October 28-30, 2008 |
CRiSIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
Aspect-based enforcement of formal delegation policies. |
CRiSIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah |
A formal security framework for mobile agent systems: Specification and verification. |
CRiSIS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Towards modelling and analysis of a coordination protocol for dynamic software adaptation. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
consistency preservation, coordination protocol, modelling, analysis, self-adaptation, adaptation process |
| 1 | Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel |
Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
rule-driven, autonomic computing, graph rewriting |
| 1 | Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira |
A UML rule-based approach for describing and checking dynamic software architectures. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel |
Electing a leader in the local computation model using mobile agents. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel |
A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel |
ForMAAD: A formal method for agent-based application design. |
Web Intelligence and Agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
SEC+: an enhanced search engine for component-based software development. |
ACM SIGSOFT Software Engineering Notes |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture |
| 1 | Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel |
A Serialisation Based Approach for Processes Strong Mobility. |
DAIS |
2007 |
DBLP DOI BibTeX RDF |
Strong Mobility, Java Thread, Distributed systems, Source code transformation, Serialisation |
| 1 | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel |
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
Self-healing Web services, reconfiguration, QoS management, repair, service monitoring |
| 1 | Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel |
A Formal Approach to prevent Attacks on Mobile Agent Systems. |
SECURWARE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel |
A serialization based approach for strong mobility of shared object. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation |
| 1 | Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel |
LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use. |
LTC |
2007 |
DBLP DOI BibTeX RDF |
LMF ISO-24613, LMF-QL, editorial usage, Natural Language Processing, Query generation, Lexical databases |
| 1 | Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel |
A Distributed Computational Model for Mobile Agents. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
distributed algorithms, mobile agent, computations model, transition systems |
| 1 | Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel |
ForMAAD Method: An Experimental Design for Air Traffic Control. |
ITSSA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
An UML-Based Approach for Validation of Software Architecture Descriptions. |
TEAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Describing dynamic software architectures using an extended UML model. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
structural and dynamic views, software architecture, profile, UML extension |
| 1 | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
SEC: a search engine for component based software development. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
discover, non-functional aspect, ontology, software component |
| 1 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Compositional specification of event-based software architectural styles. |
AICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. |
ICEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira |
Graphical simulation of the dynamic evolution of the software architectures specified in Z. |
IWPSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Towards a Formal Methodology for Designing Multi-agent Applications. |
MATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
Towards a UML profile for the description of dynamic software architectures. |
COEA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Towards a formal methodology for developing multi-agent applications using temporal Z. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
A formal model for mobile agent systems using Z. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
Using UML2.0 and GG for Describing the Dynamic of Software Architectures. |
ICITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel |
Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Specification and Verification of Multi-Agent Applications using Temporal Z. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. |
ICPS |
2004 |
DBLP DOI BibTeX RDF |
component-based applications, software architecture, formal specification, architectural style, graph rewriting, dynamic architecture |
| 1 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Specification and Design of Multi-agent Applications Using Temporal Z. |
PRIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Jmaiel, Peter Pepper |
Development of communication protocols using algebraic and temporal specifications. |
Computer Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
An approach to the formal specification of lingware. |
Natural Language Engineering |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamel Barkaoui, Mohamed Jmaiel, Ali Mili |
Guest editorial. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Jmaiel, Ahmed Hadj Kacem |
An Operational Semantics for Negotiating Agents. |
PRIMA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Chainbi, Abdelmajid Ben Hamadou, Mohamed Jmaiel |
A Belief-Goal-Role Theory for Multiagent Systems. |
IJPRAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem |
Cooperative Systems for Information Sharing and Exchange. (PDF / PS) |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
component-oriented software architecture, middleware, coordination, information sharing, Cooperative Systems |
| 1 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
An Environment for Formal Specification and Verification of Lingware. |
IEA/AIE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
An Environment for Formal Lingware Engineering. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Jmaiel |
A Unified Algebraic Framework for Specifying Communication Protocols. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification |
| 1 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
A Formal Approach to Lingware Development. |
IEA/AIE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
Vers l'utilisation des méthodes formelles pour le développement de linguiciels. |
COLING-ACL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems. |
DAI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Jmaiel |
Specification of communication protocols using temporal logic. |
Journal of Systems and Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Jmaiel |
An algebraic-temporal specification of a CSMA/CD-protocol. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")