| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sakkaravarthi Ramanathan, Aymen Kamoun, Khalil Drira, Christophe Chassot |
Ontology-based collaborative framework for disaster recovery scenarios  |
CoRR  |
2012 |
DBLP 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 | 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 | Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
A Formal Approach to Enforcing Consistency in Self-adaptive 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 | Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
Orchestrating Safe Behavioural Adaptations of Component-Based Systems. |
ICAS |
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 | Ismael Bouassida Rodriguez, Jérôme Lacouture, Khalil Drira |
Semantic Driven Self-Adaptation of Communications Applied to ERCMS. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
Ontology, Communication, Self-adaptation |
| 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 | 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 | 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 | Karim Guennoun, Khalil Drira, Nicolas Van Wambeke, Christophe Chassot, François Armando, Ernesto Exposito |
A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities. |
Computer Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Exposito, Nicolas Van Wambeke, Christophe Chassot, Khalil Drira |
Introducing a cross-layer interpreter for multimedia streams. |
Computer Networks |
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 | Renê Pegoraro, João Maurício Rosário, Khalil Drira |
Graphical Representations of Message Exchanges into Web Service-Based Applications. |
ICEIS (3-1) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Renê Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, João Maurício Rosário |
A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications. |
ICEIS (3-2) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Van Wambeke, François Armando, Christophe Chassot, Karim Guennoun, Khalil Drira, Ernesto Exposito |
Towards these of Models for Autonomic Network Management. |
MWCN/PWC |
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 | Liliana Ardissono, Danilo Ardagna, Khalil Drira |
Introduction to the First Workshop on QoS in Self-healing Web Services (QSWS 2008). |
Business Process Management Workshops |
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 | Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria Grazia Fugini, Stefano Modafferi, Enrico Mussi |
Model-Based QoS-Enabled Self-Healing Web Services. |
DEXA Workshops |
2008 |
DBLP DOI BibTeX RDF |
Self-healingness, ontology for quality, enhanced BPEL |
| 1 | Anastase Adonis, Khalil Drira |
Model-based design methods for adaptive e-learning environments. |
Interact. Techn. Smart Edu. |
2007 |
DBLP DOI 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 | 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 | François Armando, Nicolas Van Wambeke, Christophe Chassot, Ernesto Exposito, Khalil Drira |
A Framework for the Dynamic Configuration of Adaptive Transport Protocols: Application to QoS Requirements. |
WINSYS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Karim Guennoun, Khalil Drira, Christophe Chassot |
Architectural Adaptability Management for Mobile Cooperative Systems. |
MUE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Moo-Mena, Khalil Drira |
Reconfiguration of Web Services Architectures: A model-based approach. |
ISCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Chassot, Karim Guennoun, Khalil Drira, François Armando, Ernesto Exposito, André Lozes |
Towards Autonomous Management of QoS through Model-Driven Adaptability in Communication-Centric Systems. |
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 | Christophe Chassot, Karim Guennoun, Khalil Drira, François Armando, Ernesto Exposito, André Lozes |
Architecture Transformation and Refinement for Model-Driven Adaptability Management: Application to QoS Provisioning in Group Communication. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
model-oriented automated management, service-oriented dynamic architecture, cooperative and mobile applications, QoS, self-adaptability, Graph grammars |
| 1 | Saïd Tazi, Khalil Drira, Kamal Essajidi |
Maintien de la cohérence des intentions de communication dans la rédaction coopérative. |
CIDE |
2006 |
DBLP BibTeX RDF |
|
| 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 | Christophe Chassot, Khalil Drira, François Armando, Ernesto Exposito, André Lozes |
A model-based coordinated adaptability framework for QoS management in cooperative mobile and wireless applications. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
cooperative activities, machine-to-machine communication, model-oriented automated management, service oriented dynamic architecture, QoS, wireless networks, mobile applications, self-adaptability |
| 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 | Emir Hammami, Thierry Villemur, Khalil Drira |
An Online Component Deployment System for Dynamic Collaborative Sessions. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro F. Koyama, Olga Nabuco, Francisco Edeneziano D. Pereira, Khalil Drira |
Sharing Engineering Information and Knowledge. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
distributed engineering, ontology, knowledge acquisition, knowledge sharing, agent-based system |
| 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 | 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 | Olga Nabuco, Mauro F. Koyama, Francisco Edeneziano D. Pereira, Khalil Drira |
Finding Manufacturing Expertise Using Ontologies and Cooperative Agents. |
AIAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Olga Nabuco, Mauro F. Koyama, Francisco Edeneziano D. Pereira, José Reinaldo Silva, Khalil Drira, João Maurício Rosário |
Manufacturing Automation Network's Cooperative E-Space. |
Virtual Enterprises and Collaborative Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francisco Moo-Mena, Khalil Drira |
A Component-Based Design Approach for Collaborative Distributed Systems. |
ISSADS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Martín Molina Espinosa, Jean Fanchon, Khalil Drira |
The Internal-Local-Remote Dependency Model for Generic Coordination in Distributed Collaboration Sessions. |
ISSADS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Fanchon, Khalil Drira, Saul Pomares Hernandez |
Abstract Channels as Connectors for Software Components in Group Communication Services. |
ENC |
2004 |
DBLP DOI BibTeX RDF |
Ordering Protocols, Software Components, Group Communication |
| 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 | Farhad Arbab, Khalil Drira |
Introduction. |
The Journal of Supercomputing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Martín Molina Espinosa, Jean Fanchon, Khalil Drira |
A Logical Model for Coordination Rule Classes in Collaborative Sessions. |
WETICE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Roblet, Khalil Drira, Michel Diaz |
Formal design and development of a Corba-based application for cooperative HTML group editing support. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa |
Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. |
OPODIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes |
Testability analysis in communicating systems. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Nabuco, Khalil Drira, Edeneziano Dantas |
A Layered Design Model for Knowledge and Information Sharing Cooperative Systems. (PDF / PS) |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
Knowledge sharing, cooperative systems, information agents |
| 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 | Saul Pomares Hernandez, Jean Fanchon, Khalil Drira, Michel Diaz |
Causal Broadcast Protocol for Very Large Group Communication Systems. |
OPODIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz |
Services, Methodologies and Platforms for Cooperative Environments. |
OPODIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, M. Molina, Olga Nabuco, Laura Margarita Rodríguez Peralta, Thierry Villemur |
Product Data and Workflow Management. |
Cooperative Environments for Distributed Systems Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Drira, Andrea Martelli, Thierry Villemur (eds.) |
Cooperative Environments for Distributed Systems Engineering, The Distributed Systems Environment Report |
Cooperative Environments for Distributed Systems Engineering |
2001 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Andrea Martelli, Thierry Villemur |
Introduction. |
Cooperative Environments for Distributed Systems Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Saul Pomares Hernandez, Khalil Drira, Jean Fanchon |
A Reference Design Model for Group Communication Systems. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz |
A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
coordination and cooperation, new design techniques and tools, multimedia collaborative systems, Communication, computer-based training |
| 1 | Khalil Drira, Frédéric Gouëzec, Michel Diaz |
Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Frédéric Gouëzec, Michel Diaz |
A Cooperation Service for CORBA Objects. From the Model to the Applications. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Villemur, Khalil Drira, Michel Diaz |
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
Cooperative groups modeling, membership algorithms, JAVA, statechart, actors, formal design |
| 1 | Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot |
On the definition and representation of the quality of service for multimedia systems. |
HPN |
1995 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Youcef Atamna, Guy Juanole |
Quantified reduced views of state graphs using Markovian and timed observational equivalence. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | François Vernadat, Pierre Azéma, Khalil Drira |
Distributed Coin Tossing. |
ICDCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Testability of a Communicating System Through an Environment. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma |
Verifying Communication Protocols Via Testing-Projection. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira |
The Refusal Graph: a Tradeoff between Verification and Test. |
Protocol Test Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, François Vernadat |
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
A Formal Assessment of Synchronous Testability for Communicating Systems. |
ICDCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Characterizing and Ordering Errors Detected by Conformance Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pierre Azéma, Khalil Drira, François Vernadat |
A Bus Instrumentation Protocol Specified in LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")