Khalil Drira

Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems. Concurrency and Computation: Practice and Experience 25(2): 159-160 (2013)

Alberto Calixto Simon, Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Pilar Gómez-Gil, Khalil Drira: A Scalable Communication-Induced Checkpointing Algorithm for Distributed Systems. IEICE Transactions 96-D(4): 886-896 (2013)

Emna Mezghani, Riadh Ben Halima, Ismael Bouassida Rodriguez, Khalil Drira: A model driven methodology for enabling autonomic reconfiguration of service oriented architecture. SAC 2013: 1772-1773

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani: Towards an approach for modeling and formalizing SOA design patterns with Event-B. SAC 2013: 1937-1938

Aymen Kamoun, Saïd Tazi, Khalil Drira: FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services. Computers in Industry 63(8): 756-765 (2012)

Mahdi Ben Alaya, Thierry Monteil, Khalil Drira: Autonomic framework based on semantic models for self-management of ubiquitous systems. UbiComp 2012: 860-862

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

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. WETICE 2012: 405-410

Sumitra Reddy, Khalil Drira (Eds.): 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012. IEEE Computer Society 2012, isbn 978-1-4673-1888-4

Sakkaravarthi Ramanathan, Aymen Kamoun, Khalil Drira, Christophe Chassot: Ontology-based collaborative framework for disaster recovery scenarios. CoRR abs/1203.6537 (2012)

Khalil Drira, Mohamed Jmaiel: Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011. WETICE 2011: 59-60

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 22(10): 1207-1222 (2010)

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

Kaouthar Fakhfakh, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Khalil Drira: ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements. IJSSOE 1(3): 1-20 (2010)

Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel: An Integration Ontology for Components Composition. IJWP 2(3): 35-42 (2010)

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 83(3): 412-428 (2010)

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: 183-188

Ismael Bouassida Rodriguez, Jérôme Lacouture, Khalil Drira: Semantic Driven Self-Adaptation of Communications Applied to ERCMS. AINA 2010: 1292-1299

Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA 2010: 279-294

Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS 2010: 37-46

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: 87-101

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

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. IEEE 2010, isbn 978-1-4244-7066-2

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

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

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: 353-356

Ernesto Exposito, Nicolas Van Wambeke, Christophe Chassot, Khalil Drira: Introducing a cross-layer interpreter for multimedia streams. Computer Networks 52(6): 1125-1141 (2008)

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 31(13): 3003-3017 (2008)

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 33(3) (2008)

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 33(4) (2008)

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: 1107-1114

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: 419-421

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: 711-715

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: 201-206

Renê Pegoraro, João Maurício Rosário, Khalil Drira: Graphical Representations of Message Exchanges into Web Service-Based Applications. ICEIS (3-1) 2008: 367-370

Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel: A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. ICWS 2008: 104-111

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: 459-470

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: 484-491

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

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

Anastase Adonis, Khalil Drira: Model-based design methods for adaptive e-learning environments. Interact. Techn. Smart Edu. 4(2): 100-116 (2007)

Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel: SEC+: an enhanced search engine for component-based software development. ACM SIGSOFT Software Engineering Notes 32(4) (2007)

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

Francisco Moo-Mena, Khalil Drira: Reconfiguration of Web Services Architectures: A model-based approach. ISCC 2007: 357-362

Karim Guennoun, Khalil Drira, Christophe Chassot: Architectural Adaptability Management for Mobile Cooperative Systems. MUE 2007: 1130-1135

Francisco Moo-Mena, Khalil Drira: Modeling Architectural Level Repair in Web Services. WEBIST (1) 2007: 240-245

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

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: 275-283

Karim Guennoun, Khalil Drira: Using graph grammars for interaction style description: applications for service-oriented architectures. Comput. Syst. Sci. Eng. 21(4) (2006)

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 2(3): 255-264 (2006)

Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344

Saïd Tazi, Khalil Drira, Kamal Essajidi: Maintien de la cohérence des intentions de communication dans la rédaction coopérative. CIDE 2006: 151-168

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: 220-227

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: 118-125

Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249

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

Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA 2006: 158-171

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: 25-39

Mauro F. Koyama, Olga Nabuco, Francisco Edeneziano D. Pereira, Khalil Drira: Sharing Engineering Information and Knowledge. IAT 2005: 297-300

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 (3) 2005: 189-195

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

Emir Hammami, Thierry Villemur, Khalil Drira: An Online Component Deployment System for Dynamic Collaborative Sessions. ISSADS 2005: 215-225

Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira: Graphical simulation of the dynamic evolution of the software architectures specified in Z. IWPSE 2005: 45-48

Jean Fanchon, Khalil Drira, Saúl E. Pomares Hernández: Abstract Channels as Connectors for Software Components in Group Communication Services. ENC 2004: 88-95

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: 227-234

Olga Nabuco, Mauro F. Koyama, Francisco Edeneziano D. Pereira, Khalil Drira: Finding Manufacturing Expertise Using Ontologies and Cooperative Agents. AIAI 2004: 117-128

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: 443-450

José Martín Molina Espinosa, Jean Fanchon, Khalil Drira: The Internal-Local-Remote Dependency Model for Generic Coordination in Distributed Collaboration Sessions. ISSADS 2004: 158-169

Francisco Moo-Mena, Khalil Drira: A Component-Based Design Approach for Collaborative Distributed Systems. ISSADS 2004: 197-206

Farhad Arbab, Khalil Drira: Introduction. The Journal of Supercomputing 24(2): 119-120 (2003)

José Martín Molina Espinosa, Jean Fanchon, Khalil Drira: A Logical Model for Coordination Rule Classes in Collaborative Sessions. WETICE 2003: 65-70

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 60(2): 113-127 (2002)

Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa: Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. OPODIS 2002: 29-40

Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes: Testability analysis in communicating systems. Computer Networks 36(5/6): 671-693 (2001)

Khalil Drira, Andrea Martelli, Thierry Villemur: Introduction. Cooperative Environments for Distributed Systems Engineering 2001: 3-6

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: 107-152

Saúl E. Pomares Hernández, Jean Fanchon, Khalil Drira, Michel Diaz: Causal Broadcast Protocol for Very Large Group Communication Systems. OPODIS 2001: 175-188

Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz: Services, Methodologies and Platforms for Cooperative Environments. OPODIS 2001: 213-234

Olga Nabuco, Khalil Drira, Edeneziano Dantas: A Layered Design Model for Knowledge and Information Sharing Cooperative Systems. WETICE 2001: 305-310

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

Khalil Drira, Andrea Martelli, Thierry Villemur (Eds.): Cooperative Environments for Distributed Systems Engineering, The Distributed Systems Environment Report. Lecture Notes in Computer Science 2236, Springer 2001, isbn 3-540-43083-0

Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz: A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. EUROMICRO 2000: 2158-2165

Saúl E. Pomares Hernández, Khalil Drira, Jean Fanchon: A Reference Design Model for Group Communication Systems. PDPTA 2000

Khalil Drira, Frédéric Gouëzec, Michel Diaz: A Cooperation Service for CORBA Objects. From the Model to the Applications. Euro-Par 1999: 769-776

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

Thierry Villemur, Khalil Drira, Michel Diaz: Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. FTDCS 1999: 119-124

Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot: On the definition and representation of the quality of service for multimedia systems. HPN 1995: 116-128

Khalil Drira, Youcef Atamna, Guy Juanole: Quantified reduced views of state graphs using Markovian and timed observational equivalence. PSTV 1995: 253-268

François Vernadat, Pierre Azéma, Khalil Drira: Distributed Coin Tossing. ICDCS 1994: 244-249

Khalil Drira, Pierre Azéma: Verifying Communication Protocols Via Testing-Projection. AMAST 1993: 253-262

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: A Formal Assessment of Synchronous Testability for Communicating Systems. ICDCS 1993: 149-156

Khalil Drira, Pierre Azéma, François Vernadat: Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV 1993: 257-272

Khalil Drira: The Refusal Graph: a Tradeoff between Verification and Test. Protocol Test Systems 1993: 297-312

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: Testability of a Communicating System Through an Environment. TAPSOFT 1993: 529-543

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali: Characterizing and Ordering Errors Detected by Conformance Testing. Protocol Test Systems 1992: 67-78

Pierre Azéma, Khalil Drira, François Vernadat: A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269