Eleonora Nesterini
Univ.Ass.in Dott.ssa mag.
Role
-
PreDoc Researcher
Cyber-Physical Systems, E191-01
Contact
- eleonora.nesterini@tuwien.ac.at
- Treitlstrasse 3, Room DE0140
- vCard from TISS
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Survey on mining signal temporal logic specifications / Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2022). Survey on mining signal temporal logic specifications. Information and Computation, 289(Part A), Article 104957. https://doi.org/10.1016/j.ic.2022.104957
- Mining Shape Expressions with ShapeIt / Bartocci, E., Deshmukh, J., Mateis, C., Nesterini, E., Ničković, D., & Qin, X. (2021). Mining Shape Expressions with ShapeIt. In Software Engineering and Formal Methods (pp. 110–117). 13085. https://doi.org/10.1007/978-3-030-92124-8_7