79 citations · 87 across the 10 of their papers we have counts for
5 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…
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…
Adaptive Testing for Specification Coverage
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher +2
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification langua…
Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani +2
Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can prop…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…