Publications #
Hanfor: Semantic Requirements Review at Scale #
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal. Hanfor: Semantic Requirements Review at Scale. In REFSQ Workshops 2021.
Cite
@inproceedings{DBLP:conf/refsq/BeckerDHHLPW21,
author = {Samuel Becker and
Daniel Dietsch and
Nico Hauff and
Elisabeth Henkel and
Vincent Langenfeld and
Andreas Podelski and
Bernd Westphal},
title = {Hanfor: Semantic Requirements Review at Scale},
booktitle = {{REFSQ} Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {2857},
publisher = {CEUR-WS.org},
year = {2021}
}
Formal Requirements in an Informal World #
Daniel Dietsch, Vincent Langenfeld, Bernd Westphal. Formal Requirements in an Informal World. In IEEE Workshop on Formal Requirements (FORMREQ) 2020.
Cite
@inproceedings{9224533,
author={Daniel Dietsch and
Vincent Langenfeld and
Bernd Westphal},
title={Formal Requirements in an Informal World},
booktitle={2020 IEEE Workshop on Formal Requirements (FORMREQ)},
year={2020},
pages={14-20},
doi={10.1109/FORMREQ51202.2020.00010}
}
Scalable Analysis of Real-Time Requirements #
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, and Amalinda Post. Scalable Analysis of Real-Time Requirements.
Cite
@inproceedings{DBLP:conf/re/LangenfeldDWHP19,
author = {Vincent Langenfeld and
Daniel Dietsch and
Bernd Westphal and
Jochen Hoenicke and
Amalinda Post},
title = {Scalable Analysis of Real-Time Requirements},
booktitle = {{RE}},
pages = {234--244},
publisher = {{IEEE}},
year = {2019}
}
Formalization and Analysis of Real-Time Requirements: a Feasibility Study at BOSCH #
Amalinda Post and Jochen Hoenicke. Formalization and Analysis of Real-Time Requirements: a Feasibility Study at BOSCH. In VSTTE 12, pp. 225–240. Springer, 2012.
Cite
@inproceedings{DBLP:conf/vstte/PostH12,
author = {Amalinda Post and
Jochen Hoenicke},
title = {Formalization and Analysis of Real-Time Requirements: {A} Feasibility
Study at {BOSCH}},
booktitle = {{VSTTE}},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {225--240},
publisher = {Springer},
year = {2012}
}
Vacuous real-time requirements #
Amalinda Post, Jochen Hoenicke, and Andreas Podelski. Vacuous real-time requirements. In RE 11, pp. 153–162. IEEE, 2011.
Cite
@inproceedings{DBLP:conf/re/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
title = {Vacuous real-time requirements},
booktitle = {{RE}},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2011}
}
rt-Inconsistency: A New Property for Real-Time Requirements #
Amalinda Post, Jochen Hoenicke, and Andreas Podelski. rt-Inconsistency: A New Property for Real-Time Requirements. In FASE 2011, volume 6603 in LNCS, pp. 34–49. Springer, 2011.
Cite
@inproceedings{DBLP:conf/fase/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
title = {rt-Inconsistency: {A} New Property for Real-Time Requirements},
booktitle = {{FASE}},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {34--49},
publisher = {Springer},
year = {2011}
}
Applying Restricted English Grammar on Automotive Requirements—Does it Work? A Case Study #
Amalinda Post, Igor Menzel, and Andreas Podelski. Applying Restricted English Grammar on Automotive Requirements—Does it Work? A Case Study. In REFSQ 2011, volume 6606 in LNCS, pp. 166–180. Springer, 2011.
Cite
@inproceedings{DBLP:conf/refsq/PostMP11,
author = {Amalinda Post and
Igor Menzel and
Andreas Podelski},
title = {Applying Restricted English Grammar on Automotive Requirements - Does
it Work? {A} Case Study},
booktitle = {{REFSQ}},
series = {Lecture Notes in Computer Science},
volume = {6606},
pages = {166--180},
publisher = {Springer},
year = {2011}
}