Stefana Nenova

According to our database, Stefana Nenova authored at least 3 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

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

Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases.

Stefana Nenova, Daniel Kästner

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009