Alena Rodionova

Alena Rodionova
Projektass.(FWF) Master Degree
E-Mail
Phone -
Fax -
Address



 Vienna University of Technology
Institute of Computer Engineering

Research

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

 

Projects

Publications

  • A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu. Temporal Logic as Filtering. In Proc of HSCC'16, the 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, April, 2016, IEEE. Best student paper award [abstract | paper]