BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Drira:Khalil

Facilitated 1 volumes:

ECSA 2013Ed

Contributed to:

ICEIS v2 20152015
SAC 20152015
ICEIS v2 20132013
SAC 20132013
ECSA 20102010
WICSA/ECSA 20092009
ICEIS ISAS v2 20082008
ECSA 20072007
SAC 20062006
ICEIS v3 20052005
IWPTS 19931993
IWPTS 19921992
TAPSOFT CAAP/FASE 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.