Travelled to:1 × Italy
2 × Germany
Collaborated with:A.Podelski J.Hoenicke I.Menzel
Talks about:requir (3) time (2) real (2) inconsist (1) restrict (1) properti (1) vacuous (1) grammar (1) english (1) automot (1)
Person: Amalinda Post
DBLP: Post:Amalinda
Contributed to:
2011
2011
2011Wrote 3 papers:
- FASE-2011-PostHP #named #realtime #requirements
- rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
- RE-2011-PostHP #realtime #requirements
- Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
- REFSQ-2011-PostMP #case study #requirements #strict
- Applying Restricted English Grammar on Automotive Requirements — Does it Work? A Case Study (AP, IM, AP), pp. 166–180.