Florian Galinier

According to our database, Florian Galinier authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.

Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer

J. Object Technol., 2023

2022

The Role of Formalism in System Requirements.

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer

ACM Comput. Surv., 2022

2021

Seamless development of complex systems : a multirequirements approach. (Développement sans rupture de systèmes complexes : une approche basée multi-exigences).

Florian Galinier

PhD thesis, 2021

2019

AutoReq: Expressing and verifying requirements for control systems.

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold

J. Comput. Lang., 2019

Formality in Software Requirements.

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer

CoRR, 2019

The Anatomy of Requirements.

Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev

CoRR, 2019

Towards an Anatomy of Software Requirements.

Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

2018

A DSL for requirements in the context of a seamless approach.

Florian Galinier

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Expressing and verifying embedded software requirements.

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold

CoRR, 2017

A contract-based method to specify stimulus-response requirements.

Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold

CoRR, 2017

Seamless Integration of Multirequirements in Complex Systems.

Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017