Florian Galinier

Identifiers

No identifiers captured yet.

Papers (3)

1. The Anatomy of Requirements cs.SE · 2019 · author #4
2. AutoReq: expressing and verifying requirements for control systems cs.SE · 2017 · author #4
3. A contract-based method to specify stimulus-response requirements cs.SE · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandr Naumchev 3 shared papers
• Bertrand Meyer 3 shared papers
• Jean-Michel Bruel 3 shared papers
• Sophie Ebersold 3 shared papers
• Manuel Mazzara 2 shared papers