Eleonora Nesterini

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Survey on mining signal temporal logic specifications. Inf. Comput. 289 (Part) (2022)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. SEFM (2021)