Salma Ayari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2018–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICSoft | A Specific Language for Developing Business Process by Refinement based on BPMN 2.0. | Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed |
| 2019 | COMPSAC | A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement. | Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed |
| 2018 | COMPSAC | A New Approach for the Verification of BPMN Models Using Refinement Patterns. | Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed |
| 2018 | ICSoft | A Refinement based Verification Approach of BPMN Models using NuSMV. | Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2018 | ICSoft | Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process. | Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed |