MoonLight: a lightweight tool for monitoring spatio-temporal properties

[1]  Alexandre Donzé,et al.  Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems , 2010, CAV.

[2]  Dejan Nickovic,et al.  Quantitative monitoring of STL with edit distance , 2016, Formal Methods in System Design.

[3]  Lu Feng,et al.  SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities , 2019, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

[4]  Bernd Finkbeiner,et al.  FPGA Stream-Monitoring of Real-time Properties , 2019, ACM Trans. Embed. Comput. Syst..

[5]  Vincenzo Ciancia,et al.  Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL , 2017, Log. Methods Comput. Sci..

[6]  César Sánchez,et al.  TeSSLa: runtime verification of non-synchronized real-time streams , 2018, SAC.

[7]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[8]  Calin Belta,et al.  SpaTeL: a novel spatial-temporal logic and its applications to networked systems , 2015, HSCC.

[9]  Dejan Nickovic,et al.  Monitoring properties of analog and mixed-signal circuits , 2012, International Journal on Software Tools for Technology Transfer.

[10]  Luca Bortolussi,et al.  jSSTL - A Tool to Monitor Spatio-Temporal Properties , 2016, VALUETOOLS.

[11]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[12]  Muhammad Shafique,et al.  A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems , 2018, IEEE Access.

[13]  Ezio Bartocci,et al.  Introduction to Runtime Verification , 2018, Lectures on Runtime Verification.

[14]  Johann Schumann,et al.  R2U2: monitoring and diagnosis of security threats for unmanned aerial systems , 2017, Formal Methods Syst. Des..

[15]  George J. Pappas,et al.  Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..

[16]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[17]  Dejan Nickovic,et al.  Quantitative monitoring of STL with edit distance , 2018, Formal Methods Syst. Des..

[18]  Paul Caspi,et al.  Timed regular expressions , 2002, JACM.

[19]  Sriram Sankaranarayanan,et al.  S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems , 2011, TACAS.

[20]  Dejan Nickovic,et al.  Temporal Logic as Filtering , 2016, HSCC.

[21]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.

[22]  Ezio Bartocci,et al.  An Algebraic Framework for Runtime Verification , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[23]  Ezio Bartocci,et al.  Monitoring mobile and spatially distributed cyber-physical systems , 2017, MEMOCODE.

[24]  Houssam Abbas,et al.  Benchmarks for Temporal Logic Requirements for Automotive Systems , 2014, ARCH@CPSWeek.