Lakhdar Akroun

According to our database, Lakhdar Akroun authored at least 6 papers between 2012 and 2018.

Collaborative distances:

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

2018

Automated verification of automata communicating via FIFO and bag buffers.

Lakhdar Akroun, Gwen Salaün

Formal Methods Syst. Des., 2018

2016

Automated Analysis of Asynchronously Communicating Systems.

Lakhdar Akroun, Gwen Salaün, Lina Ye

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Reasoning in description logics with variables: preliminary results regarding the EL logic.

Lakhdar Akroun, Lhouari Nourine, Farouk Toumani

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Decidability and complexity of simulation preorder for data-centric Web services. (Décidabilité et complexité de la relation de simulation des services Web orientés données).

Lakhdar Akroun

PhD thesis, 2014

Decidability and Complexity of Simulation Preorder for Data-Centric Web Services.

Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2012

On Decidability of Simulation in Data-Centeric Business Protocols.

Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani

Proceedings of the Business Process Management Workshops, 2012