MoonLight: a lightweight tool for monitoring spatio-temporal properties
暂无分享,去创建一个
Ezio Bartocci | Luca Bortolussi | Michele Loreti | Laura Nenzi | Simone Silvetti | L. Bortolussi | E. Bartocci | L. Nenzi | M. Loreti | Simone Silvetti
[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.