Computer Science · Physical Sciences
6h-index84citations19works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Embedded Systems Design Techniques(10), Formal Methods in Verification(9), VLSI and Analog Circuit Testing(9), Control Systems and Identification(4), Numerical Methods and Algorithms(3)
Publications19 total
Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences·2018· 3 citedOpen Access
2017 Intelligent Systems Conference (IntelliSys)·2017· 15 cited
2017· 8 cited
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
MBMV·2017
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
2016· 4 cited
Coverage of Uncertainties in Cyber-Physical Systems
2015· 2 cited
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014·2014· 1 cited
Semi-Symbolische Analyse eines Sigma-Delta Modulators.
MBMV·2014
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014·2014
VLSI design·2013· 9 citedOpen Access
Extended framework for system simulation with affine arithmetic
Forum on specification and Design Languages·2012· 1 cited
Assertion-based verification of signal processing systems with affine arithmetic
Forum on specification and Design Languages·2012· 2 cited
Frequent Co-authors
Christoph Grimm(17), Florian Schupfer(4), Michael Rathmair(4), Xiao Pan(3), Raúl García‐Castro(2), Christopher Heinz(2), Keith Dickerson(2), Andreas Fürtig(2), Georg Gläser(2), Lars Hedrich(2), Stefan Heinen(2), Hyun-Sek Lukas Lee(2), Gregor Nitsche(2), Markus Olbrich(2), Fabian Speicher(2), Javier Moreno(2), Yajuan Guan(1), Juan C. Vásquez(1), Josep M. Guerrero(1), Natalie Samovich(1)