HOLGER HERMANNS



ha-index: 92


Holger Hermanns is a full professor in computer science at Saarland University in Germany, heading the Dependable Systems and Software group.

 

From April 2004 to March 2006, Holger Hermanns has served as Dean of Studies of the Faculty of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Since then he does his best to serve as Dean of Hearts. A too brief CV is here.


Some Suggestions


Why not watch his recent keynote Power Grid Stability Despite Renewable Instability at ECC 2013?

 

Or his keynote From Concurrency Models to Numbers: Performance, Dependability, Energy at LIG - Laboratoire d’Informatique de Grenoble?

 

Or his invited presentation Composition and Concurrency in a Stochastic World at Concur 2010?

 

Or the lecture series at Marktoberdorf 2010? Or those of Copenhagen 2012?

 

Or read this article in CACM?

 

Here is background material for his TACAS invited talk Quantitative Models for a Not So Dumb Grid at ETAPS 2012.

 

Buy this book. A great gift for every occasion (unless you read it yourself).

 

Other great gifts include this, this, this, this, and this. And yet another one.


Recent and Upcoming Programme Committees

iFM 2016 TACAS 2016
ATVA 2015 FSEN 2015 SETTA 2015 ACSD 2015 TACAS 2015
QEST 2014 LICS 2014 FOSSACS 2014 QAPL 2014 Modellierung 2014 MMB-DFT 2014
AMPECS 2013 DCM 2013 DCDS 2013 HSCC 2013 CONCUR 2013 QAPL 2013 ACSD 2013 ESOP 2013
FORMATS 2012 MEMICS 2012 AVoCS 2012 FESCA 2012 HSCC 2012 MMB/DFT 2012 Modellierung 2012 FIT 2012
FSTTCS 2011 ATVA 2011 FORMATS 2011 FESCA 2011 DCDS 2011 HSCC 2011
DSN 2010 SSS 2010 CAV 2010 FMICS 2010 NSMC 2010 QEST 2010 QUOVADIS 2010 FESCA 2010 SOFSEM 2010 MMB/DFT 2010
FMWS 2009 CONCUR 2009 FMICS 2009 QEST 2009 DATE 2009
CAV 2008 FIT 2008 MMB 2008
TeaConc 2007 TACAS 2007
EMSOFT 2006 FORMATS 2006 QEST 2006 MMB 2006 DEPCOS 2006 ISAS 2006
FORTE 2005 HASE 2005 TACAS 2005 QEST 2005 EPEW 2005
FORTE 2004 CSDUML 2004 EPEW 2004

Other Professional Activities

ETAPS association (vice president)
Friends of Dagstuhl (president)
Dagstuhl Foundation (board of trustees)
Academia Europaea (elected member)
Smart Grid (editorial advisory board)
ETAPS (steering committee)
TACAS (steering committee)
QEST (steering committee)
Energieinformatik 2015 (invited speaker)
ELLIIT 2015 (keynote speaker)
QAPL 2015 (invited speaker)
Embedded Conference Scandinavia 2014 (keynote speaker)
NWPT 2014 (invited speaker)
MOVEP 2014 (invited tutorial)
1st EATCS Young Researchers School 2014 (invited tutorial)
ECC 2013 (invited speaker)
FSEN 2013 (keynote speaker)
LCCC Workshop 2013 (invited speaker)
QEST 2012 (program committee co-chair)
SEBUA 12 (keynote speaker)
MCS 12 (invited tutorial)
CompSust 2012 (keynote speaker)
Energieinformatik 2012 (invited speaker)
ETAPS 2012 (TACAS invited speaker)
Winter School QMC 2012 (invited tutorial)
HAS 2012 (keynote speaker)
SEFM 2011 (keynote speaker)
SmartCoDe-ECW 2011 (invited speaker)
ETAPS 2011 (organisation committee chair)
Multi-Core Memory Models and Concurrency Theory (co-organiser)
CONCUR 2010 (invited speaker)
AVACS Spring School 2010 (invited tutorial)
Marktoberdorf 2010 (invited lecturer)
Verification over Discrete-Continuous Boundaries (co-organiser)
QFM 2009 (keynote speaker)
CAV 2007 (program committee co-chair)
CONCUR 2006 (program committee co-chair)
TACAS 2006 (program committee co-chair)
FIT 2005 (program committee co-chair)
FORTE 2005 (program committee)
QEST 2006-2009 (steering committee)

Most of his publications are listed on DBLP or Google scholar.


Contact

Address: Saarland University 
 Department of Computer Science 
 Campus Saarbrücken 
  Bldg. E1 3, Room 501 
 66123 Saarbrücken 
Phone: +49 681 302 5631 
Fax: +49 681 302 5636 
eMail: