Fateh Latreche

11 papers B 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Controlling dynamic crowdsourcing processes using multi-layered algebraic Petri nets.
Int. J. Crit. Comput. Based Syst.
Fateh Latreche, Hichem Talbi
2019 C conf
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems.
ICTAC
Fateh Latreche, Abdelkader Moudjari, Hichem Talbi
2019 J jnl
Timed CTL checking of time critical cloud applications using timed bigraphs.
Int. J. Crit. Comput. Based Syst.
Fateh Latreche, Faiza Belala
2018 — conf
Meta-ECATNets for Modelling and Analyzing Clinical Pathways.
MISC
Abdelkader Moudjari, Fateh Latreche, Hichem Talbi
2017 J jnl
A layered Petri net model to formally analyse time critical web service composition.
Int. J. Crit. Comput. Based Syst.
Fateh Latreche, Faiza Belala
2014 J jnl
A RT-Maude-based framework for component installation.
Int. J. Crit. Comput. Based Syst.
Meriem Belguidoum, Faiza Belala, Fateh Latreche
2014 — conf
Mop-ECATNets for Formal Modeling Dynamic Web Services.
ICAASE
Fateh Latreche, Faiza Belala
2014 J jnl
RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis.
Int. J. Embed. Real Time Commun. Syst.
Fateh Latreche, Faiza Belala
2011 C conf
A Novel Semantic Framework for Analyzing Dynamic Web Services.
WETICE
Fateh Latreche, Faiza Belala
2008 B conf
AADL behavioral annex based on generalized rewriting logic.
RCIS
Malika Benammar, Faiza Belala, Fateh Latreche
2008 — conf
Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.
CAL
Faiza Belala, Fateh Latreche, Malika Benammar