Quantitative Regular Expressions for Arrhythmia Detection Algorithms
暂无分享,去创建一个
Ezio Bartocci | Radu Grosu | Houssam Abbas | Scott A. Smolka | Alena Rodionova | S. Smolka | E. Bartocci | R. Grosu | Houssam Abbas | Alena Rodionova
[1] Dejan Nickovic,et al. On Temporal Logic and Signal Processing , 2012, ATVA.
[2] Stéphane Mallat,et al. Singularity detection and processing with wavelets , 1992, IEEE Trans. Inf. Theory.
[3] Alfons F. Sinnaeve,et al. Implantable Cardioverter-Defibrillators Step by Step , 2009 .
[4] Vincenzo Ciancia,et al. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties , 2015, RV.
[5] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[6] Dogan Ulus,et al. Timed Pattern Matching , 2014, FORMATS.
[7] Ezio Bartocci,et al. Data-Driven Statistical Learning of Temporal Logic Properties , 2014, FORMATS.
[8] Kenneth A Ellenbogen,et al. Troubleshooting implanted cardioverter defibrillator sensing problems I. , 2014, Circulation. Arrhythmia and electrophysiology.
[9] Stéphane Demri,et al. On the freeze quantifier in constraint LTL: decidability and complexity , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[10] Stphane Mallat,et al. A Wavelet Tour of Signal Processing, Third Edition: The Sparse Way , 2008 .
[11] César Sánchez,et al. Foundations of Boolean stream runtime verification , 2016, Theor. Comput. Sci..
[12] Lubos Brim,et al. STL⁎: Extending signal temporal logic with signal-value freezing operator , 2014, Inf. Comput..
[13] Dogan Ulus. Montre: A Tool for Monitoring Timed Regular Expressions , 2017, CAV.
[14] Calin Belta,et al. SpaTeL: a novel spatial-temporal logic and its applications to networked systems , 2015, HSCC.
[15] Rajeev Alur,et al. Regular Programming for Quantitative Properties of Data Streams , 2016, ESOP.
[16] Bernd Finkbeiner,et al. LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[17] Ezio Bartocci,et al. Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients , 2014, ISoLA.
[18] Paul Caspi,et al. Timed regular expressions , 2002, JACM.
[19] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[20] Rajeev Alur,et al. Regular combinators for string transformations , 2014, CSL-LICS.
[21] Dejan Nickovic,et al. Measuring with Timed Patterns , 2015, CAV.
[22] J. Zaidan. Implantable cardioverter-defibrillators. , 1999, Journal of cardiothoracic and vascular anesthesia.
[23] Shankara Narayanan Krishna,et al. Metric Temporal Logic with Counting , 2016, FoSSaCS.
[24] Amir Pnueli,et al. Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[25] Sriram Sankaranarayanan,et al. Combining Time and Frequency Domain Specifications for Periodic Signals , 2011, RV.