Alena Rodionova

Alena Rodionova
Projektass.(FWF) Master Degree
Photo
E-Mail
Phone +43 (1) 58801-18224
Fax +43 (1) 58801-918224
Address



Vienna University of Technology
Department of Computer Engineering
Cyber-Physical Systems
Treitlstrasse 3, 3rd floor, 1040 Wien, Austria

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]