Amalinda Post

According to our database, Amalinda Post authored at least 11 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing.

Anmol Nayak, Hariprasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao, Amalinda Post

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

2021

Case study: How Well Can IBM's "Requirements Quality Assistant" Review Automotive Requirements?

Amalinda Post, Thomas Fuhr

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

2019

Scalable Analysis of Real-Time Requirements.

Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2016

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

2012

Effective correctness criteria for real-time requirements.

Amalinda Christina Post

PhD thesis, 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

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH.

Amalinda Post, Jochen Hoenicke

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011

Automatische Validierung von Anforderungen.

Amalinda Post, Andreas Podelski

Softwaretechnik-Trends, 2011

Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study.

Amalinda Post, Igor Menzel, Andreas Podelski

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2011

Vacuous real-time requirements.

Amalinda Post, Jochen Hoenicke, Andreas Podelski

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

rt-Inconsistency: A New Property for Real-Time Requirements.

Amalinda Post, Jochen Hoenicke, Andreas Podelski

Proceedings of the Fundamental Approaches to Software Engineering, 2011