Salma Ayari

According to our database, Salma Ayari authored at least 7 papers between 2018 and 2025.

Collaborative distances:

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

2025

An Approach to Develop Correct-by-Construction Business Process Models Using a Formal Domain Specific Language.

Yousra Bendaly Hlaoui, Salma Ayari

J. Softw. Evol. Process., February, 2025

The moderating role of product involvement in virtual reality-enhanced online immersion: effects on internet consumer behaviour.

Salma Ayari, Imène Ben Yahia

Int. J. Web Based Communities, 2025

2021

A Specific Language for Developing Business Process by Refinement based on BPMN 2.0.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed

Proceedings of the 16th International Conference on Software Technologies, 2021

2019

A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.

Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed

Proceedings of the Software Technologies - 13th International Conference, 2018

A Refinement based Verification Approach of BPMN Models using NuSMV.

Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Proceedings of the 13th International Conference on Software Technologies, 2018

A New Approach for the Verification of BPMN Models Using Refinement Patterns.

Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018