|
Membres
Yousra BENDALY HLAOUI |
|
Identit:
Yousra BENDALY HLAOUI
Assistant contractuel en Informatique
Membre l'Unit de Recherche UTIC
E-mail :
Yousra.BenDalyHlaoui@esstt.rnu.tn
Titres
universitaires:
-
Mastre en Informatique
(Facult des Sciences de Tunis) : 2006
Sujet : Transformation automatique d'un modle
STATEMATE en une spcification FNLOG pour la vrification.
-
Diplme d'Ingnieur en Informatique (Facult des Sciences
de Tunis) : 1994
Sujet : Intgration de la gestion des modes de
marche et d'arrt d'un systme flexible de production dans
la mthodologie de spcification SA-RT/OPN
Thmes de
recherche:
-
Intgration de
mthodes de spcification
-
Vrification
formelle
-
Composition et
modlisation des applications Grid workflow
Publications:
1. Rapports
-
Transformation automatique d'un modle STATEMATE en une
spcification FNLOG pour la vrification. “Rapport de
Mastre” (2006).
-
Intgration de la gestion des modes de marche et d'arrt
d'un systme flexible de production dans la mthodologie de
spcification SA-RT/OPN, “Rapport de PFE” (1994).
-
Elaboration d'un diteur de partitions musicales, “Rapport
de PE” (1993).
2. Articles dans des revues
-
Y.
BenDaly Hlaoui , L. Jemni BenAyed, From STATEMATE to FNLOG
Specification for the Verification of Reactive Systems, International Journal of SoftComputing Applications,
IJSCA, July, 2007 EuroJournals, Inc. AMS Publishing, Inc
(Austria). Vienna
-
Y. BenDaly Hlaoui , L. Jemni BenAyed,
Combining STAEMATE and FNLOG for the specification and
verification of reactive systems, Int. J. Internet
Technology and Secured Transactions (IJIST), 2007.
3 . Communications dans des Conférences Internationales
-
Y.
BenDaly Hlaoui , L. Jemni BenAyed, Toward a grid workflow
formal composition, The Third conference of the EELA
project, CIEMAT, Italia, 2007.
-
Y. BenDaly
Hlaoui , L. Jemni BenAyed, Formal verification for STATEMATE
models,
The Third International Conference on Information
Technology, Jordan, 2007
-
Y. BenDaly
Hlaoui , L. Jemni BenAyed, Translating graphical conceptual
model from STATEMATE to FNLOG, IEEE International Conference
on industrial and Engineering Management, IEEEM’07,
Singapore, 2007.
-
Y.
BenDaly Hlaoui , L. Jemni BenAyed, Translating graphical
conceptual model from STATEMATE to FNLOG, The 11th Asian
Computing Science Conference on Secure Software,
ASIAN'06,Tokyo, 2006
|
