Ulrich Hensel

According to our database, Ulrich Hensel authored at least 11 papers between 1994 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology.

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

IEEE Trans. Circuits Syst. II Express Briefs, 2020

2019

How to Achieve World-Leading Energy Efficiency using 22FDX with Adaptive Body Biasing on an Arm Cortex-M4 IoT SoC.

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

Proceedings of the 49th European Solid-State Device Research Conference, 2019

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2003

Model Checking in an Industrial Environment.

Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

1999

Coalgebraic Theories of Sequences in PVS.

Ulrich Hensel, Bart Jacobs

J. Log. Comput., 1999

Definitions- und Beweisprinzipien für Daten und Prozesse.

Ulrich Hensel

Proceedings of the Ausgezeichnete Informatikdissertationen 1999, 1999

1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

Definition and proof principles for data and processes = Definitions- und Beweisprinzipien für Daten und Prozesse.

Ulrich Hensel

PhD thesis, 1998

1997

Proof Principles for Datatypes with Iterated Recursion.

Ulrich Hensel, Bart Jacobs

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1995

A View on Implementing Processes: Categories of Circuits.

Ulrich Hensel, David A. Spooner

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Defining Equations in Terminal Coalgebras.

Ulrich Hensel, Horst Reichel

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994