| Bridging the gap between informal requirements and formal specifications using model federation FR Golra, F Dagnat, J Souquières, I Sayar, S Guerin Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 29 | 2018 |
| An in-depth study of java deserialization remote-code execution exploits and vulnerabilities I Sayar, A Bartel, E Bodden, Y Le Traon ACM Transactions on Software Engineering and Methodology 32 (1), 1-45, 2023 | 25 | 2023 |
| Bridging the gap between requirements document and formal specifications using development patterns I Sayar, J Souquières 2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019 | 4 | 2019 |
| La validation dans les premières étapes du processus de dévelopement I Sayar, J Souquières Ingenierie des Systemes d'Information 22 (4), 11, 2017 | 4 | 2017 |
| From an abstract specification in event-B toward an UML/OCL model I Sayar, MT Bhiri Proceedings of the 2Nd FME Workshop on Formal Methods in Software …, 2014 | 4 | 2014 |
| Du cahier des charges à sa spécification I Sayar, J Souquières AFADL: Approches Formelles dans l'assistance au Développement de Logiciels, 2017 | 3 | 2017 |
| La validation dans le processus de développement I Sayar, J Souquières 34ème Congrès INFORSID, 2016 | 3 | 2016 |
| Formalization of requirements for correct systems I Sayar, J Souquières 2020 IEEE Workshop on Formal Requirements (FORMREQ), 28-34, 2020 | 2 | 2020 |
| Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels I Sayar Génie logiciel. Thèse de Doctorat. Université de Lorraine, 2019 | 1 | 2019 |
| Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements T Nguyen, I Sayar, S Ebersold, JM Bruel Software and Systems Modeling, 1-33, 2024 | | 2024 |
| De l'utilisation d'une bibliothèque à l'exécution d'un code arbitraire I Sayar, A BARTEL Multi-System & Internet Security Cookbook 110, 2020 | | 2020 |
| Articulation between definite and semi-definite activities in software development I Sayar < bound method Organization. get_name_with_acronym of< Organization …, 2019 | | 2019 |
| Validation in the first steps in the development process I Sayar, J Souquières < bound method Organization. get_name_with_acronym of< Organization …, 2017 | | 2017 |
| D'Event-B vers UML/OCL en passant par UML/EM-OCL I Sayar arXiv preprint arXiv:1212.4959, 2012 | | 2012 |
| FORMREQ 2020 F Bretagne, J Champeau, D Dietsch, V Langenfeld, H Brüning, I Sayar, ... | | |
| The validation in the early steps of the development process The validation in the early steps of the development process I Sayar, J Souquières | | |
