rt-Inconsistency: A New Property for Real-Time Requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (FASE, 2011)

Vacuous real-time requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (RE, 2011)

Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. - Amalinda Post; Igor Menzel; Andreas Podelski (REFSQ, 2011)

Automatische Validierung von Anforderungen. - Amalinda Post; Andreas Podelski (Softwaretechnik-Trends, 2011)

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. - Amalinda Post; Jochen Hoenicke (VSTTE, 2012)

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. - Amalinda Post; Igor Menzel; Jochen Hoenicke; Andreas Podelski (Requir. Eng., 2012)

Effective correctness criteria for real-time requirements. - Amalinda Christina Post (Shaker, 2012)

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 (REFSQ, 2016)

Scalable Analysis of Real-Time Requirements. - Vincent Langenfeld; Daniel Dietsch; Bernd Westphal; Jochen Hoenicke; Amalinda Post (RE, 2019)

Case study: How Well Can IBM's "Requirements Quality Assistant" Review Automotive Requirements? - Amalinda Post; Thomas Fuhr 003 (REFSQ Workshops, 2021)

Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing. - Anmol Nayak; Hariprasad Timmapathini; Vidhya Murali; Karthikeyan Ponnalagu; Vijendran Gopalan Venkoparao; Amalinda Post (REFSQ, 2022)