| The role of formalism in system requirements JM Bruel, S Ebersold, F Galinier, M Mazzara, A Naumchev, B Meyer ACM Computing Surveys (CSUR) 54 (5), 1-36, 2021 | 26 | 2021 |
| AutoReq: Expressing and verifying requirements for control systems A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold Journal of Computer Languages 51, 131-142, 2019 | 15 | 2019 |
| Towards an anatomy of software requirements B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 12 | 2019 |
| Measuring differences to compare sets of models and improve diversity in MDE A Ferdjoukh, F Galinier, E Bourreau, A Chateau, C Nebut ICSEA: International Conference on Software Engineering Advances, 2017 | 12 | 2017 |
| A DSL for Requirements in the Context of a Seamless Approach F Galinier Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 8 | 2018 |
| Seamless integration of multirequirements in complex systems F Galinier, JM Bruel, S Ebersold, B Meyer 2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017 | 7 | 2017 |
| Measurement and generation of diversity and meaningfulness in model driven engineering A Ferdjoukh, F Galinier, E Bourreau, A Chateau, C Nebut Int. J. Adv. Softw 11 (1/2), 131-146, 2018 | 6 | 2018 |
| Seamless development of complex systems: a multirequirements approach F Galinier Université Paul Sabatier-Toulouse III, 2021 | 5 | 2021 |
| Expressing and verifying embedded software requirements A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold arXiv preprint arXiv:1710.02801, 2017 | 5 | 2017 |
| Genetic Algorithm to Improve Diversity in MDE F Galinier, E Bourreau, A Chateau, A Ferdjoukh, C Nebut META, International Conference on Meta heuristics and Nature Inspired …, 2016 | 5 | 2016 |
| The role of formalism in system requirements (full version) JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer arXiv preprint arXiv:1911.02564, 2019 | 4 | 2019 |
| Formality in software requirements JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer CoRR, 2019 | 4 | 2019 |
| Requirements Specific Modeling Language : un langage formel d'expression d'exigences F Galinier, S Eberlsold, JM Bruel CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, 2018 | 3 | 2018 |
| Object-oriented requirements: a unified framework for specifications, scenarios and tests M Naumcheva, S Ebersold, A Naumchev, JM Bruel, F Galinier, B Meyer arXiv preprint arXiv:2209.02189, 2022 | 2 | 2022 |
| A contract-based method to specify stimulus-response requirements A Naumchev, M Mazzara, B Meyer, JM Bruel, F Galinier, S Ebersold Труды Института системного программирования РАН 29 (4), 39-54, 2017 | 2 | 2017 |
| The Anatomy of Requirements B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev arXiv preprint arXiv:1906.06614, 2019 | 1 | 2019 |
| Formal Semantics of Requirements Relationships for Traceability F Galinier IRIT, 2019 | 1 | 2019 |
| Développement sans rupture de systèmes complexes: une approche basée multi-exigences F Galinier Université de Toulouse, Université Toulouse III-Paul Sabatier, 2021 | | 2021 |
| Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France) F Galinier 10èmes Journées nationales du GDR: Groupement de Recherche Génie de la …, 2018 | | 2018 |
| Intégration des (multi-)exigences tout au long du développement des systèmes complexes F Galinier, JM Bruel, S Ebersold, B Meyer Approches Formelles dans l'Assistance au Développement de Logiciels, 57-63, 2017 | | 2017 |
sophie ebersold marcaillouFull Professor at University of Toulouse - Researcher at IRITVerified email at irit.fr
