基本信息
views: 237

Bio
Holger Hermanns is full professor at Saarland University, Saarbrücken, Germany, holding the chair of Dependable Systems and Software on Saarland Informatics Campus. He has previously held positions at Universität Erlangen-Nürnberg, Germany, at Universiteit Twente, the Netherlands, and at INRIA Grenoble Rhône-Alpes, France.
His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance and dependability evaluation, and their applications to space and energy informatics.
Holger Hermanns has authored or co-authored more than 200 peer-reviewed scientific papers (ha-index 92, h-index 56). He co-chaired the program committees of major international conferences such as CAV, CONCUR, TACAS and QEST, and delivered keynotes at about a dozen international conferences and symposia. He is president of the association "Friends of Dagstuhl e.V.".
Holger Hermanns received the Dutch "Vernieuwingsimpuls" Award, the German "Preis des Fakultätentages Informatik" Award, the CONCUR Test-of-Time Award, and the Jean-Claude Laprie Award on Dependable Computing. He is an ERC Advanced Grantee, elected member of Academia Europaea, and holds several other national and European research grants.
His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance and dependability evaluation, and their applications to space and energy informatics.
Holger Hermanns has authored or co-authored more than 200 peer-reviewed scientific papers (ha-index 92, h-index 56). He co-chaired the program committees of major international conferences such as CAV, CONCUR, TACAS and QEST, and delivered keynotes at about a dozen international conferences and symposia. He is president of the association "Friends of Dagstuhl e.V.".
Holger Hermanns received the Dutch "Vernieuwingsimpuls" Award, the German "Preis des Fakultätentages Informatik" Award, the CONCUR Test-of-Time Award, and the Jean-Claude Laprie Award on Dependable Computing. He is an ERC Advanced Grantee, elected member of Academia Europaea, and holds several other national and European research grants.
Research Interests
Papers共 407 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
2024 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS WORKSHOPS, ICC WORKSHOPS 2024pp.1708-1713, (2024)
Automated Technology for Verification and Analysispp.3-27, (2024)
Hanwei Zhang, Luo Cheng, Qisong He,Wei Huang,Renjue Li,Ronan Sicre,Xiaowei Huang,Holger Hermanns,Lijun Zhang
International Symposium on Software Engineering Theories, Tools, and Applicationspp.310-326, (2024)
Juan A. Fraire,Santiago Henn,Gregory Stock, Robin Ohs,Holger Hermanns, Felix Walter, Lynn Van Broock, Gabriel Ruffini, Federico Machado, Pablo Serratti, Jose Relloso
COMPUTER NETWORKS (2024)
FORMAL METHODS IN SYSTEM DESIGN (2024)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024 (2024): 255-275
International Symposium on Model Checking Softwarepp.3-25, (2024)
Asian Conference on Machine Learningpp.479-494, (2024)
Cited0Views0EIBibtex
0
0
International Conference on Bridging the Gap Between AI and Realitypp.74-98, (2024)
Principles of Verification (2)pp.46-74, (2024)
Load More
Author Statistics
#Papers: 406
#Citation: 13280
H-Index: 54
G-Index: 101
Sociability: 6
Diversity: 3
Activity: 19
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn