Statistics
Publications
7
Citations
156
H-Index
7
Active since
2011
Viorel Preoteasa is an author at Aalto University specializing in formal methods, computer science, and computing.
Publications per year
2011–2020
7
7
Predictive runtime verification of timed properties
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis et al. · Journal of Systems and Software · 2017 · 54 citations
Predictive runtime enforcement
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis et al. · Formal Methods in System Design · 2017 · 23 citations
Refinement calculus of reactive systems
Viorel Preoteasa, Stavros Tripakis · 2014 · 20 citations
1–5 of 7