Get started
Author

Alexander Elenga Gärtner

Observed name: Gärtner, Alexander Elenga
ORCID: 0009-0002-0138-1135
Observed ORCID: 0009-0002-0138-1135
OpenAlex ID: A5052162292
Automated requirement contradiction detection through formal logic and LLMs
2024 · Alexander Elenga Gärtner, Dietmar Göhlich · Automated Software Engineering · 49
Towards an automatic contradiction detection in requirements engineering
2024 · Alexander Elenga Gärtner, Dietmar Göhlich · Proceedings of the Design Society · 9
Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach
2022 · Alexander Elenga Gärtner, Tu-Anh Fay, et al. · Applied Sciences · 8
PDF
Automated Condition Detection in Requirements Engineering
2023 · Alexander Elenga Gärtner, Dietmar Göhlich, et al. · Proceedings of the Design Society · 6
PDF
Works count: 5
Citation count: 72
H-index: 4
I10-index: 1
Year
Topic
Type