HOLGER HERMANNS
 | ||
|
 |
 |
Holger Hermanns is a full professor in computer science at Saarland University in Germany, heading the Dependable Systems and Software group. He is also affiliated with INRIA Rhône-Alpes.
Since summer 2008 he is a member of senate of Saarland University. As of April 1, 2010, Holger Hermanns is Dean of the Faculty 6, Mathematics and Computer Science.
Current Research Favorites
 | Does Clock Precision Influence ZigBee's Energy Consumption? |
| Validation of Multiprocessor Multithreaded Architectures. |
Further Research Activities
| Quantitative Model Checking of Software. |
| Formal Approaches to Model-Driven Quality of Service Guarantees. |
| Tools for Quantitative System Evaluation. |
| MoDeST. |
Recent and Upcoming Professional Activities
 | ETAPS (steering committee) |
| FESCA 2011 (program committee) |
| HSCC 2011 (program committee) |
| CONCUR 2010 (invited speaker) |
| Marktoberdorf 2010 (invited lecturer) |
| DSN 2010 (program committee) |
| SSS 2010 (program comittee) |
| CAV 2010 (program committee) |
| FMICS 2010 (program comittee) |
| NSMC 2010 (program committee) |
| QEST 2010 (program committee) |
| QUOVADIS 2010 (program committee) |
| FESCA 2010 (program committee) |
| SOFSEM 2010 (program committee) |
| MMB/DFT 2010 (program committee) |
| QFM 2009 (keynote speaker) |
| FMWS 2009 (program committee) |
| CONCUR 2009 (program committee) |
| FMICS 2009 (program committee) |
| QEST 2009 (program committee) |
| DATE 2009 (program committee) |
| CAV 2008 (program committee) |
| FIT 2008 (program committee) |
| MMB 2008 (program committee) |
| CAV 2007 (program committee co-chair) |
| TeaConc 2007 (program committee) |
| TACAS 2007 (program committee) |
| EMSOFT 2006 (program committee) |
| FORMATS 2006 (program committee) |
| CONCUR 2006 (program committee co-chair) |
| QEST 2006 (program committee) |
| TACAS 2006 (program committee co-chair) |
| MMB 2006 (progam committee) |
| DEPCOS 2006 (progam committee) |
| ISAS 2006 (program committee) |
| FIT 2005 (program committee co-chair) |
| FORTE 2005 (program committee) |
| HASE 2005 (program committee) |
| TACAS 2005 (program committee) |
| QEST 2005 (program committee) |
| EPEW 2005 (program committee) |
| FORTE 2004 (program committee) |
| CSDUML 2004 (program committee) |
| EPEW 2004 (program committee) |
| QEST 2006-2009 (steering committee) |
Some Suggestions
| |
 |
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.
Most of my publications (as seen by DBLP).
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: |  |