chercheuse HOUHOU Sara
2019-2021 Publications
-
2021
- S. Houhou : “Parameterised Verification from Formal Specifications of Information Systems”, thesis, defence 12/22/2021, supervision Poizat, laîd kahloul, Pascal, rapporteurs : BAARIR Souheib (2021)
- R. Saddem‑Yagoubi, P. Poizat, S. Houhou : “Business Processes Meet Spatial Concerns: the sBPMN Verification Framework”, International Symposium on Formal Methods (FM 2021), Beijing, China (2021)
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A Direct Formal Semantics for BPMN Time-Related Constructs”, 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), online, Czechia, pp. 138-149 (2021)
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec, L. Kahloud : “A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations”, Information Systems, (Elsevier) (2021)
-
2019
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations”, BPM 2019: Business Process Management, vol. 11675, Lecture Notes in Computer Science book series (LNCS), Vienna, Austria, pp. 52-68 (2019)