Dynamic Timed Automata for Reconfigurable System Modeling and Verification. - Samir Tigane; Fayçal Guerrouf; Nadia Hamani; Laid Kahloul; Mohamed Khalgui; Masood Ashraf Ali (Axioms, 2023)

On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. - Samir Tigane; Laid Kahloul; Nadia Hamani; Mohamed Khalgui; Masood Ashraf Ali (IEEE Trans. Syst. Man Cybern. Syst., 2023)