The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Khalil Drira: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Khalil Drira, Pierre Azéma
    Verifying Communication Protocols Via Testing-Projection. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:253-262 [Conf]
  2. Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    Towards a UML profile for the description of dynamic software architectures. [Citation Graph (0, 0)][DBLP]
    COEA, 2005, pp:25-39 [Conf]
  3. Khalil Drira, M. Molina, Olga Nabuco, Laura Margarita Rodríguez Peralta, Thierry Villemur
    Product Data and Workflow Management. [Citation Graph (0, 0)][DBLP]
    Cooperative Environments for Distributed Systems Engineering, 2001, pp:107-152 [Conf]
  4. Khalil Drira, Andrea Martelli, Thierry Villemur
    Introduction. [Citation Graph (0, 0)][DBLP]
    Cooperative Environments for Distributed Systems Engineering, 2001, pp:3-6 [Conf]
  5. Jean Fanchon, Khalil Drira, Saul Pomares Hernandez
    Abstract Channels as Connectors for Software Components in Group Communication Services. [Citation Graph (0, 0)][DBLP]
    ENC, 2004, pp:88-95 [Conf]
  6. Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz
    A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:2158-2165 [Conf]
  7. Khalil Drira, Frédéric Gouëzec, Michel Diaz
    A Cooperation Service for CORBA Objects. From the Model to the Applications. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:769-776 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    EWSA, 2006, pp:220-227 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  10. Pierre Azéma, Khalil Drira, François Vernadat
    A Bus Instrumentation Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:263-269 [Conf]
  11. Thierry Villemur, Khalil Drira, Michel Diaz
    Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1999, pp:119-124 [Conf]
  12. Michel Diaz, Khalil Drira, André Lozes, Christophe Chassot
    On the definition and representation of the quality of service for multimedia systems. [Citation Graph (0, 0)][DBLP]
    HPN, 1995, pp:116-128 [Conf]
  13. Mauro F. Koyama, Olga Nabuco, Francisco Edeneziano D. Pereira, Khalil Drira
    Sharing Engineering Information and Knowledge. [Citation Graph (0, 0)][DBLP]
    IAT, 2005, pp:297-300 [Conf]
  14. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    A Formal Assessment of Synchronous Testability for Communicating Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:149-156 [Conf]
  15. François Vernadat, Pierre Azéma, Khalil Drira
    Distributed Coin Tossing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1994, pp:244-249 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:189-195 [Conf]
  17. Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. [Citation Graph (0, 0)][DBLP]
    ICPS, 2004, pp:227-234 [Conf]
  18. Olga Nabuco, Mauro F. Koyama, Francisco Edeneziano D. Pereira, Khalil Drira
    Finding Manufacturing Expertise Using Ontologies and Cooperative Agents. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:117-128 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    Virtual Enterprises and Collaborative Networks, 2004, pp:443-450 [Conf]
  20. José Martín Molina Espinosa, Jean Fanchon, Khalil Drira
    The Internal-Local-Remote Dependency Model for Generic Coordination in Distributed Collaboration Sessions. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2004, pp:158-169 [Conf]
  21. Emir Hammami, Thierry Villemur, Khalil Drira
    An Online Component Deployment System for Dynamic Collaborative Sessions. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2005, pp:215-225 [Conf]
  22. Francisco Moo-Mena, Khalil Drira
    A Component-Based Design Approach for Collaborative Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2004, pp:197-206 [Conf]
  23. Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira
    Graphical simulation of the dynamic evolution of the software architectures specified in Z. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2005, pp:45-48 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    MSWiM, 2006, pp:118-125 [Conf]
  25. Saul Pomares Hernandez, Jean Fanchon, Khalil Drira, Michel Diaz
    Causal Broadcast Protocol for Very Large Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:175-188 [Conf]
  26. Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa
    Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2002, pp:29-40 [Conf]
  27. Thierry Villemur, Khalil Drira, Véronique Baudin, Michel Diaz
    Services, Methodologies and Platforms for Cooperative Environments. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:213-234 [Conf]
  28. Saul Pomares Hernandez, Khalil Drira, Jean Fanchon
    A Reference Design Model for Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  29. Khalil Drira, Youcef Atamna, Guy Juanole
    Quantified reduced views of state graphs using Markovian and timed observational equivalence. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:253-268 [Conf]
  30. Khalil Drira, Pierre Azéma, François Vernadat
    Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:257-272 [Conf]
  31. Khalil Drira
    The Refusal Graph: a Tradeoff between Verification and Test. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:297-312 [Conf]
  32. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    Characterizing and Ordering Errors Detected by Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:67-78 [Conf]
  33. Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Describing dynamic software architectures using an extended UML model. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1245-1249 [Conf]
  34. Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
    SEC: a search engine for component based software development. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1745-1750 [Conf]
  35. Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
    Testability of a Communicating System Through an Environment. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:529-543 [Conf]
  36. Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
    Cooperative Systems for Information Sharing and Exchange. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:313-314 [Conf]
  37. José Martín Molina Espinosa, Jean Fanchon, Khalil Drira
    A Logical Model for Coordination Rule Classes in Collaborative Sessions. [Citation Graph (0, 0)][DBLP]
    WETICE, 2003, pp:65-70 [Conf]
  38. Olga Nabuco, Khalil Drira, Edeneziano Dantas
    A Layered Design Model for Knowledge and Information Sharing Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:305-310 [Conf]
  39. Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    Using UML2.0 and GG for Describing the Dynamic of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ICITA (1), 2005, pp:46-51 [Conf]
  40. Karim Guennoun, Khalil Drira, Christophe Chassot
    Architectural Adaptability Management for Mobile Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    MUE, 2007, pp:1130-1135 [Conf]
  41. Khalil Drira, Pierre Azéma, Pierre de Saqui-Sannes
    Testability analysis in communicating systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:5/6, pp:671-693 [Journal]
  42. Etienne Roblet, Khalil Drira, Michel Diaz
    Formal design and development of a Corba-based application for cooperative HTML group editing support. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:113-127 [Journal]
  43. Farhad Arbab, Khalil Drira
    Introduction. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2003, v:24, n:2, pp:119-120 [Journal]
  44. Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    An UML-Based Approach for Validation of Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP]
    TEAA, 2006, pp:158-171 [Conf]
  45. Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:44-59 [Conf]
  46. 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. [Citation Graph (0, 0)][DBLP]
    ITSSA, 2006, v:2, n:3, pp:255-264 [Journal]

  47. A UML rule-based approach for describing and checking dynamic software architectures. [Citation Graph (, )][DBLP]


  48. Compositional specification of event-based software architectural styles. [Citation Graph (, )][DBLP]


  49. Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. [Citation Graph (, )][DBLP]


  50. Semantic Driven Self-Adaptation of Communications Applied to ERCMS. [Citation Graph (, )][DBLP]


  51. Introduction to the First Workshop on QoS in Self-healing Web Services (QSWS 2008). [Citation Graph (, )][DBLP]


  52. Model-Based QoS-Enabled Self-Healing Web Services. [Citation Graph (, )][DBLP]


  53. Graphical Representations of Message Exchanges into Web Service-Based Applications. [Citation Graph (, )][DBLP]


  54. A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications. [Citation Graph (, )][DBLP]


  55. A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. [Citation Graph (, )][DBLP]


  56. Reconfiguration of Web Services Architectures: A model-based approach. [Citation Graph (, )][DBLP]


  57. Experiments results and large scale measurement data for web services performance assessment. [Citation Graph (, )][DBLP]


  58. Towards these of Models for Autonomic Network Management. [Citation Graph (, )][DBLP]


  59. A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. [Citation Graph (, )][DBLP]


  60. A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. [Citation Graph (, )][DBLP]


  61. A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems. [Citation Graph (, )][DBLP]


  62. A Formal Approach to Enforcing Consistency in Self-adaptive Systems. [Citation Graph (, )][DBLP]


  63. An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. [Citation Graph (, )][DBLP]


  64. Maintien de la cohérence des intentions de communication dans la rédaction coopérative. [Citation Graph (, )][DBLP]


  65. Towards modelling and analysis of a coordination protocol for dynamic software adaptation. [Citation Graph (, )][DBLP]


  66. Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. [Citation Graph (, )][DBLP]


  67. A Framework for the Dynamic Configuration of Adaptive Transport Protocols: Application to QoS Requirements. [Citation Graph (, )][DBLP]


  68. Introducing a cross-layer interpreter for multimedia streams. [Citation Graph (, )][DBLP]


  69. A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities. [Citation Graph (, )][DBLP]


  70. Context-aware adaptation for group communication support applications with dynamic architecture [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002