University of Tübingen — Germany
Computer Science · Physical Sciences
2h-index22citations14works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(7), Software Reliability and Analysis Research(6), Formal Methods in Verification(4), Software Engineering Research(3), Advanced Software Engineering Methodologies(3)
Publications14 total
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen·2014
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen·2014· 1 cited
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.
MBMV·2014
Lecture notes in computer science·2014· 2 cited
ACM SIGAPP Applied Computing Review·2013· 4 cited
A Software Testing Framework to Integrate Formal Verification Results.
MBMV·2013
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen·2013· 1 cited
Optimized Static Parameter Assignment for Semiformal Software Verification.
MBMV·2012· 1 cited
2011· 9 cited
DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Softwaretechnik-Trends·2011
Scalable and Extendable Hybrid Verification Platform.
MBMV·2011· 1 cited
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
2010· 1 cited
Lecture notes in computer science·2008
Frequent Co-authors
Thomas Kröpf(13), Wolfgang Rosenstiel(12), Jürgen Ruf(11), Stefan Huster(8), J. Behrend(7), Sebastian Burg(7), Hanno Eichelberger(6), Djones Lettnin(3), Bastian Schlich(3), Roland Weiß(2), Juri Ruf(1), Thomas Greiner(1), Alexander Grünhage(1), Merdin Macic(1), Oliver Bringmann(1), Marcus Ritt(1)