|
[10]
|
Hatem HADJ KACEM, Wael SELLAMI and Ahmed HADJ KACEM, A formal approach for the validation of web service orchestrations.
In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012
[ BibTeX ]
|
| |
| |
|
[9]
|
Sirine REBAI, Hatem HADJ KACEM and Ahmed HADJ KACEM, Position paper: An integration approach of web service composition models: From choreography to orchestration.
In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012
[ BibTeX ]
|
| |
| |
|
[8]
|
Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM, BPELVT: A tool for formal validation of web service orchestrations.
In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012
[ BibTeX ]
|
| |
| |
|
[7]
|
Nesrine OULEDABDALLAH, Hatem HADJ KACEM, Mohamed MOSBAH and Akka ZEMMARI,
Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model.
In 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE'2010), May 31 2010-June 2 2010,
Tozeur, Tunisia, 219-226
[ BibTeX ]
|
| |
| |
|
[6]
|
Siwar KHELIFI, Hatem HADJ KACEM and Ahmed HADJ KACEM,
Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures.
In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
2-3 July 2008, Leeds, UK. Electronic Workshops in Computing EWIC Series, The British Comput. Society.
[ BibTeX ]
|
| |
| |
|
[5]
|
Luaî JAFF, Gérard H. E. DUCHAMP, Hatem HADJ KACEM and Cyrille BERTELLE,
Moderate Growth Time Series Dynamic Combinatorics Modelisation.
In Proceedings of International Conference on Economics, Law and Management (ICELM2), pp 42-53, May 31st-June 3rd, 2006, Tirgu-Mures, Romania.
[ BibTeX ]
|
| |
| |
|
[4]
|
Hakima KADRI, Rawan GHNEMAT, Hatem HADJ KACEM, Cyrille BERTELLE and Gérard H. E. DUCHAMP,
Emerging Decision Support System for Geographical Information Systems.
In International Conference on Economics, Law and Management (ICELM2), pp 78-90, May 31st-June 3rd, 2006, Tirgu-Mures, Romania.
[ BibTeX ]
|
| |
| |
|
[3]
|
Gérard H. E. DUCHAMP, Hatem HADJ KACEM and Éric LAUGEROTTE,
On the decomposition of boolean function.
In International Workshop on Boolean Functions: Cryptography and Applications, (BFCA’05)
, Editors JF. Michon, P. Valarcher and JB. Yunès Publications des universités de Rouen et du Havre; pp 115-127 (2005).
[ BibTeX ]
|
| |
| |
|
[2]
|
Hatem HADJ KACEM, Gérard H. E. DUCHAMP and Éric LAUGEROTTE,
Algebraic erasure of letter-transitions.
, In Jordan International Conference on Computer Sciences and Engineering (JICCSE 2004),
October 4-7, 2004, Al-Salt, Jordan.
[ BibTeX ]
|
| |
| |
|
[1]
|
Hatem HADJ KACEM, Gérard H. E. DUCHAMP and Éric LAUGEROTTE,
Splitting modules using minimization theory of automata.
, In MuPAD-Combinat first Developers and Users Meeting,
June 29th 2004- July 2nd 2004, LIFAR, University of Rouen, France.
[ BibTeX ]
|
