Jan-David Quesel

2 papers and 30 indexed citations i.

About

Jan-David Quesel has authored 2 papers that have received a total of 30 indexed citations. This includes 2 papers in Software, 1 paper in Computational Theory and Mathematics and 1 paper in Safety, Risk, Reliability and Quality. The topics of these papers are Software Testing and Debugging Techniques (1 paper), Safety Systems Engineering in Autonomy (1 paper) and Formal Methods in Verification (1 paper). Jan-David Quesel is often cited by papers focused on Software Testing and Debugging Techniques (1 paper), Safety Systems Engineering in Autonomy (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in United States. Jan-David Quesel's co-authors include Sarah M. Loos, Nikos Aréchiga, André Platzer and Stefan Mitsch and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer

In The Last Decade

Rankless by CCL
2025