Sascha Klüppelholz

18 papers and 91 indexed citations i.

Sascha Klüppelholz has authored 18 papers that have received a total of 91 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 9 papers in Software and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (5 papers) and Advanced Software Engineering Methodologies (4 papers). Sascha Klüppelholz is often cited by papers focused on Formal Methods in Verification (13 papers), Model-Driven Software Engineering Techniques (5 papers) and Advanced Software Engineering Methodologies (4 papers) and collaborates with scholars based in Germany, Norway and France. Sascha Klüppelholz's co-authors include Christel Baier, Joachim Klein, Clemens Dubslaff, Marcus Völp and Hendrik Tews and has published in prestigious journals such as IEEE Access, Journal of Computer and System Sciences and Journal of Systems and Software.