Get started
Author

Fateh Latreche

Observed names: F Latreche, F. Latreche, F. Latrèche, FATEH Latreche, Latreche Fateh
ORCID: 0000-0003-1220-6586
Observed ORCID: 0000-0003-1220-6586
OpenAlex ID: A5035138868
Radiation-induced synthesis of α-Al2O3 supported nickel clusters: Characterization and catalytic properties
2005 · N. Keghouche, S. Chettibi, et al. · Radiation Physics and Chemistry · 43
AADL behavioral annex based on generalized rewriting logic
2008 · Malika Benammar, Faiza Belala, et al. · International Conference on Research Challenges in Information Science (RCIS) · 8
Timed CTL checking of time critical cloud applications using timed bigraphs
2019 · Fateh Latreche, Faiza Belala · International Journal of Critical Computer-Based Systems · 4
Meta-ECATNets for Modelling and Analyzing Clinical Pathways
2018 · Abdelkader Moudjari, Fateh Latreche, et al. · Lecture notes in networks and systems · 3
A Semantic Framework for Analyzing Web Services Composition
2010 · F. Latreche, F. Belala · International Journal of Computer Applications · 3
PDF
Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems
2019 · Fateh Latreche, Abdelkader Moudjari, et al. · Lecture notes in computer science · 2
A layered Petri net model to formally analyse time critical web service composition
2017 · Fateh Latreche, Faiza Belala · International Journal of Critical Computer-Based Systems · 2
Toward a rewriting logic framework for safe and distributed component installation
2011 · Meriem Belguidoum, Faiza Belala, et al. · Electronic workshops in computing · 2
PDF
Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.
2008 · Faïza Belala, Fateh Latreche, et al. · 2
Controlling Dynamic Crowdsourcing Processes using Multi-Layered Algebraic Petri Nets
2024 · Hichem Talbi, Fateh Latreche · International Journal of Critical Computer-Based Systems · 1
RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis
2014 · Fateh Latreche, Faiza Belala · International Journal of Embedded and Real-Time Communication Systems · 1
Mop-ECATNets for Formal Modeling Dynamic Web Services.
2014 · Fateh Latreche, Faïza Belala · 1
Towards a Modeling Approach for IoT-Based Digital Twin Systems
2026 · Abdelkrim Boulcina, Faiza Belala, et al. · International Conference on Software and Computer Applications (ICSCA)
PDF
Review of: "Formal Verification of a Change Control Process in Project Management"
2023 · FATEH Latreche · Qeios
PDF
A RT-Maude-based framework for component installation
2014 · Meriem Belguidoum, Faiza Belala, et al. · International Journal of Critical Computer-Based Systems
Automatic Web services composition using maude strategies
2013 · Latreche Fateh, Sebih Hacene, et al. · International Conference on Modeling, Simulation, and Applied Optimization
A Semantic Framework for Analyzing Web Services Composition
2011 · F Belala, F Latreche · International Journal of Applied Information Systems
A Novel Semantic Framework for Analyzing Dynamic Web Services
2011 · Fateh Latreche, Faiza Belala · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
Mop-ECATNets for Dynamic Web Services Formal Modeling
· Fateh Latreche
Works count: 19
Citation count: 72
H-index: 3
I10-index: 1
Year
Topic
Type