Search Results - "Nesterini, Eleonora"

Survey on mining signal temporal logic specifications by Bartocci, Ezio, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan

“…Formal specifications play an essential role in the life-cycle of modern systems, both at the time of their design and during their operation. Despite their…”
Get full text

Geochemical fingerprinting and statistical variation of 35 elements in produced water and rock material from offshore chalk reservoirs by Bonciani, Neri, Ottaviani, Matteo, Nesterini, Eleonora, Feilberg, Karen L.

“…Trace metals and metalloids occur in small quantities in the subsurface water generated from oil wells, called produced water (PW). While these substances are…”
Get full text

Mining Shape Expressions with ShapeIt by Bartocci, Ezio, Deshmukh, Jyotirmoy, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan, Qin, Xin

“…We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the…”
Get full text