Search - Archive ouverte HAL Access content directly

Filter your results

6 Results

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

Lakhdar Akroun , Boualem Benatallah , Lhouari Nourine , Farouk Toumani
ICSOC International Conference on Service Oriented Computing, 2014, Paris, France. pp.535-542
Conference papers hal-02147738v1

On Decidability of Simulation in Data-Centeric Business Protocols

Lakhdar Akroun , Boualem Benatallah , Lhouari Nourine , Farouk Toumani
Business Process Management Workshops - BPM 2012 International Workshops, 2012, Tallinn, Estonia. pp.352--363, ⟨10.1007/978-3-642-36285-9_39⟩
Conference papers hal-02078296v1
Image document

Automated verification of automata communicating via FIFO and bag buffers

Lakhdar Akroun , Gwen Salaün
Formal Methods in System Design, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩
Journal articles hal-01898159v1
Image document

Automated Analysis of Asynchronously Communicating Systems

Lakhdar Akroun , Gwen Salaün , Lina Ye
23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
Conference papers hal-01280164v1
Image document

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

Lakhdar Akroun , Lhouari Nourine , Farouk Toumani
28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
Conference papers hal-01163342v1
Image document

Decidability and complexity of simulation preorder for data-centric Web services

Lakhdar Akroun
Other [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2014. English. ⟨NNT : 2014CLF22523⟩
Theses tel-01155513v1