Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. - Faiza Belala; Fateh Latreche; Malika Benammar (CAL, 2008)

AADL behavioral annex based on generalized rewriting logic. - Malika Benammar; Faiza Belala; Fateh Latreche (RCIS, 2008)

A Novel Semantic Framework for Analyzing Dynamic Web Services. - Fateh Latreche; Faiza Belala (WETICE, 2011)

Mop-ECATNets for Formal Modeling Dynamic Web Services. - Fateh Latreche; Faiza Belala (ICAASE, 2014)

A RT-Maude-based framework for component installation. - Meriem Belguidoum; Faiza Belala; Fateh Latreche (Int. J. Crit. Comput. Based Syst., 2014)

RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis. - Fateh Latreche; Faiza Belala (Int. J. Embed. Real Time Commun. Syst., 2014)

A layered Petri net model to formally analyse time critical web service composition. - Fateh Latreche; Faiza Belala (Int. J. Crit. Comput. Based Syst., 2017)

Meta-ECATNets for Modelling and Analyzing Clinical Pathways. - Abdelkader Moudjari; Fateh Latreche; Hichem Talbi (MISC, 2018)

Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems. - Fateh Latreche; Abdelkader Moudjari; Hichem Talbi (ICTAC, 2019)

Timed CTL checking of time critical cloud applications using timed bigraphs. - Fateh Latreche; Faiza Belala (Int. J. Crit. Comput. Based Syst., 2019)

Controlling dynamic crowdsourcing processes using multi-layered algebraic Petri nets. - Fateh Latreche; Hichem Talbi (Int. J. Crit. Comput. Based Syst., 2024)