selected publications

• academic article

  • Future internet services and applications.  Concurrency and Computation Practice and Experience.  35. 2022
  • Satisfiability-Based Privacy-Aware Cloud Computing.  The Computer Journal.  60:1760-1769. 2017

• chapter

  • An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.  Advances in intelligent systems and computing. 1303-1318. 2020
  • A SAT-Based Formal Approach for Verifying Business Process Configuration.  Communications in computer and information science. 47-62. 2019

• conference paper

  • Track report of Future Internet Services and Applications (FISA’2020).  . 135-136. 2020
  • Formalising the Requirements of an E-Voting Software Product Line Using Event-B.  . 78-84. 2018
  • Formal Approach for QoS-Aware Cloud Service Composition.  . 30-35. 2017
  • Deadlock-freedom of scientific applications using strict colored FIFO nets.  2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). 0102-0107. 2017