Follow
Sara Houhou
Sara Houhou
Laboratoire LIP6, Sorbonne Université, Paris, France. Laboratoire LINFI, Biskra Université, Algérie
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec, L Kahloul
Information Systems 104, 101765, 2022
172022
A first-order logic semantics for communication-parametric BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec
International Conference on Business Process Management, 52-68, 2019
172019
Business processes meet spatial concerns: the sBPMN verification framework
R Saddem-Yagoubi, P Poizat, S Houhou
International Symposium on Formal Methods, 218-234, 2021
72021
Framework for Wireless Sensor Networks Code Generation from Formal Specification
S Houhou, L Kahloul, S Benharzallah, R Bettira
CS & IT Conference Proceedings 7 (12), 2017
32017
A direct formal semantics for BPMN time-related constructs
S Houhou, S Baarir, P Poizat, P Quéinnec
ENASE 2021-16th International Conference on Evaluation of Novel Approaches …, 2021
12021
Parameterised Verification from Formal Specifications of Information Systems
S Houhou
Sorbonne Université; Université Mohamed Khider (Biskra, Algérie), 2021
2021
Transformation of High Level Specification Towards nesC Code
S Houhou, L Kahloul, S Benharzallah, R Bettira
Lecture Notes in Real-Time Intelligent Systems, 275-284, 2019
2019
A framework for automatic development of embedded system
S Houhou, L Kahloul, S Benharzallah, R Bettira
2017 International Conference on Mathematics and Information Technology …, 2017
2017
Dérivation de code depuis spécification formelle pour les systèmes embarqués
S HOUHOU
Université de Biskra-Mohamed Khider, 0
The system can't perform the operation now. Try again later.
Articles 1–9