Accueil › Annuaire des chercheurs › Abdia Hamdani

Abdia Hamdani

Affiliation : Université IBN Khaldoun Tiaret

• 3Publications (affiliation algérienne)
• 5Publications au total
• 7Citations
• 1Indice h

OpenAlex

Domaines de recherche

• Petri Nets in System Modeling
• Formal Methods in Verification
• Business Process Modeling and Analysis
• Model-Driven Software Engineering Techniques
• Network Time Synchronization Technologies

Publications (3)

• Spécification et Vérification des PropriétésTemporelles Qualitatives et Quantitatives desSystèmes Temps Réel Complexes
  2023 · HAL
• Towards modelling and analyzing timed workflow systems with complex synchronizations
  2019 · Journal of King Saud University - Computer and Information Sciences · cité 6 fois
• Time Petri net with rendezvous
  2017 · International Conference on Control, Decision and Information Technologies (CoDIT) · cité 1 fois

Revues de publication

• HAL × 1
• Journal of King Saud University - Computer and Information Sciences × 1
• International Conference on Control, Decision and Information Technologies (CoDIT) × 1

Publications par année

• 20231
• 20191
• 20171

Collaborations

Établissements partenaires : University of Sciences and Technology Houari Boumediene

Co-auteurs

• Abdelkrim Abdelli

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