Malika Boukala-Ioualalen

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Modelling Language

Formal Verification

Top Venues

PNSE @ Petri Nets

Publications

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. CSA (2020)
Amel Berrachedi, Malika Boukala-Ioualalen
Evaluation of the Energy Consumption and the Packet Loss in WSNs Using Deterministic Stochastic Petri Nets. AINA Workshops (2016)
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9 (5) (2015)
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. ACIT-CSI (2015)
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. PNSE @ Petri Nets (2014)