Kontakt
Lebenslauf
Christian Hümbert studierte Informatik und Chemie an der Universität des Saarlandes. In seiner Masterarbeit 2006 untersuchte er parametrische Techniken zur Laufzeitanalyse. Aktuell beschäftigt er sich vorrangig mit funktionaler Sicherheit und formaler Validierung sicherheitskritischer Software.
Christian arbeitet seit 2006 bei AbsInt, ist einer unserer dienstältesten technischen Berater und vertritt uns auch regelmäßig auf Messen, Konferenzen und anderen Veranstaltungen rund um die Welt.
Ausgewählte Veröffentlichungen
- 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-Kongreß 2024, Nürnberg.
- 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-Kongreß 2021, virtuelle Konferenz.
- Durchgehendes statisches Profiling zur Analyse des Ressourcenverbrauchs. D. Kästner, G. Gebhard, C. Hümbert, C. Cullmann, C. Ferdinand. Embedded-World-Kongreß 2015, Nürnberg.
- Parametrische Laufzeitanalyse für komplexe Architekturen. Sebastian Altmeyer, Christian Hümbert, Björn Lisper und Reinhard Wilhelm. 14. internationale IEEE-Konferenz zu eingebetteten Systemen und Anwendungen (RTCSA), 2008.
- Parametrische WCET-Analyse, Parameteranalyse und parametrische Schleifengrenzenanalyse.
Christian Hümbert. Masterarbeit, Universität des Saarlandes, 2006. - Ein Beweisassistent für Prädikatlogik der höheren Ordnung.
Christian Hümbert. Bachelorarbeit, Universität des Saarlandes, 2005.