Eberhard P. Hofer

33 papers C 6Journal 7Unranked 19

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Practical assistive device for sit-to-stand tasks. GCCE Takuya Furusawa, Takayuki Sawada, Nobuaki Fujiki, Ryoichi Suzuki, Eberhard P. Hofer
2013	—	`conf`	Estimation and control of brush pressure by using IMC based controller. ICAT Ryoichi Suzuki, Kuzuhara Suguru, Nobuaki Fujiki, Hiroyuki Kawai, Nobuaki Kobayashi, Eberhard P. Hofer
2011	J	`jnl`	Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. Reliab. Comput. Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, Harald Aschemann
2011	J	`jnl`	Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic. Reliab. Comput. Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, Harald Aschemann
2009	J	`jnl`	Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems. Int. J. Appl. Math. Comput. Sci. Mareile Freihold, Eberhard P. Hofer
2009	J	`jnl`	Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties. Int. J. Appl. Math. Comput. Sci. Andreas Rauh, Johanna Minisini, Eberhard P. Hofer
2008	—	`ch.`	Automatic Classification for Decision Making of the Severeness of the Acute Radiation Syndrome. Interval / Probabilistic Uncertainty and Non-Classical Logics Karin Mehr, Eberhard P. Hofer
2008	—	`conf`	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. Numerical Validation in Current Hardware Architectures Andreas Rauh, Johanna Minisini, Eberhard P. Hofer
2008	—	`conf`	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. Numerical Validation in Current Hardware Architectures Andreas Rauh, Johanna Minisini, Eberhard P. Hofer
2008	—	`conf`	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Reliable Implementation of Real Number Algorithms Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther
2007	J	`jnl`	Robust analysis of flatness based control using interval methods. Int. J. Control Felix Antritter, Marco Kletting, Eberhard P. Hofer
2005	J	`jnl`	A time-delay approach for modeling chronic radiation injury dynamics. Appl. Math. Comput. Frank Lehn, Eberhard P. Hofer
2005	C	`conf`	Disturbance estimation by reduced order observer-based stabilizing controller and its application to teleoperation. CCA Ryoichi Suzuki, Toshio Kudou, Masanori Ikeda, Nobuaki Kobayashi, Eberhard P. Hofer
2002	C	`conf`	An interval arithmetic approach for discrete time non-smooth uncertain systems with application to an anti-locking system. ACC Jürgen Heeks, Eberhard P. Hofer, Bernd Tibken, K. Thorwart
2002	C	`conf`	Model based trajectory control of a flexible turntable ladder. ACC Harald Aschemann, Oliver Sawodny, Alexander Bulach, Eberhard P. Hofer
2001	—	`conf`	Combining trajectory control and position control for autonomous mobile robot navigation. ECC Cristina Tarín, Hermann Brugger, Eberhard P. Hofer, Bernd Tibken
2001	—	`conf`	Motion control of a mobile robot with adaption to the environment. ECC Jan Sparbert, Jörg Kümpel, Eberhard P. Hofer
2001	—	`conf`	Numerical path optimization for path planning with cell decomposition methods. ECC Jörg Kümpel, Jan Sparbert, Eberhard P. Hofer
2001	J	`jnl`	Testing and improvement of micro-optical-switch dynamics. Microelectron. Reliab. Christian Rembe, Harald Aschemann, Stefan aus der Wiesche, Eberhard P. Hofer, Hélène Debéda, Jürgen Mohr, Ulrike Wallrabe
2000	C	`conf`	Crane automation by decoupling control of a double pendulum using two translational actuators. ACC Stefan Lahres, Harald Aschemann, Oliver Sawodny, Eberhard P. Hofer
2000	C	`conf`	Disturbance estimation and compensation for trajectory control of an overhead crane. ACC Harald Aschemann, Oliver Sawodny, Stefan Lahres, Eberhard P. Hofer
2000	C	`conf`	Optimal feedback position control for an autonomous mobile robot. ACC Cristina Tarín, Bernd Tibken, Hermann Brugger, Eberhard P. Hofer
1999	—	`conf`	Damping of TILT oscillations of loads in automated crane systems. ECC Oliver Sawodny, Kai Briechle, Stefan Lahres, Harald Aschemann, Eberhard P. Hofer
1999	—	`conf`	Globally asymptotically stable position control for an autonomous mobile robot. ECC Cristina Tarín, Hermann Brugger, Bernd Tibken, Eberhard P. Hofer
1999	—	`conf`	Human granulopoiesis - A new time delay model. ECC Frank Lehn, Bernd Tibken, Eberhard P. Hofer
1999	—	`conf`	Optimal Control for a Synchronous Driven Unicycle-Like Autonomous Mobile Robot. AMS Cristina Tarín, Hermann Brugger, Bernd Tibken, Eberhard P. Hofer
1999	—	`conf`	Path controller implementation for an autonomous mobile robot. ECC Hermann Brugger, Cristina Tarín, Bernd Tibken, Eberhard P. Hofer
1999	—	`conf`	Quadtree decomposition of configuration space for robot motion planning. ECC Jörg Kümpel, Jan Sparbert, Bernd Tibken, Eberhard P. Hofer
1998	—	`conf`	Global asymptotisch stabile Positionsregelung für einen autonomen mobilen Roboter. AMS Cristina Tarín, Hermann Brugger, Bernd Tibken, Eberhard P. Hofer
1998	—	`conf`	Investigations of nonreproducible phenomena in thermal ink jets with real high speed cine photomicrography. Electronic Imaging Christian Rembe, Stefan aus der Wiesche, Michael Beuten, Eberhard P. Hofer
1998	—	`conf`	The Diamond Ink Jet. Electronic Imaging Eberhard P. Hofer, Stefan aus der Wiesche, Christian Rembe, Joachim Patzer, Peter Gluche, Rüdiger Leuner, Erhard Kohn
1996	—	`conf`	Real-cinematographic visualization of droplet ejection in thermal ink jets. Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts Christian Rembe, Joachim Patzer, Eberhard P. Hofer, Peter Krehl
1990	—	`conf`	Modern Control Theory as a Tool to Describe the Biomathematical Model of Granulocytopoiesis. Analyse dynamischer Systeme in Medizin, Biologie und Ökologie Eberhard P. Hofer, Bernd Tibken, Theodor M. Fliedner

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.