Stefana Schank, née Nenova

Stefana Schank

Research interests

  • Functional safety
  • Sound static analysis
  • Runtime error analysis
  • Abstract interpretation

Selected publications

  • Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
  • Combining Model-based Analysis and Testing. D. Kästner, U. Brockmeyer, M. Pister, S. Nenova, T. Bienmüller, A. Dereani, C. Ferdinand. Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2014.
  • Model-Driven Code Generation and Analysis. D. Kästner, C. Rustemeier, U. Kiffmeier, D. Fleischer, S. Nenova, R. Heckmann, M. Schlickling, C. Ferdinand. SAE World Congress 2014.
  • Architecture Exploration and Timing Estimation during Early Design Phases. R. Heckmann, C. Ferdinand, D. Kästner, S. Nenova. International Journal on Software Tools for Tech­nology Transfer (STTT), SpringerLink OnlineFirst, 2012, DOI: 10.1007/s10009-012-0248-8.
  • Finding all Runtime Errors in C Code. D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival. Embedded World Congress 2011, Nuremberg, 2011.
  • Astrée: Proving the Absence of Runtime Errors. D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival. Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2010.
  • Architecture Exploration and Timing Estimation During Early Design Phases. C. Ferdinand, R. Heckmann, D. Kästner, S. Nenova. Embedded World Congress, Nuremberg, 2010.
  • Worst-Case Timing Estimation and Architecture Exploration in Early Design Phases. S. Nenova, D. Kästner. Proceedings of the 9th International Workshop on Worst-Case Execution-Time Analysis, Dublin, 2009.
  • Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, E.-J. Sims. Proceedings of the GI workshop “Entwicklung zuverlässiger Software-Systeme”, Vol. 29 of Softwaretechnik-Trends, Regensburg, August 2009.