conference paper published yes Dejan Nickovic author 41BCEE5C-F248-11E8-B48F-1D18A9856A87 Oded Maler author FORMATS: Formal Modeling and Analysis of Timed Systems In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce Stl/Psl, a specification formalism based on the industrial standard language Psl and the real-time temporal logic Mitl, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically builds property observers from an Stl/Psl specification and checks, in an offline or incremental fashion, whether simulation traces satisfy the property. The AMT tool is validated through a Flash memory case-study. Springer2007Salzburg, Austria eng 10.1007/978-3-540-75454-1_22 4763304 - 319 yes Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 4763, Springer, 2007, pp. 304–19, doi:<a href="https://doi.org/10.1007/978-3-540-75454-1_22">10.1007/978-3-540-75454-1_22</a>. D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319. Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 4763. Springer; 2007:304-319. doi:<a href="https://doi.org/10.1007/978-3-540-75454-1_22">10.1007/978-3-540-75454-1_22</a> Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” In <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, 4763:304–19. Springer, 2007. <a href="https://doi.org/10.1007/978-3-540-75454-1_22">https://doi.org/10.1007/978-3-540-75454-1_22</a>. D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i>, Salzburg, Austria, 2007, vol. 4763, pp. 304–319. Nickovic, D., &#38; Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In <i>5th International Conference on Formal Modeling and Analysis of Timed Systems</i> (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. <a href="https://doi.org/10.1007/978-3-540-75454-1_22">https://doi.org/10.1007/978-3-540-75454-1_22</a> Nickovic D, Maler O. 2007. AMT: A property-based monitoring tool for analog systems. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 304–319. 43682018-12-11T12:08:30Z2025-07-01T13:02:22Z