2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 214-222 293 S.
2013 23rd International Workshop on Power and Timing Modeling, Optimizations and Simulation (PATMOS 2013) Piscataway, NJ : IEEE, 2013 (2013), Seite 51-59 VIII, 268 S.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 131-140 [10], 284 S.