Ulrich Hensel

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 3

Top Venues

IEEE Trans. Circuits Syst. II Express Briefs

ESSDERC

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Sebastian Höppner, Holger Eisenreich, Dennis Walter, André Scharfe, Alexander Oefelein, Florian Schraut, Jörg Schreiter, Thorsten Riedel, Heiner Bauer, Robert Niebsch, Stephan Scherzer, Thomas Hocker, Stefan Scholze, Stephan Henker, Matthias Nossmann, Ulrich Hensel, Helmut Prengel
Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology. IEEE Trans. Circuits Syst. II Express Briefs (10) (2020)
Sebastian Höppner, Jörg Schreiter, Robert Niebsch, Stephan Scherzer, Ulrich Hensel, Jörg Winkler, Mario Orgis, Holger Eisenreich, Dennis Walter, Uwe Steeb, André Scharfe, Clifford Dmello, Robert Sinkwitz, Heiner Bauer, Alexander Oefelein, Florian Schraut
How to Achieve World-Leading Energy Efficiency using 22FDX with Adaptive Body Biasing on an Arm Cortex-M4 IoT SoC. ESSDERC (2019)
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan
Model Checking in an Industrial Environment. MBMV (2003)
Ulrich Hensel
Definitions- und Beweisprinzipien für Daten und Prozesse. Ausgezeichnete Informatikdissertationen (1999)
Ulrich Hensel, Bart Jacobs
Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9 (4) (1999)
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP (1998)
Ulrich Hensel, Bart Jacobs
Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science (1997)
Ulrich Hensel, David A. Spooner
A View on Implementing Processes: Categories of Circuits. COMPASS/ADT (1995)
Ulrich Hensel, Horst Reichel
Defining Equations in Terminal Coalgebras. COMPASS/ADT (1994)

Ulrich Hensel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrich Hensel