Home › Researcher directory › Malika Boukala
Malika Boukala
Affiliation : University of Sciences and Technology Houari Boumediene
- 7Publications (affiliation in Algeria)
- 8Total publications
- 7Citations
- 2h-index
Research profile
Malika Boukala has 7 indexed publications (2008–2017). Their work appears mainly in “HAL”, “International Conference on Future Internet of Things and Cloud (FiCloud)” and “Lecture notes in computer science”. Their most cited article, “Time Recursive Petri Nets” (2008), has been cited 4 times. 2 of these publications date from the last three years of activity. Their work is co-authored with at least 6 researchers.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- 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
Publication venues
- HAL × 2
- International Conference on Future Internet of Things and Cloud (FiCloud) × 1
- Lecture notes in computer science × 1
Publications per year
- 20171
- 20151
- 20143
- 20131
- 20081
Collaborations
Partner institutions : University Yahia Fares of Medea
Co-authors
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.