On Decidability of Simulation in Data-Centeric Business Protocols. - Lakhdar Akroun; Boualem Benatallah; Lhouari Nourine; Farouk Toumani (Business Process Management Workshops, 2012)

Decidability and Complexity of Simulation Preorder for Data-Centric Web Services. - Lakhdar Akroun; Boualem Benatallah; Lhouari Nourine; Farouk Toumani (ICSOC, 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 (2014)

Reasoning in description logics with variables: preliminary results regarding the EL logic. - Lakhdar Akroun; Lhouari Nourine; Farouk Toumani (Description Logics, 2015)

Automated Analysis of Asynchronously Communicating Systems. - Lakhdar Akroun; Gwen Salaün; Lina Ye (SPIN, 2016)

Automated verification of automata communicating via FIFO and bag buffers. - Lakhdar Akroun; Gwen Salaün (Formal Methods Syst. Des., 2018)