Amalinda Post

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 4

Top Topics

Benchmark Suite

Natural Language Processing

Specification Languages

Top Venues

REFSQ Workshops

Publications

Anmol Nayak, Hariprasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao, Amalinda Post
Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing. REFSQ (2022)
Amalinda Post, Thomas Fuhr
Case study: How Well Can IBM's "Requirements Quality Assistant" Review Automotive Requirements? REFSQ Workshops (2021)
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
Scalable Analysis of Real-Time Requirements. RE (2019)
Vincent Langenfeld, Amalinda Post, Andreas Podelski
Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. REFSQ (2016)
Amalinda Post, Jochen Hoenicke
Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. VSTTE (2012)
Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng. 17 (1) (2012)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
rt-Inconsistency: A New Property for Real-Time Requirements. FASE (2011)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
Vacuous real-time requirements. RE (2011)
Amalinda Post, Igor Menzel, Andreas Podelski
Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. REFSQ (2011)
Amalinda Post, Andreas Podelski
Automatische Validierung von Anforderungen. Softwaretechnik-Trends 31 (1) (2011)