Concepedia

Alëna Rodionova

AR

7

Publications

135

Citations

7

H-Index

2016

Active since

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

Alëna Rodionova is an author at University of Pennsylvania specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceAutomationSystems EngineeringFormal VerificationComputer EngineeringVerificationFormal MethodsAutomated VehiclesAutonomous Systems

Publications per year

2016–2022

7

Publications

7

Temporal Logic as Filtering

Alëna Rodionova, Ezio Bartocci, Dejan Ničković et al. · 2016 · 46 citations · Full text

How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles

Alëna Rodionova, Ignacio Álvarez, Maria Soledad Elli et al. · 2020 · 21 citations

Engineering, Verification, Safety Science +17

Combined Left and Right Temporal Robustness for Control Under STL Specifications

Alëna Rodionova, Lars Lindemann, Manfred Morari et al. · IEEE Control Systems Letters · 2022 · 20 citations

Stl Specifications, Real-time Control, Engineering +23

Real-Time Decision Policies With Predictable Performance

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras et al. · Proceedings of the IEEE · 2018 · 14 citations

Engineering, Computer Architecture, Software Engineering +24

Quantitative Regular Expressions for Arrhythmia Detection

Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras et al. · IEEE/ACM Transactions on Computational Biology and Bioinformatics · 2018 · 12 citations

Engineering, Formal Verification, Quantitative Regular Expressions +22

Rows per page

1–5 of 7