暂无分享,去创建一个
[1] Ezio Bartocci,et al. Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients , 2014, ISoLA.
[2] Sriram Sankaranarayanan,et al. Combining Time and Frequency Domain Specifications for Periodic Signals , 2011, RV.
[3] César Sánchez,et al. Foundations of Boolean stream runtime verification , 2016, Theor. Comput. Sci..
[4] S. Mallat. A wavelet tour of signal processing , 1998 .
[5] Rupak Majumdar,et al. Computing the Skorokhod distance between polygonal traces , 2015, HSCC.
[6] Dejan Nickovic,et al. Quantitative monitoring of STL with edit distance , 2016, Formal Methods in System Design.
[7] Dejan Nickovic,et al. On Temporal Logic and Signal Processing , 2012, ATVA.
[8] Stéphane Mallat,et al. Singularity detection and processing with wavelets , 1992, IEEE Trans. Inf. Theory.
[9] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[10] Lubos Brim,et al. STL⁎: Extending signal temporal logic with signal-value freezing operator , 2014, Inf. Comput..
[11] Calin Belta,et al. SpaTeL: a novel spatial-temporal logic and its applications to networked systems , 2015, HSCC.
[12] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[13] Martin Wolf,et al. An Efficient Algorithm for Automatic Peak Detection in Noisy Periodic and Quasi-Periodic Signals , 2012, Algorithms.
[14] Alfons F. Sinnaeve,et al. Implantable Cardioverter-Defibrillators Step by Step , 2009 .
[15] Vincenzo Ciancia,et al. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties , 2015, RV.
[16] Rupak Majumdar,et al. Computing Distances between Reach Flowpipes , 2016, HSCC.
[17] George J. Pappas,et al. Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..
[18] Dejan Nickovic,et al. From signal temporal logic to FPGA monitors , 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
[19] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[20] Stphane Mallat,et al. A Wavelet Tour of Signal Processing, Third Edition: The Sparse Way , 2008 .
[21] Kenneth A Ellenbogen,et al. Troubleshooting implanted cardioverter defibrillator sensing problems I. , 2014, Circulation. Arrhythmia and electrophysiology.
[22] Houssam Abbas,et al. Formal property verification in a conformance testing framework , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
[23] Ezio Bartocci,et al. Data-Driven Statistical Learning of Temporal Logic Properties , 2014, FORMATS.
[24] Rajeev Alur,et al. Regular Programming for Quantitative Properties of Data Streams , 2016, ESOP.
[25] Bernd Finkbeiner,et al. LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).