Fateh Latreche

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 4

Top Topics

Reactive Systems

Top Venues

Int. J. Crit. Comput. Based Syst.

Int. J. Embed. Real Time Commun. Syst.

Publications

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