Follow
lakhdar akroun
lakhdar akroun
Unknown affiliation
Verified email at inria.fr
Title
Cited by
Cited by
Year
Automated verification of automata communicating via FIFO and bag buffers
L Akroun, G Salaün
Formal Methods in System Design 52, 260-276, 2018
152018
On decidability of simulation in data-centeric business protocols
L Akroun, B Benatallah, L Nourine, F Toumani
Business Process Management Workshops: BPM 2012 International Workshops …, 2013
102013
Automated analysis of asynchronously communicating systems
L Akroun, G Salaün, L Ye
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
82016
Decidability and complexity of simulation preorder for data-centric web services
L Akroun, B Benatallah, L Nourine, F Toumani
Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris …, 2014
52014
Reasoning in description logics with variables: preliminary results regarding the EL logic.
L Akroun, L Nourine, F Toumani
28th International Workshop on Description Logics, 12, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–5