基本信息
views: 467
Career Trajectory
Bio
Rolf Drechsler was a member of Program Committees of numerous conferences including e.g., DAC, ICCAD, DATE, ASP-DAC, FDL, MEMOCODE, and FMCAD. He was Symposiums Chair at ISMVL 1999 and 2014, and the Topic Chair for "Formal Verification" at DATE 2004, DATE 2005, DAC 2010, and DAC 2011 and 2018. He was the General Chair of the IEEE European Test Symposium 2018 and the Program Chair of ICCAD 2020. He received best paper awards at the Haifa Verification Conference (HVC) in 2006, the Forum on specification & Design Languages (FDL) in 2007, 2010 and 2020, the IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) in 2010, the Euromirco Digital System Design Conference 2020 and the IEEE/ACM International Conference on Computer-Aided Design (ICCAD) in 2013 and 2018. He received the Berninghausen Award for Excellence in Teaching in 2018.
Research Interests
Papers共 1215 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)pp.1-6, (2024)
2024 IEEE LLM Aided Design Workshop (LAD)pp.1-5, (2024)
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypespp.21-106, (2024)
IEEE Computer Society Annual Symposium on VLSIpp.601-606, (2024)
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERSno. 9 (2024): 4169-4179
Erweiterte virtuelle Prototypen für heterogene Systemepp.135-171, (2024)
Erweiterte virtuelle Prototypen für heterogene Systemepp.23-45, (2024)
Load More
Author Statistics
#Papers: 1215
#Citation: 16802
H-Index: 54
G-Index: 82
Sociability: 7
Diversity: 3
Activity: 103
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