Amalinda Post
 |
Amalinda Post
Robert Bosch GmbHPostfach 30 02 40
70442 Stuttgart
|
Current Research
I am a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. Before starting my PhD I worked for 2.5 years as Requirements Engineer at Bosch (in the automotive domain). Basing on these experiences, my research interests include Requirements Engineering, SW-Development, Testing and Formal Methods.
Master's Thesis
Aufbau einer Modultestumgebung am Beispiel der Displayansteuerung für ein ACC-Fahrzeug
Publications
- Amalinda Post, Jochen Hoenicke, Andreas Podelski: Vacuous Real-time Requirements. RE2011
- Amalinda Post, Jochen Hoenicke, Andreas Podelski: rt-inconsistency - a new property of real time requirements. FASE 2011
- Amalinda Post, Andreas Podelski: Automatische Validierung von Verhaltensanforderungen. Softwaretechnik-Trends, Band 30(4), 2010.
-
Thomas Gorges, Karsten Haug, Amalinda Oertel, Wolfgang Rosenstiel: Einsatz eines Fehlerschätzmodells zur Effizienzsteigerung im Software Testprozess, FKFS AutoTest 2006.
Bibtex Files
rt-consistency, applying, automatische