Sara Houhou

Publications

Article dans une revue (1)

A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations Sara Houhou,Souheib Baarir,Pascal Poizat,Philippe Quéinnec,Laïd Kahloud Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩ Article dans une revue hal-03170863v1

Communication dans un congrès (4)

A Direct Formal Semantics for BPMN Time-Related Constructs Sara Houhou,Souheib Baarir,Pascal Poizat,Philippe Quéinnec ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩ Communication dans un congrès hal-03170814v1
Business Processes Meet Spatial Concerns: the sBPMN Verification Framework Rim Saddem-Yagoubi,Pascal Poizat,Sara Houhou FM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩ Communication dans un congrès hal-03289951v1
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations Sara Houhou,Souheib Baarir,Pascal Poizat,Philippe Quéinnec International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩ Communication dans un congrès hal-02138366v1
Transformation of High Level Specification Towards nesC Code Sara Houhou,Laid Kahloul,Saber Benharzallah,Roufaida Bettira Second International Conference on Real Time Intelligent Systems, Book: Advances in Intelligent Systems and Computing, Oct 2017, Casablanca, Morocco Communication dans un congrès hal-02954533v1

Thèse (1)

Parameterised Verification from Formal Specifications of Information Systems Sara Houhou Symbolic Computation [cs.SC]. Sorbonne Université; Université Mohamed Khider (Biskra, Algérie), 2021. English. ⟨NNT : 2021SORUS421⟩ Thèse tel-03987466v1