Florian Galinier
Title
Cited by
Cited by
Year
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
92019
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
62017
Seamless integration of multirequirements in complex systems
F Galinier, JM Bruel, S Ebersold, B Meyer
2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017
62017
Measurement and generation of diversity and meaningfulness in model driven engineering
A Ferdjoukh, F Galinier, E Bourreau, A Chateau, C Nebut
International Journal On Advances in Software 11 (1/2), 131-146, 2018
52018
Expressing and verifying embedded software requirements
A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold
arXiv preprint arXiv:1710.02801, 2017
42017
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
42016
A contract-based method to specify stimulus-response requirements
A Naumchev, M Mazzara, B Meyer, JM Bruel, F Galinier, S Ebersold
Труды Института системного программирования РАН 29 (4), 2017
32017
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
22019
Towards an Anatomy of Software Requirements
B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev
International Conference on Objects, Components, Models and Patterns, 10-40, 2019
22019
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
22018
Formal Semantics of Requirements Relationships for Traceability
F Galinier
IRIT, 2019
12019
Formality in Software Requirements.
JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer
CoRR, 2019
12019
A DSL for Requirements in the Context of a Seamless Approach
F Galinier
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
12018
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
2021
Seamless development of complex systems: a multirequirements approach.(poster)(Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18)
F Galinier
2020
The Anatomy of Requirements
B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev
arXiv preprint arXiv:1906.06614, 2019
2019
Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18)
F Galinier
Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, 2018
2018
PROCEEDINGS-2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2017
F Galinier, JM Bruel, S Ebersold, B Meyer, M Bakaev, V Khvorostov, ...
Evaluation 21, 25, 2017
2017
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
Chairs
S Ebersold, M Ahmad, AA Anda, M Bersani, A Bucchiarone, JYM Bruel, ...
The system can't perform the operation now. Try again later.
Articles 1–20