My research activities address Formal Verification of Business Process Models with issues related to the parametric-communication
(processes interaction, communication models , and data correlation).
Further, I have a specific focus on the Execution Semantics of these models.
These emerge when processes have a state, conditioning the legal ordering of
operations within them or communications between them.
I am also particularly interested in the use and the integration of formal
methods within the software development processes.
This includes activities such as design, verification, adaptation, automatic composition, and testing.
The objective is twofold: first, to increase the confidence one may have in a software system and,
second, to foster automation and tool-support of the development processes.
Applicative domains and relation to standards are important in my work.
This includes Business Processes, Service Oriented Systems, Wireless Sensor Network and Internet of Things, e.g., with
the formal verification and the analysis of business processes modelled using BPMN,
and the automatic generation of implementations of these from high-level specifications.
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), pp. 52–68, Springer, 2019.
@inproceedings{PP_HBPQ19,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations},
booktitle = {17th International Conference on Business Process Management (BPM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {11675},
pages = {52--68},
year = {2019},
note = {Best paper award},
doi = {10.1007/978-3-030-26619-6_6},
hal_id = {hal-02138366},
opt_pdf = {}
}
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira.
Transformation of High Level Specification Towards nesC Code. In: 2nd International
Conference on Real Time Intelligent Systems (RTIS), pp. 275–284, Springer, 2017.
@inproceedings{SH_1,
author = { Houhou, Sara and Kahloul, Laid and Benharzalah, Saber and Bettira, Roufeida},
title = {Transformation of High Level Specification Towards nesC Code},
booktitle = {Lecture Notes in Real-Time Intelligent Systems},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
volume = {613},
pages = {275--284},
year = {2017},
doi = {978-3-319-91337-7_26},
hal_id = {},
opt_pdf = {}
}
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira.
A Framework for Automatic Development of Embedded Systems. In:
1st International Conference on Mathematics and Information Technology (ICMIT), pp. 98–105, IEEE, 2017.
@inproceedings{SH_1,
author = { Houhou, Sara and Kahloul, Laid and Benharzalah, Saber and Bettira, Roufeida},
title = {A Framework for Automatic Development of Embedded Systems},
booktitle={2017 International Conference on Mathematics and Information Technology (ICMIT)},
series = {},
publisher = {IEEE},
volume = {},
pages = {98--105},
year = {2017},
doi = {10.1109/MATHIT.2017.8259702},
hal_id = {},
opt_pdf = {}
}
Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), pp. 52–68, Springer, 2019.
@inproceedings{PP_HBPQ19,
author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
title = {A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations},
booktitle = {17th International Conference on Business Process Management (BPM)},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {11675},
pages = {52--68},
year = {2019},
note = {Best paper award},
doi = {10.1007/978-3-030-26619-6_6},
hal_id = {hal-02138366},
opt_pdf = {}
}
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira.
Transformation of High Level Specification Towards nesC Code. In: 2nd International
Conference on Real Time Intelligent Systems (RTIS), pp. 275–284, Springer, 2017.
@inproceedings{SH_1,
author = { Houhou, Sara and Kahloul, Laid and Benharzalah, Saber and Bettira, Roufeida},
title = {Transformation of High Level Specification Towards nesC Code},
booktitle = {Lecture Notes in Real-Time Intelligent Systems},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
volume = {613},
pages = {275--284},
year = {2017},
doi = {978-3-319-91337-7_26},
hal_id = {},
opt_pdf = {}
}
Sara Houhou, Laid Kahloul, Saber Benharzalah, and Roufeida Bettira.
A Framework for Automatic Development of Embedded Systems. In: 1st International Conference on Mathematics and Information Technology (ICMIT), pp. 98–105, IEEE, 2017.
@inproceedings{SH_1,
author = { Houhou, Sara and Kahloul, Laid and Benharzalah, Saber and Bettira, Roufeida},
title = {A Framework for Automatic Development of Embedded Systems},
booktitle={2017 International Conference on Mathematics and Information Technology (ICMIT)},
series = {},
publisher = {IEEE},
volume = {},
pages = {98--105},
year = {2017},
doi = {10.1109/MATHIT.2017.8259702},
hal_id = {},
opt_pdf = {}
}