Accueil › Annuaire des chercheurs › Riad Helal
Riad Helal
Affiliation : Université Constantine 2
- 4Publications (affiliation algérienne)
- 4Publications au total
- 1Citations
- 1Indice h
Profil de recherche
Riad Helal compte 4 publications référencées (2024–2026). Ses travaux paraissent principalement dans « Systems », « Lecture notes in computer science » et « International Conference on Software and Computer Applications (ICSCA) ». Son article le plus cité, « A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems » (2026), a été cité 1 fois. Ses travaux sont cosignés avec au moins 3 chercheurs, notamment dans des établissements de France.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Systems Engineering Methodologies and Applications
- Advanced Software Engineering Methodologies
- Modeling and Simulation Systems
Publications (4)
- A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems
- Towards Specification and Analysis of Dependable Cyber-Physical Systems
- Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements
- FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
Revues de publication
- Systems × 1
- Lecture notes in computer science × 1
- International Conference on Software and Computer Applications (ICSCA) × 1
- International Conference on Advanced Aspects of Software Engineering (ICAASE) × 1
Publications par année
- 20261
- 20251
- 20242
Collaborations
Établissements partenaires : Université de Pau et des Pays de l'Adour · Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
Pays des co-auteurs : France
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.