Ulrich Hensel
According to our database1,
Ulrich Hensel
authored at least 11 papers
between 1994 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology.
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.
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.
Proceedings of the FM 2016: Formal Methods, 2016
2003
Model Checking in an Industrial Environment.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003
1999
Proceedings of the Ausgezeichnete Informatikdissertationen 1999, 1999
1998
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.
PhD thesis, 1998
1997
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997
1995
Proceedings of the Recent Trends in Data Type Specification, 1995
1994
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