chercheuse HOUHOU Sara
Team : MoVe
Invited by : Fabrice KORDON
Arrival date : 09/15/2017
Departure date : 12/15/2017
Research activity
Spécification vérification formelles de systèmes
2019-2021 Publications
-
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 (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)