Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (HSCC, 2016)

Regular Expressions for Irregular Rhythms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CoRR, 2016)

Quantitative Regular Expressions for Arrhythmia Detection Algorithms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CMSB, 2017)

An Autonomous Vehicle Control Stack. - Alëna Rodionova; Matthew O'Kelly; Houssam Abbas; Vincent Pacelli; Rahul Mangharam (ARCH@CPSWeek, 2017)

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. - Houssam Abbas; Matthew O'Kelly; Alëna Rodionova; Rahul Mangharam (CyPhy, 2017)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (Dependable Software Systems Engineering, 2017)

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (MT@CPSWeek, 2018)

Real-Time Decision Policies With Predictable Performance. - Houssam Abbas; Rajeev Alur; Konstantinos Mamouras; Rahul Mangharam; Alëna Rodionova (Proc. IEEE, 2018)

Quantitative Regular Expressions for Arrhythmia Detection. - Houssam Abbas; Alëna Rodionova; Konstantinos Mamouras; Ezio Bartocci; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility. - Alëna Rodionova; Yash Vardhan Pant; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ITSC, 2020)

How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles. - Alëna Rodionova; Ignacio J. Alvarez; Maria Soledad Elli; Fabian Oboril; Johannes Quast; Rahul Mangharam (IV, 2020)

Time-Robust Control for STL Specifications. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (CDC, 2021)

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme. - Alëna Rodionova; Yash Vardhan Pant; Connor Kurtz; Kuk Jin Jang; Houssam Abbas; Rahul Mangharam (ACM Trans. Cyber Phys. Syst., 2021)

Temporal Robustness of Stochastic Signals. - Lars Lindemann; Alëna Rodionova; George J. Pappas (HSCC, 2022)

Combined Left and Right Temporal Robustness for Control Under STL Specifications. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (IEEE Control. Syst. Lett., 2023)

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. - Alëna Rodionova; Lars Lindemann; Manfred Morari; George J. Pappas (ACM Trans. Embed. Comput. Syst., 2023)