Time Recursive Petri Nets. - Djaouida Dahmani; Jean-Michel Ilié; Malika Boukala (Trans. Petri Nets Other Model. Concurr., 2008)

Modular Modeling of SMIL Documents with Complex Termination Events. - Djaouida Dahmani; Samia Mazouz; Malika Boukala (PNSE @ Petri Nets, 2014)

Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis. - Hamza Zerguine; Nabila Salmi; Malika Boukala (FiCloud, 2014)

Efficient and modular modeling of hierarchical multimedia objects by using time ERPN+. - Djaouida Dahmani; Samia Mazouz; Malika Boukala (ICMCS, 2014)