Travelled to:1 × Canada
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:W.Jiang N.Sharifimehr S.Singh B.Chen M.Mouhoub A.Sukpan
Talks about:specif (2) markovian (1) implement (1) workload (1) techniqu (1) protocol (1) interest (1) interact (1) descript (1) system (1)
Person: Samira Sadaoui
DBLP: Sadaoui:Samira
Contributed to:
2011
2008
20062004Wrote 5 papers:
- SAC-2011-SadaouiJ #evaluation
- An offer evaluation system based on buyers’ interests (SS, WJ), pp. 1713–1714.
- ICEIS-DISI-2008-SharifimehrS #modelling
- Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.
- SEKE-2006-SadaouiS #implementation #java #specification
- Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.
- SEKE-2004-ChenS #interactive #protocol #specification #verification
- Specification and Verification of Agent Interaction Protocols (BC, SS), pp. 300–305.
- SEKE-2004-MouhoubSS
- Formal Description Techniques for CSPs and TCSPs (MM, SS, AS), pp. 406–410.