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 | 17 | 2022 |
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 | 17 | 2019 |
Business processes meet spatial concerns: the sBPMN verification framework R Saddem-Yagoubi, P Poizat, S Houhou International Symposium on Formal Methods, 218-234, 2021 | 7 | 2021 |
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 | 3 | 2017 |
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 | 1 | 2021 |
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 | | |