Esslingen University of Applied Sciences — Germany
Computer Science · Physical Sciences
40h-index7.0kcitations163works0.62yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(59), Software Testing and Debugging Techniques(23), Advanced Vision and Imaging(19), Autonomous Vehicle Technology and Safety(19), Gene Regulatory Network Analysis(16)
Publications162 total
Lecture notes in computer science·2025
Lecture notes in computer science·2025Open Access
International Journal of Science and Research (IJSR)·2025Open Access
ArXiv.org·2025Open Access
HPU2 Journal of Science Natural Sciences and Technology·2025Open Access
Frontiers in Medicine·2025· 2 citedOpen Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024Open Access
Formal Methods in System Design·2024Open Access
arXiv (Cornell University)·2024Open Access
SPIRE - Sciences Po Institutional REpository·2023Open Access
page 1 of 9Next →
Frequent Co-authors
Oded Maler(11), Christoph Stiller(8), Eugène Asarin(8), Franjo Ivančić(8), Andreas Tamke(7), Gabi Breuel(7), Rajeev Alur(7), Alexandre Donzé(5), Antoine Girard(5), Colas Le Guernic(4), Christian Hoffmann(4), Romain Testylier(4), Dietmar Kasper(3), George J. Pappas(3), Goran Frehse(2), Julius Ziegler(2), Philipp Bender(2), Uwe Franke(2), Christoph G. Keller(2), Clemens Rabe(2)