Travelled to:1 × Croatia
1 × Denmark
1 × Portugal
2 × USA
3 × Spain
4 × France
Collaborated with:K.Drira M.H.Kacem M.Jmaiel I.Tounsi I.Khlif N.H.Kacem J.Soubie J.Frontin I.Loulou S.Kallel B.Tramoni C.Tibermacine C.Dony L.Laibinis E.Troubitsyna Z.Graja F.Migeon Z.Hrichi E.Mezghani
Talks about:architectur (7) model (7) approach (5) softwar (5) formal (4) design (4) soa (4) pattern (3) event (3) dynam (3)
Person: Ahmed Hadj Kacem
DBLP: Kacem:Ahmed_Hadj
Contributed to:
2015
2015
2015
20142013201320132010200720062005
1993Wrote 12 papers:
- ECSA-2015-KallelTTDK #architecture #automation #component #constraints #specification
- Automatic Translation of Architecture Constraint Specifications into Components (SK, BT, CT, CD, AHK), pp. 322–338.
- 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.
- SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification
- Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
- ECSA-2013-TounsiKK #design pattern #modelling #refinement
- Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
- 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-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.
- 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.
- 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.
- HCI-SHI-1993-KacemSF #architecture #knowledge base
- A Software Architecture for Cooperative Knowledge Based Systems (AHK, JLS, JF), pp. 303–308.