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 semantics for communication-parametric BPMN collaborations
S Houhou, S Baarir, P Poizat, P Quéinnec
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
102019
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
52022
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
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
12017
Parameterised Verification from Formal Specifications of Information Systems
S Houhou
Sorbonne université, 2021
2021
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
R Saddem-Yagoubi, P Poizat, S Houhou
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 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
The system can't perform the operation now. Try again later.
Articles 1–8