| 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 | 10 | 2019 |
| 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 | 5 | 2022 |
| 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 |
| 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 | 1 | 2017 |
| 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 |
