Sophie Ebersold

Identifiers

No identifiers captured yet.

Papers (3)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandr Naumchev 3 shared papers
• Bertrand Meyer 3 shared papers
• Florian Galinier 3 shared papers
• Jean-Michel Bruel 3 shared papers
• Manuel Mazzara 2 shared papers