Lakhdar Akroun

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Automated Analysis

Computing Least Common Subsumers

Knowledge Representation Systems

Description Logics

Top Venues

Description Logics

Formal Methods Syst. Des.

Business Process Management Workshops

Blaise Pascal University, Clermont-Ferrand, France (PHD)

Education History

Blaise Pascal University, Clermont-Ferrand, France

PHD

Publications

Lakhdar Akroun, Gwen Salaün
Automated verification of automata communicating via FIFO and bag buffers. Formal Methods Syst. Des. 52 (3) (2018)
Lakhdar Akroun, Gwen Salaün, Lina Ye
Automated Analysis of Asynchronously Communicating Systems. SPIN (2016)
Lakhdar Akroun, Lhouari Nourine, Farouk Toumani
Reasoning in description logics with variables: preliminary results regarding the EL logic. Description Logics (2015)
Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani
Decidability and Complexity of Simulation Preorder for Data-Centric Web Services. ICSOC (2014)
Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani
On Decidability of Simulation in Data-Centeric Business Protocols. Business Process Management Workshops (2012)