Fateh Latreche

According to our database, Fateh Latreche authored at least 10 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Timed CTL checking of time critical cloud applications using timed bigraphs.

Fateh Latreche, Faiza Belala

Int. J. Crit. Comput. Based Syst., 2019

Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems.

Fateh Latreche, Abdelkader Moudjari, Hichem Talbi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

Meta-ECATNets for Modelling and Analyzing Clinical Pathways.

Abdelkader Moudjari, Fateh Latreche, Hichem Talbi

Proceedings of the Modelling and Implementation of Complex Systems, 2018

2017

A layered Petri net model to formally analyse time critical web service composition.

Fateh Latreche, Faiza Belala

Int. J. Crit. Comput. Based Syst., 2017

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 RT-Maude-based framework for component installation.

Meriem Belguidoum, Faiza Belala, Fateh Latreche

Int. J. Crit. Comput. Based Syst., 2014

Mop-ECATNets for Formal Modeling Dynamic Web Services.

Fateh Latreche, Faiza Belala

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

2011

A Novel Semantic Framework for Analyzing Dynamic Web Services.

Fateh Latreche, Faiza Belala

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

2008

AADL behavioral annex based on generalized rewriting logic.

Malika Benammar, Faiza Belala, Fateh Latreche

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.

Faiza Belala, Fateh Latreche, Malika Benammar

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008