Computer Science · Physical Sciences
4h-index109citations17works0.12yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Advanced Software Engineering Methodologies(6), Formal Methods in Verification(5), Software Engineering Research(5), Software Testing and Debugging Techniques(5), Model-Driven Software Engineering Techniques(5)
Publications17 total
arXiv (Cornell University)·2026Open Access
ArXiv.org·2026Open Access
ArXiv.org·2026Open Access
arXiv (Cornell University)·2026Open Access
ArXiv.org·2026Open Access
arXiv (Cornell University)·2026Open Access
Research Portal (King's College London)·2026Open Access
ArXiv.org·2026Open Access
Journal of Computer Languages·2025
SSRN Electronic Journal·2025· 1 citedOpen Access
IEEE Transactions on Software Engineering·2023· 58 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2022Open Access
Software & Systems Modeling·2021· 17 citedOpen Access
Artifact Digital Object Group·2020· 3 cited
Lecture notes in computer science·2017· 9 cited
Frequent Co-authors
Thorsten Berger(6), Sven Peldszus(6), Andrzej Wąsowski(5), Patrizio Pelliccione(4), Nils Chur(4), Razan Ghzouli(3), Einar Broch Johnsen(3), Einar Broch Johnsen(2), Kevin Hermann(2), Thiago Santos de Moura(2), Argentina Ortega(2), Nico Hochgeschwender(2), Yannic Noller(2), Jan Rutenkolk(2), Marcel Heide(2), Jan Sollmann(2), Benjamin Klatt(2), Frank Köhne(2), Sergio García Gonzalo(1), Claudio Menghi(1)