Publications
- Requirements-based Code Model Checking In IEEE Workshop on Formal Requirements (FORMREQ2020), pages 21–27, August 2020. IEEE. Details DOI BIB
- Towards Artefact-based Requirements Engineering for Data-Centric Systems Proc. 2nd International Workshop on Requirements Engineering for Artificial Intelligence, ():, 2020. Details URL BIB
- Towards Computer-Aided Software Requirements Process In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., pages 75–78, 2019. IEEE. Details BIB
- [T3] Develop your Own Car October 2018. Details URL BIB