معرفی
Prof. Holger Hermanns is Chair for Dependable Systems and Software and Dean of the Faculty of Mathematics and Computer Science at Saarland University, Germany. His research integrates formal verification of concurrent systems with quantitative performance and dependability analysis, focusing on probabilistic guarantees for time and energy constraints in distributed systems.
- Education
- University of Bordeaux, France
- University of Erlangen-Nürnberg, Germany (Diploma in 1993, Doctoral Degree in 1998)
Research Interests
- Modeling and verification of concurrent systems
- Resource-aware embedded systems
- Compositional performance and dependability evaluation
- Behavioral models for probability, time, and cost
- Concurrent Markov models and process calculi
Scientific Contributions
- Author of over 120 peer-reviewed papers (h-index 35)
- Principal Investigator for the German special research initiative AVACS
- Holder of multiple national and European research grants
- Keynote speaker on topics like wireless brake reliability and photovoltaic overproduction risks
۰مقاله منتشرشده
Holger Hermanns در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- HHolger HermannsLumière University Lyon 2 · استاد
- HHolger HermannsGraz University of Technology · استاد
- HHolger HermannsSaarland University · استاد
Holger HermannsSchloss Dagstuhl - Leibniz Center for Informatics · استاد
Gert SmolkaInria · استاد- UUwe NestmannTechnical University of Berlin (TU Berlin) · استاد