| 2022 | REFSQ | Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing. | Anmol Nayak, Hariprasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao, Amalinda Post |
| 2021 | REFSQ | Case study: How Well Can IBM's "Requirements Quality Assistant" Review Automotive Requirements? | Amalinda Post, Thomas Fuhr |
| 2019 | RE | Scalable Analysis of Real-Time Requirements. | Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post |
| 2016 | REFSQ | Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. | Vincent Langenfeld, Amalinda Post, Andreas Podelski |
| 2011 | FASE | rt-Inconsistency: A New Property for Real-Time Requirements. | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
| 2011 | RE | Vacuous real-time requirements. | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
| 2011 | REFSQ | Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. | Amalinda Post, Igor Menzel, Andreas Podelski |