20 citations · 42 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
Sampling of Shape Expressions
Nicolas Basset, Thao Dang, Felix Gigler +2
Cyber-physical systems (CPS) are increasingly becoming driven by data, using multiple types of sensors to capture huge amounts of data. Extraction and characterization of useful in…
Challenges of engineering safe and secure highly automated vehicles
Nadja Marko, Eike Möhlmann, Dejan Ničković +3
After more than a decade of intense focus on automated vehicles, we are still facing huge challenges for the vision of fully autonomous driving to become a reality. The same "disil…