Travelled to:1 × Italy
1 × Portugal
1 × Spain
1 × The Netherlands
Collaborated with:N.Aoumeur G.Saake H.Boucheneb C.Bouanaka J.M.M.Espinosa C.Jerad A.Grissa-Touzi
Talks about:architectur (2) system (2) inform (2) compon (2) verif (2) net (2) increment (1) distribut (1) connector (1) workflow (1)
Person: Kamel Barkaoui
DBLP: Barkaoui:Kamel
Contributed to:
2012
2009
2007
20072007Wrote 5 papers:
- SEKE-2012-BouchenebB #parametricity #verification #workflow
- Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
- ICEIS-ISAS-2009-BarkaouiBE #collaboration #coordination
- An Event Structure based Coordination Model for Collaborative Sessions (KB, CB, JMME), pp. 137–143.
- CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification #validation
- Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
- ECSA-2007-JeradBG #architecture #maude #verification
- Hierarchical Verification in Maude of L f P Software Architectures (CJ, KB, AGT), pp. 156–170.
- ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving
- Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.