Christian Hümbert

Christian Hümbert

Curriculum vitæ

Christian Hümbert, born in 1981, completed his master’s degree program in computer science and chemistry at the Saarland University in 2006. He investigated and developed parametric worst-case execution time analysis techniques. During his studies he was a member of the Honors Program at the Computer Science Department of the Saarland University.

His current work is focused on functional safety and the formal validation and verification of safety-critical software.

Christian joined AbsInt as a software engineer in 2006 and now holds the position of a Senior Technical Consultant. He also regularly represents us at tradeshows and other events all around the world.

Selected publications

  • Satisfying Timing Requirements for Safety-Critical Real-Time Software. D. Kästner, C. Hümbert, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand. Embedded World Congress 2024, Nuremberg.
  • Taming Timing — Combining Static Analysis with Non-Intrusive Tracing to Compute WCET Bounds on Multicore Processors. D. Kästner, C. Hümbert, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand. Embedded World Congress 2021, Virtual Conference.
  • Mastering Resource Usage by Continuous Static Profiling. D. Kästner, G. Gebhard, C. Hümbert, C. Cullmann, C. Ferdinand. Embedded World Congress 2015, Nuremberg.
  • Parametric Timing Analysis for Complex Architectures. Sebastian Altmeyer, Christian Hümbert, Björn Lisper and Reinhard Wilhelm. 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2008.
  • Parametric WCET Analysis, Parameter Analysis and Parametric Loop Bound Analysis.
    Christian Hümbert. Master’s Thesis, Saarland University, 2006.
  • A Proof Assistant for Higher-Order Predicate Logic.
    Christian Hümbert. Bachelor’s Thesis, Saarland University, 2005.