Khalil Drira

2007
50	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
49	EE	Francisco Moo-Mena, Khalil Drira: Reconfiguration of Web Services Architectures: A model-based approach. ISCC 2007: 357-362
48	EE	Karim Guennoun, Khalil Drira, Christophe Chassot: Architectural Adaptability Management for Mobile Cooperative Systems. MUE 2007: 1130-1135
47	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
46	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
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

Coauthor Index

1	Farhad Arbab	[26]
2	François Armando	[40] [44] [45]
3	Youcef Atamna	[9]
4	Pierre Azéma	[1] [2] [3] [5] [6] [7] [8] [16]
5	Véronique Baudin	[15] [19]
6	Christophe Chassot	[10] [40] [44] [45] [48]
7	A. M. Chemali	[2] [3] [6]
8	Edeneziano Dantas	[18]
9	Michel Diaz	[10] [11] [12] [13] [15] [17] [19] [20] [24]
10	José Martín Molina Espinosa	[25] [27] [30]
11	Ernesto Exposito	[40] [44] [45]
12	Jean Fanchon	[14] [20] [27] [30] [32]
13	Frédéric Gouëzec	[12] [13]
14	Karim Guennoun	[40] [45] [48]
15	Riadh Ben Halima	[34] [47]
16	Abdelmajid Ben Hamadou	[17]
17	Emir Hammami	[35]
18	Saul Pomares Hernandez	[14] [20] [32]
19	Mohamed Jmaiel	[17] [31] [34] [36] [37] [39] [41] [42] [43] [46] [47] [50]
20	Guy Juanole	[9]
21	Ahmed Hadj Kacem	[17] [31] [36] [37] [39] [41] [43] [50]
22	Mohamed Hadj Kacem	[36] [37] [39] [41] [43]
23	Sofien Khemakhem	[42] [46]
24	Mauro F. Koyama	[28] [33] [38]
25	Imen Loulou	[31] [50]
26	André Lozes	[10] [40] [44] [45]
27	Andrea Martelli	[21] [23]
28	Mohammed Nadhmi Miladi	[39]
29	M. Molina	[22]
30	Francisco Moo-Mena	[29] [49]
31	Olga Nabuco	[18] [22] [28] [33] [38]
32	Laura Margarita Rodríguez Peralta	[22] [25]
33	Francisco Edeneziano D. Pereira	[28] [33] [38]
34	Etienne Roblet	[24]
35	João Maurício Rosário	[28]
36	Pierre de Saqui-Sannes	[16]
37	José Reinaldo Silva	[28]
38	B. Soulas	[2] [3] [6]
39	François Vernadat	[1] [5] [8]
40	Thierry Villemur	[11] [15] [17] [19] [21] [22] [23] [25] [35]

Colors in the list of coauthors