79 citations · 87 across the 10 of their papers we have counts for
Showing 2021 · cs.SEShow all
2 papers · 2 filters
cs.SE2021
Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis +3
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape ex…
cs.SE2021
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland +2
With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against ci…