Follow
Eleonora Nesterini
Eleonora Nesterini
TU Wien & AIT Austrian Institute of Technology
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Survey on mining signal temporal logic specifications
E Bartocci, C Mateis, E Nesterini, D Nickovic
Information and Computation 289, 104957, 2022
152022
Mining hyperproperties using temporal logics
E Bartocci, C Mateis, E Nesterini, D Ničković
ACM Transactions on Embedded Computing Systems 22 (5s), 1-26, 2023
32023
Mining Shape Expressions with ShapeIt
E Bartocci, J Deshmukh, C Mateis, E Nesterini, D Ničković, X Qin
International Conference on Software Engineering and Formal Methods, 110-117, 2021
32021
Mining Specification Parameters for Multi-class Classification
EA Aguilar, E Bartocci, C Mateis, E Nesterini, D Ničković
International Conference on Runtime Verification, 86-105, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–4