Search - Archive ouverte HAL Access content directly

Filter your results

6 Results
authIdHal_s : sara-houhou
Image document

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⟩
Conference papers hal-03170814v1
Image document

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⟩
Conference papers hal-02138366v1
Image document

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⟩
Conference papers hal-03289951v1

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 et al.
Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Journal articles hal-03170863v1
Image document

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⟩
Theses tel-03987466v1

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
Conference papers hal-02954533v1