Masood Ashraf Ali

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Colored Petri Nets

Formal Verification

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Samir Tigane, Laïd Kahloul, Nadia Hamani, Mohamed Khalgui, Masood Ashraf Ali
On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (6) (2023)
Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laïd Kahloul, Mohamed Khalgui, Masood Ashraf Ali
Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms 12 (3) (2023)