selected publications

• chapter

  • A SAT-Based Formal Approach for Verifying Business Process Configuration.  Communications in computer and information science. 47-62. 2019
  • Deadlock-Freeness Verification of Business Process Configuration Using SOG.  Lecture notes in computer science. 96-112. 2017
  • A Formal Guidance Approach for Correct Process Configuration.  Lecture notes in computer science. 483-498. 2016

• conference paper

  • An Event-B Based Approach for Ensuring Correct Configurable Business Processes.  . 460-467. 2016
  • Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.  . 746-753. 2016
  • A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.  . 519-526. 2015