University of Tübingen — Germany
Physics and Astronomy · Physical Sciences
16h-index802citations56works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Semiconductor Quantum Structures and Devices(18), Advanced Chemical Physics Studies(9), Formal Methods in Verification(8), Software Testing and Debugging Techniques(8), Spectroscopy and Laser Applications(8)
Publications56 total
Embedded systems·2017
Journal of Electronic Testing·2015· 6 cited
IBM Journal of Research and Development·2015· 9 cited
2014· 4 cited
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.
MBMV·2014
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
Design, Automation, and Test in Europe·2009· 11 cited
Lecture notes in computer science·2008
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen.
MBMV·2007
Grid Based Fast Falsification For Bounded Property Checking.
Forum on specification and Design Languages·2007· 1 cited
Journal of Molecular Structure·2003· 6 cited
Journal of Crystal Growth·1998· 4 citedOpen Access
page 1 of 3Next →
Frequent Co-authors
M. Wassermeier(15), K. H. Ploog(10), Thomas Kröpf(10), Wolfgang Rosenstiel(10), L. Däweritz(9), G. Winnewisser(9), A. Rudra(9), C.-A. Berseth(7), Djones Lettnin(7), Jürgen Ruf(7), K.M.T. Yamada(6), A. Syrbu(5), Laurent Sagalowicz(5), E. Kapon(5), Patrick Heckeler(5), K. Stahrenberg(4), J.‐F. Carlin(4), Kōichi Yamada(3), O. Brandt(3), J.‐T. Zettler(3)