Accueil › Annuaire des chercheurs › Malika Boukala
Malika Boukala
Affiliation : University of Sciences and Technology Houari Boumediene
- 7Publications (affiliation algérienne)
- 8Publications au total
- 7Citations
- 2Indice h
Profil de recherche
Malika Boukala compte 7 publications référencées (2008–2017). Ses travaux paraissent principalement dans « HAL », « International Conference on Future Internet of Things and Cloud (FiCloud) » et « Lecture notes in computer science ». Son article le plus cité, « Time Recursive Petri Nets » (2008), a été cité 4 fois. 2 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 6 chercheurs.
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
- Formal Methods in Verification
- Petri Nets in System Modeling
- Business Process Modeling and Analysis
- Multimedia Communication and Technology
- Model-Driven Software Engineering Techniques
Publications (7)
- Slicing Based Verification Approach for the Validation of SysML Activity Diagrams
- Recursive ECATNets-Based Approach for Formally Verifying SysML Activity Diagrams
- Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis
- Efficient and modular modeling of hierarchical multimedia objects by using time ERPN+
- Modular Modeling of SMIL Documents with Complex Termination Events.
- Modular modeling and analyzing of multimedia documents with repetitive objects
- Time Recursive Petri Nets
Revues de publication
- HAL × 2
- International Conference on Future Internet of Things and Cloud (FiCloud) × 1
- Lecture notes in computer science × 1
Publications par année
- 20171
- 20151
- 20143
- 20131
- 20081
Collaborations
Établissements partenaires : University Yahia Fares of Medea
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.