Кристиан Химберт

Контакт

huembert@absint.com

Кристиан работает у нас с 2006 года одним из главных специалистов по статическому анализу критического кода для встраиваемых систем. Он также проводит учебные курсы для наших клиентов и регулярно представляет нас на выставках и конференциях по всему миру.

Недавние выступления и лекции

• «Одного лишь тестирования далеко не достаточно»
  New Eagle Innovation Summit, сентябрь 2024, Музей Генри Форда, Дирборн, Мичиган
• «Статический анализ наихудшего времени выполнения для процессоров ARM Cortex»
  Joral Workshop for Engineers, ноябрь 2023, Феникс, Аризона

Избранные работы

• 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.