selected publications

• academic article

  • Configuration assistée des processus métier. Conception et expérimentation.  Ingénierie des systèmes d information.  20:59-78. 2015

• chapter

  • Towards a Formal Verification Approach for Service Component Architecture.  Frontiers in artificial intelligence and applications. 2017

• conference paper

  • Trustless blockchain-based access control in dynamic collaboration.  . 2018