| AADL behavioral annex based on generalized rewriting logic M Benammar, F Belala, F Latreche 2008 Second International Conference on Research Challenges in Information …, 2008 | 10 | 2008 |
| A semantic framework for analyzing web services composition F Latreche, F Belala International Journal of Computer Applications 5 (4), 47-53, 2010 | 4 | 2010 |
| Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. F Belala, F Latreche, M Benammar CAL, 91-105, 2008 | 4 | 2008 |
| Timed CTL checking of time critical cloud applications using timed bigraphs F Latreche, F Belala International Journal of Critical Computer-Based Systems 9 (4), 379-406, 2019 | 3 | 2019 |
| Clinical pathways formal modelling using bigraphical reactive systems F Latreche, A Moudjari, H Talbi Theoretical Aspects of Computing–ICTAC 2019: 16th International Colloquium …, 2019 | 3 | 2019 |
| Meta-ECATNets for modelling and analyzing clinical pathways A Moudjari, F Latreche, H Talbi Modelling and Implementation of Complex Systems: Proceedings of the 5th …, 2019 | 3 | 2019 |
| A layered petri net model to formally analyse time critical web service composition F Latreche, F Belala International Journal of Critical Computer-Based Systems 7 (2), 119-137, 2017 | 3 | 2017 |
| Analyzing web service interaction using open ecatnets F Latreche, H Sebih, F Belala ACIT2011 International Conference on Information and Technology, 400-409, 2011 | 3 | 2011 |
| Toward a rewriting logic framework for safe and distributed component installation M Belguidoum, F Belala, F Latreche Fifth International Workshop on Verification and Evaluation of Computer and …, 2011 | 2 | 2011 |
| A Formal Semantic Framework for SADL Language F Belala, F Latreche, M Benammar Proc. of ACIT 7, 26-28, 2007 | 2 | 2007 |
| RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis F Latreche, F Belala International Journal of Embedded and Real-Time Communication Systems …, 2014 | 1 | 2014 |
| A Novel Semantic Framework for Analyzing Dynamic Web Services F Latreche, F Belala 2011 IEEE 20th International Workshops on Enabling Technologies …, 2011 | 1 | 2011 |
| Runtime verification of distributed algorithms using high-level Petri nets F Latreche, H Talbi | | 2023 |
| A RT-Maude-based framework for component installation M Belguidoum, F Belala, F Latreche International Journal of Critical Computer-Based Systems 5 5 (1-2), 103-126, 2014 | | 2014 |
| Automatic Web services composition using maude strategies L Fateh, S Hacene, B Faiza 2013 5th International Conference on Modeling, Simulation and Applied …, 2013 | | 2013 |
| Expression et vérification des contraintes non fonctionnelles d'une architecture SADL F Latreche, F Belala | | |
| Mop-ECATNets for Dynamic Web Services Formal Modeling F LATRECHE, F BELALA | | |
