Travelled to:1 × Canada
1 × Denmark
1 × Portugal
1 × USA
1 × United Kingdom
3 × France
4 × Spain
Collaborated with:A.H.Kacem M.H.Kacem M.Jmaiel I.Khlif I.B.Rodriguez ∅ P.Azéma B.Soulas A.M.Chemali E.Mezghani R.B.Halima I.Tounsi N.H.Kacem S.Khemakhem C.Chassot I.Loulou Z.Hrichi R.Pegoraro K.Guennoun J.M.Rosário
Talks about:architectur (7) model (7) approach (5) softwar (5) base (5) system (3) formal (3) design (3) multi (3) dynam (3)
Person: Khalil Drira
DBLP: Drira:Khalil
Facilitated 1 volumes:
EdContributed to:
2015
2015201320132010
20092008200720062005
19931992
1993Wrote 16 papers:
- ICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml
- A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
- SAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards
- Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
- ICEIS-v2-2013-TounsiHKKD #design pattern #modelling #specification #using
- Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns (IT, ZH, MHK, AHK, KD), pp. 294–301.
- SAC-2013-MezghaniHRD #architecture #configuration management #modelling
- A model driven methodology for enabling autonomic reconfiguration of service oriented architecture (EM, RBH, IBR, KD), pp. 1772–1773.
- SAC-2013-TounsiKKDM #approach #design pattern #formal method #modelling #towards
- Towards an approach for modeling and formalizing SOA design patterns with Event-B (IT, MHK, AHK, KD, EM), pp. 1937–1938.
- ECSA-2010-KacemKD #adaptation #approach #consistency #formal method #self
- A Formal Approach to Enforcing Consistency in Self-adaptive Systems (NHK, AHK, KD), pp. 279–294.
- WICSA-ECSA-2009-RodriguezDCJ #adaptation #architecture #communication #configuration management #modelling #multi
- A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems (IBR, KD, CC, MJ), pp. 353–356.
- ICEIS-ISAS2-2008-PegoraroHDGR #framework #monitoring #runtime #web #web service
- A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications (RP, RBH, KD, KG, JMR), pp. 201–206.
- ECSA-2007-LoulouKJD #architecture #design
- Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.
- SAC-2006-KacemKJD #architecture #uml #using
- Describing dynamic software architectures using an extended UML model (MHK, AHK, MJ, KD), pp. 1245–1249.
- SAC-2006-KhemakhemDJ #component #development #named
- SEC: a search engine for component based software development (SK, KD, MJ), pp. 1745–1750.
- ICEIS-v3-2005-KacemJKD #architecture #comparison #evaluation
- Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures (MHK, MJ, AHK, KD), pp. 189–195.
- IWPTS-1993-Drira #graph #trade-off #verification
- The Refusal Graph: a Tradeoff between Verification and Test (KD), pp. 297–312.
- IWPTS-1992-DriraASC #consistency #detection #fault #testing
- Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
- TAPSOFT-1993-DriraASC #communication #testing
- Testability of a Communicating System Through an Environment (KD, PA, BS, AMC), pp. 529–543.