Accueil › Annuaire des chercheurs › Fatima Haloua

Fatima Haloua

Affiliation : University of Eloued

• 5Publications (affiliation algérienne)
• 6Publications au total
• 2Citations
• 1Indice h

OpenAlex

Domaines de recherche

• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• Safety Systems Engineering in Autonomy
• Autism Spectrum Disorder Research
• Speech Recognition and Synthesis

Publications (5)

• A Novel Vocal Database for Children with Autism Spectrum Disorder: Design, Collection, and Future Applications
  2026 · International Journal of Informatics and Applied Mathematics
• A Novel Vocal Database for Children with Autism Spectrum Disorder: Design, Collection, and Future Applications
  2026 · Lecture notes in networks and systems
• Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
  2024 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · cité 1 fois
• A maintainable and iterative development approach of critical systems with FoCaLiZe
  2024 · STUDIES IN ENGINEERING AND EXACT SCIENCES
• Development of Critical Systems with UML/OCL and FoCaLiZe
  2021 · Communications in computer and information science · cité 1 fois

Revues de publication

• International Journal of Informatics and Applied Mathematics × 1
• Lecture notes in networks and systems × 1
• International Conference on Pattern Analysis and Intelligent Systems (PAIS) × 1
• STUDIES IN ENGINEERING AND EXACT SCIENCES × 1
• Communications in computer and information science × 1

Publications par année

• 20262
• 20242
• 20211

Collaborations

Établissements partenaires : Princess Nourah bint Abdulrahman University · Ocean County Library · University of Boumerdes

Pays des co-auteurs : Arabie saoudite · États-Unis

Co-auteurs

• Imane Kadi
• Ammar Boucherit
• Messaoud Abbas
• Mohammed Mounir Bouhamed
• Hessa Alfraihi
• Messaoud Abbas
• Rachid Djerbi

Données bibliographiques issues d’OpenAlex (base ouverte).