{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:22:38Z","timestamp":1779074558266,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T00:00:00Z","timestamp":1341964800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0247-9","type":"journal-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T13:17:33Z","timestamp":1341926253000},"page":"247-268","source":"Crossref","is-referenced-by-count":93,"title":["Monitoring properties of analog and mixed-signal circuits"],"prefix":"10.1007","volume":"15","author":[{"given":"Oded","family":"Maler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,11]]},"reference":[{"issue":"1","key":"247_CR1","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur R., Feder T., Henzinger T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"key":"247_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Back to the future: towards a theory of timed regular languages. In: FOCS, pp. 177\u2013186 (1992)","DOI":"10.1109\/SFCS.1992.267774"},{"key":"247_CR3","doi-asserted-by":"crossref","unstructured":"Asarin, E., Donz\u00e9, A., Maler, O., Nickovic, D.: Parametric identification of temporal properties. In: RV (2011)","DOI":"10.1007\/978-3-642-29860-8_12"},{"key":"247_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: FSTTCS, pp. 260\u2013272 (2006)","DOI":"10.1007\/11944836_25"},{"issue":"2","key":"247_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10703-009-0076-y","volume":"36","author":"E.M. Clarke","year":"2010","unstructured":"Clarke E.M., Donz\u00e9 A., Legay A.: On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods Syst. Des. 36(2), 97\u2013113 (2010)","journal-title":"Formal Methods Syst. Des."},{"key":"247_CR6","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: TIME, pp. 166\u2013174 (2005)","DOI":"10.1109\/TIME.2005.26"},{"key":"247_CR7","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: CAV, pp. 167\u2013170 (2010)","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"247_CR8","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Bartocci, O.M.E., Nickovic, D., Grosu, R., Smolka, S.: On temporal logics and signal processing. In: AIVA (2012)","DOI":"10.1007\/978-3-642-33386-6_9"},{"key":"247_CR9","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Fanchon, E., Gattepaille, L.M., Maler, O.: Tracqui Philippe. Robustness analysis and behavior discrimination in enzymatic reaction networks. PLoS ONE 6(9), e24246, 09 (2011)","DOI":"10.1371\/journal.pone.0024246"},{"key":"247_CR10","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: FORMATS, pp. 92\u2013106 (2010)","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"247_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Souza, D., Tabareau, N.: On timed automata with input-determined guards. In: FORMATS\/FTRTFT, pp. 68\u201383 (2004)","DOI":"10.1007\/978-3-540-30206-3_7"},{"key":"247_CR12","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Girard, A., Pappas, G.J.: Temporal logic verification using simulation. In: FORMATS, pp. 171\u2013186 (2006)","DOI":"10.1007\/11867340_13"},{"key":"247_CR13","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications. In: FATES\/RV, pp. 178\u2013192 (2006)","DOI":"10.1007\/11940197_12"},{"issue":"42","key":"247_CR14","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"G.E. Fainekos","year":"2009","unstructured":"Fainekos G.E., Pappas G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"247_CR15","unstructured":"JESD79-2C: DDR2 SRAM Specification. Jedec Standard (2008)"},{"issue":"2","key":"247_CR16","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/s10703-009-0085-x","volume":"36","author":"K.D. Jones","year":"2010","unstructured":"Jones K.D., Konrad V., Nickovic D.: Analog property checkers: a DDR2 case study. Formal Methods Syst. Des. 36(2), 114\u2013130 (2010)","journal-title":"Formal Methods Syst. Des."},{"key":"247_CR17","doi-asserted-by":"crossref","unstructured":"Kossentini, C., Caspi, P.: Mixed delay and threshold voters in critical real-time systems. In: FORMATS\/FTRTFT, pp. 21\u201335 (2004)","DOI":"10.1007\/978-3-540-30206-3_4"},{"key":"247_CR18","doi-asserted-by":"crossref","unstructured":"Kossentini, C., Caspi, P.: Approximation, sampling and voting in hybrid computing systems. In: HSCC, pp. 363\u2013376 (2006)","DOI":"10.1007\/11730637_28"},{"issue":"4","key":"247_CR19","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"key":"247_CR20","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: FORMATS\/FTRTFT, pp. 152\u2013166 (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"247_CR21","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: From MITL to timed automata. In: FORMATS, pp. 274\u2013289 (2006)","DOI":"10.1007\/11867340_20"},{"key":"247_CR22","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Checking temporal properties of discrete, timed and continuous behaviors. In: Pillars of Computer Science, pp. 475\u2013505 (2008)","DOI":"10.1007\/978-3-540-78127-1_26"},{"key":"247_CR23","doi-asserted-by":"crossref","unstructured":"Mosterman, P.J.: An overview of hybrid simulation phenomena and their support by simulation packages. In: HSCC, pp. 165\u2013177 (1999)","DOI":"10.1007\/3-540-48983-5_17"},{"key":"247_CR24","doi-asserted-by":"crossref","unstructured":"Nickovic, D., Maler, O.: AMT: a property-based monitoring tool for analog systems. In: FORMATS, pp. 304\u2013319 (2007)","DOI":"10.1007\/978-3-540-75454-1_22"},{"key":"247_CR25","unstructured":"Sammane, G.A., Zaki, M.H., Dong, Z.J., Tahar, S.: Towards assertion based verification of analog and mixed signal designs using PSL. In: FDL, pp. 293\u2013298 (2007)"},{"key":"247_CR26","doi-asserted-by":"crossref","unstructured":"Schrammel, P., Jeannet, B.: From hybrid data-flow languages to hybrid automata: a complete translation. In: HSCC, pp. 167\u2013176 (2012)","DOI":"10.1145\/2185632.2185658"},{"key":"247_CR27","unstructured":"Verilog AMS 2.3.: Language Reference Manual. Accellera Systems Initiative (2008)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0247-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0247-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0247-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T18:58:44Z","timestamp":1743706724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0247-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,11]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["247"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0247-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,11]]}}}