Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. - Stefana Nenova; Daniel Kästner (WCET, 2009)

Astree: Nachweis der Abwesenheit von Laufzeit. - Daniel Kästner; Christian Ferdinand; Stephan Wilhelm; Stefana Nenova; Olha Honcharova; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival; Élodie-Jane Sims (Softwaretechnik-Trends, 2009)

Architecture exploration and timing estimation during early design phases. - Reinhold Heckmann; Christian Ferdinand; Daniel Kästner; Stefana Nenova (Int. J. Softw. Tools Technol. Transf., 2013)