Seamless Integration of Multirequirements in Complex Systems. - Florian Galinier; Jean-Michel Bruel; Sophie Ebersold; Bertrand Meyer 001 (RE Workshops, 2017)

A contract-based method to specify stimulus-response requirements. - Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001; Jean-Michel Bruel; Florian Galinier; Sophie Ebersold (CoRR, 2017)

Expressing and verifying embedded software requirements. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (CoRR, 2017)

A DSL for requirements in the context of a seamless approach. - Florian Galinier (ASE, 2018)

Towards an Anatomy of Software Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (TOOLS, 2019)

The Anatomy of Requirements. - Bertrand Meyer 001; Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev (CoRR, 2019)

Formality in Software Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Alexandr Naumchev; Manuel Mazzara; Bertrand Meyer 001 (CoRR, 2019)

AutoReq: Expressing and verifying requirements for control systems. - Alexandr Naumchev; Bertrand Meyer 001; Manuel Mazzara; Florian Galinier; Jean-Michel Bruel; Sophie Ebersold (J. Comput. Lang., 2019)

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

The Role of Formalism in System Requirements. - Jean-Michel Bruel; Sophie Ebersold; Florian Galinier; Manuel Mazzara; Alexandr Naumchev; Bertrand Meyer 001 (ACM Comput. Surv., 2022)

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. - Maria Naumcheva; Sophie Ebersold; Alexandr Naumchev; Jean-Michel Bruel; Florian Galinier; Bertrand Meyer 001 (J. Object Technol., 2023)