Ammar Boucherit

According to our database, Ammar Boucherit authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

PN2Maude: An automatic tool to generate Maude specification for Petri net models.

Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan

Comput. Sci. J. Moldova, 2023

A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics.

Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

2021

Towards a hybrid formal analysis technique for safety-critical software architectures.

Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa

Int. J. Crit. Comput. Based Syst., 2021

Development of Critical Systems with UML/OCL and FoCaLiZe.

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

An Enhanced Rewriting Logic Based Semantics for High Level Petri nets.

Ammar Boucherit, Kamel Barkaoui, Osman Hasan

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems.

Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan

Multiagent Grid Syst., 2020

2019

Formalizing and Verifying UML Activity Diagrams.

Messaoud Abbas, Mounir Beggas, Ammar Boucherit

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets.

Ammar Boucherit, Abdallah Khababa, Laura M. Castro

Multiagent Grid Syst., 2018

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.

Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan

Inf. Technol. Control., 2018