| Security Property Modeling. H Hnaini, L Le Roux, J Champeau, C Teodorov ICISSP, 694-701, 2021 | 5 | 2021 |
| Taxonomy of Requirements Specification Templates H Hnaini, R Mazo, P Vallejo, J Galindo, J Champeau SoftEng 23, 2023 | 3 | 2023 |
| SECRET: A New SECurity REquirements SpecificaTion Template H Hnaini, R Mazo, P Vallejo, A Lopez, J Champeau, J Galindo International Conference on Information Technology & Systems, 235-246, 2024 | 1 | 2024 |
| E-SCORE: A web-based tool for security requirements engineering H Hnaini, R Mazo, J Champeau, P Vallejo, J Galindo SoftwareX 26, 101704, 2024 | | 2024 |
| Towards a unifying framework for the specification, formalization and analysis of secure hardware and software architectures H Hnaini, R Mazo, J Champeau | | 2021 |
| Car Reservation Software Model H Hnaini, J Champeau, L Le Roux, C Tedorov | | 2020 |
