Ammar Boucherit

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Formal Analysis

High Level Petri Nets

Discrete Event Systems

Top Venues

Multiagent Grid Syst.

Inf. Technol. Control.

Int. J. Crit. Comput. Based Syst.

Publications

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan
PN2Maude: An automatic tool to generate Maude specification for Petri net models. Comput. Sci. J. Moldova 31 (2) (2023)
Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ICNSC (2023)
Messaoud Abbas, Fatima Haloua, Ammar Boucherit
Development of Critical Systems with UML/OCL and FoCaLiZe. MEDI Workshops (2021)
Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Ammar Boucherit, Kamel Barkaoui, Osman Hasan
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets (2021)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. 16 (1) (2020)
Messaoud Abbas, Mounir Beggas, Ammar Boucherit
Formalizing and Verifying UML Activity Diagrams. MEDI Workshops (2019)
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent Grid Syst. 14 (4) (2018)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. 47 (3) (2018)