| 2008 |
|---|
| 62 | EE | 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 |
| 61 | EE | 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 |
| 60 | | 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 |
| 59 | | 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 |
| 58 | EE | Riadh Ben Halima,
Khalil Drira,
Mohamed Jmaiel:
A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services.
ICWS 2008: 104-111 |
| 57 | EE | 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 |
| 56 | EE | 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) |
| 55 | EE | 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) |
| 54 | EE | 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) |
| 53 | EE | 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) |
| 52 | EE | Ernesto Exposito,
Nicolas Van Wambeke,
Christophe Chassot,
Khalil Drira:
Introducing a cross-layer interpreter for multimedia streams.
Computer Networks 52(6): 1125-1141 (2008) |
| 2007 |
|---|
| 51 | EE | 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 |
| 50 | EE | Francisco Moo-Mena,
Khalil Drira:
Reconfiguration of Web Services Architectures: A model-based approach.
ISCC 2007: 357-362 |
| 49 | EE | Karim Guennoun,
Khalil Drira,
Christophe Chassot:
Architectural Adaptability Management for Mobile Cooperative Systems.
MUE 2007: 1130-1135 |
| 48 | EE | Riadh Ben Halima,
Khalil Drira,
Mohamed Jmaiel:
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.
WETICE 2007: 339-344 |
| 47 | EE | Sofien Khemakhem,
Khalil Drira,
Mohamed Jmaiel:
SEC+: an enhanced search engine for component-based software development.
ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
| 2006 |
|---|
| 46 | | 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 |
| 45 | EE | 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 |
| 44 | EE | 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 |
| 43 | EE | Mohamed Hadj Kacem,
Ahmed Hadj Kacem,
Mohamed Jmaiel,
Khalil Drira:
Describing dynamic software architectures using an extended UML model.
SAC 2006: 1245-1249 |
| 42 | EE | Sofien Khemakhem,
Khalil Drira,
Mohamed Jmaiel:
SEC: a search engine for component based software development.
SAC 2006: 1745-1750 |
| 41 | EE | Mohamed Hadj Kacem,
Mohamed Jmaiel,
Ahmed Hadj Kacem,
Khalil Drira:
An UML-Based Approach for Validation of Software Architecture Descriptions.
TEAA 2006: 158-171 |
| 40 | | 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) |
| 2005 |
|---|
| 39 | | 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 |
| 38 | EE | Mauro F. Koyama,
Olga Nabuco,
Francisco Edeneziano D. Pereira,
Khalil Drira:
Sharing Engineering Information and Knowledge.
IAT 2005: 297-300 |
| 37 | | 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 |
| 36 | EE | 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 |
| 35 | EE | Emir Hammami,
Thierry Villemur,
Khalil Drira:
An Online Component Deployment System for Dynamic Collaborative Sessions.
ISSADS 2005: 215-225 |
| 34 | EE | Riadh Ben Halima,
Mohamed Jmaiel,
Khalil Drira:
Graphical simulation of the dynamic evolution of the software architectures specified in Z.
IWPSE 2005: 45-48 |
| 2004 |
|---|
| 33 | | Olga Nabuco,
Mauro F. Koyama,
Francisco Edeneziano D. Pereira,
Khalil Drira:
Finding Manufacturing Expertise Using Ontologies and Cooperative Agents.
AIAI 2004: 117-128 |
| 32 | EE | Jean Fanchon,
Khalil Drira,
Saul Pomares Hernandez:
Abstract Channels as Connectors for Software Components in Group Communication Services.
ENC 2004: 88-95 |
| 31 | EE | 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 |
| 30 | EE | 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 |
| 29 | EE | Francisco Moo-Mena,
Khalil Drira:
A Component-Based Design Approach for Collaborative Distributed Systems.
ISSADS 2004: 197-206 |
| 28 | | 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 |
| 2003 |
|---|
| 27 | EE | José Martín Molina Espinosa,
Jean Fanchon,
Khalil Drira:
A Logical Model for Coordination Rule Classes in Collaborative Sessions.
WETICE 2003: 65-70 |
| 26 | EE | Farhad Arbab,
Khalil Drira:
Introduction.
The Journal of Supercomputing 24(2): 119-120 (2003) |
| 2002 |
|---|
| 25 | | 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 |
| 24 | EE | 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) |
| 2001 |
|---|
| 23 | | Khalil Drira,
Andrea Martelli,
Thierry Villemur:
Cooperative Environments for Distributed Systems Engineering, The Distributed Systems Environment Report
Springer 2001 |
| 22 | EE | 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 |
| 21 | EE | Khalil Drira,
Andrea Martelli,
Thierry Villemur:
Introduction.
Cooperative Environments for Distributed Systems Engineering 2001: 3-6 |
| 20 | | Saul Pomares Hernandez,
Jean Fanchon,
Khalil Drira,
Michel Diaz:
Causal Broadcast Protocol for Very Large Group Communication Systems.
OPODIS 2001: 175-188 |
| 19 | | Thierry Villemur,
Khalil Drira,
Véronique Baudin,
Michel Diaz:
Services, Methodologies and Platforms for Cooperative Environments.
OPODIS 2001: 213-234 |
| 18 | EE | Olga Nabuco,
Khalil Drira,
Edeneziano Dantas:
A Layered Design Model for Knowledge and Information Sharing Cooperative Systems.
WETICE 2001: 305-310 |
| 17 | EE | 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 |
| 16 | EE | Khalil Drira,
Pierre Azéma,
Pierre de Saqui-Sannes:
Testability analysis in communicating systems.
Computer Networks 36(5/6): 671-693 (2001) |
| 2000 |
|---|
| 15 | EE | Khalil Drira,
Thierry Villemur,
Véronique Baudin,
Michel Diaz:
A Multi-Paradigm Layered Architecture for Synchronous Distance Learning.
EUROMICRO 2000: 2158-2165 |
| 14 | | Saul Pomares Hernandez,
Khalil Drira,
Jean Fanchon:
A Reference Design Model for Group Communication Systems.
PDPTA 2000 |
| 1999 |
|---|
| 13 | EE | 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 |
| 12 | | 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 |
| 11 | EE | Thierry Villemur,
Khalil Drira,
Michel Diaz:
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform.
FTDCS 1999: 119-124 |
| 1995 |
|---|
| 10 | | 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 |
| 9 | | Khalil Drira,
Youcef Atamna,
Guy Juanole:
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
PSTV 1995: 253-268 |
| 1994 |
|---|
| 8 | | François Vernadat,
Pierre Azéma,
Khalil Drira:
Distributed Coin Tossing.
ICDCS 1994: 244-249 |
| 1993 |
|---|
| 7 | | Khalil Drira,
Pierre Azéma:
Verifying Communication Protocols Via Testing-Projection.
AMAST 1993: 253-262 |
| 6 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
A Formal Assessment of Synchronous Testability for Communicating Systems.
ICDCS 1993: 149-156 |
| 5 | | Khalil Drira,
Pierre Azéma,
François Vernadat:
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
PSTV 1993: 257-272 |
| 4 | | Khalil Drira:
The Refusal Graph: a Tradeoff between Verification and Test.
Protocol Test Systems 1993: 297-312 |
| 3 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
Testability of a Communicating System Through an Environment.
TAPSOFT 1993: 529-543 |
| 1992 |
|---|
| 2 | | Khalil Drira,
Pierre Azéma,
B. Soulas,
A. M. Chemali:
Characterizing and Ordering Errors Detected by Conformance Testing.
Protocol Test Systems 1992: 67-78 |
| 1990 |
|---|
| 1 | | Pierre Azéma,
Khalil Drira,
François Vernadat:
A Bus Instrumentation Protocol Specified in LOTOS.
FORTE 1990: 263-269 |
