Author

Sara Houhou

Observed name: Sara, Houhou

Institutions: Centre National de la Recherche Scientifique, Université de Montpellier, University of Biskra, Sorbonne Université, Université Paris Nanterre, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Université Paris Lumières, LIP6

Observed institutions: Centre National de la Recherche Scientifique, Université de Montpellier, University of Biskra, Sorbonne Université, Université Paris Nanterre, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Université Paris Lumières, LIP6

ORCID: 0000-0002-4166-0609

Observed ORCID: 0000-0002-4166-0609

OpenAlex ID: A5042884416

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

2021 · Sara Houhou, Souheib Baarir, et al. · Information Systems · 20

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations

2019 · Sara Houhou, Souheib Baarir, et al. · Lecture notes in computer science · 11

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework

2021 · Rim Saddem-Yagoubi, Pascal Poizat, et al. · Lecture notes in computer science · 9

A Direct Formal Semantics for BPMN Time-related Constructs

2021 · Sara Houhou, Souheib Baarir, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 3

Framework for Wireless Sensor Networks Code Generation from Formal Specification

2017 · Sara Houhou, Laid Kahloul, et al. · 1

Parameterised Verification from Formal Specifications of Information Systems

2021 · Sara Houhou · theses.fr (ABES)

Transformation of High Level Specification Towards nesC Code

2018 · Sara Houhou, Laid Kahloul, et al. · Advances in intelligent systems and computing

A framework for automatic development of embedded system

2017 · Sara Houhou, Laid Kahloul, et al. · International Conference on Mathematics and Information Technology (ICMIT)

Works count: 9

Citation count: 44

H-index: 3

I10-index: 2