Alena Rodionova

 
  • Project Assistant, MSc
  • TU Wien
  • Institute of Computer Engineering E182
  • Treitlstraße 3
  • 1040 Wien
  • Austria

  • Room: DE 0314
  • Phone: +43 (1) 58801-182-24
  • Email: alena.rodionova[at]tuwien.ac.at
  • Web: CPS Group, TISSCV

Research Interests

  • Formal Analysis and Verification
  • Logic and Automata Theory
  • Computational Models in Systems Biology

Current Position


Education


Publications

  1. A. Rodionova, E. Bartocci, D. Nickovic and R. Grosu, Temporal Logic as Filtering [abstract][paper], in: Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016.

Awards

  • Best Student Paper Award, at the 19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016 for the paper A. Rodionova, E. Bartocci, D. Nickovic and R. Grosu, Temporal Logic as Filtering.