{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:22:57Z","timestamp":1769750577035,"version":"3.49.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,12,29]],"date-time":"2010-12-29T00:00:00Z","timestamp":1293580800000},"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":[[2012,6]]},"DOI":"10.1007\/s10009-010-0184-4","type":"journal-article","created":{"date-parts":[[2010,12,28]],"date-time":"2010-12-28T09:32:36Z","timestamp":1293528756000},"page":"327-347","source":"Crossref","is-referenced-by-count":42,"title":["Software monitoring with controllable overhead"],"prefix":"10.1007","volume":"14","author":[{"given":"Xiaowan","family":"Huang","sequence":"first","affiliation":[]},{"given":"Justin","family":"Seyster","sequence":"additional","affiliation":[]},{"given":"Sean","family":"Callanan","sequence":"additional","affiliation":[]},{"given":"Ketan","family":"Dixit","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[]},{"given":"Erez","family":"Zadok","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,12,29]]},"reference":[{"key":"184_CR1","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/3-540-60045-0_57","volume-title":"7th International Conference On Computer Aided Verification, vol. 939","author":"A. Aziz","year":"1995","unstructured":"Aziz A., Balarin F., Brayton R.K., Dibenedetto M.D., Sladanha A., Sangiovanni-Vincentelli A.L.: Supervisory control of finite state machines. In: Wolper, P. (eds) 7th International Conference On Computer Aided Verification, vol. 939, pp. 279\u2013292. Springer Liege, Belgium (1995)"},{"issue":"2","key":"184_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"184_CR3","doi-asserted-by":"crossref","unstructured":"Arnold, M., Vechev, M., Yahav. E.: QVM: An efficient runtime for detecting defects in deployed systems. In: Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, Nashville, TN (2008)","DOI":"10.1145\/1449764.1449776"},{"key":"184_CR4","doi-asserted-by":"crossref","unstructured":"Callanan, S., Dean, D.J., Gorbovitski, M., Grosu, R. Seyster, J., Smolka, S.A., Stoller, S.D., Zadok, E.: Software monitoring with bounded overhead. In: Proceedings of the 2008 NSF Next Generation Software Workshop, in conjunction with the 2008 International Parallel and Distributed Processing Symposium (IPDPS 2008), Miami (2008)","DOI":"10.1109\/IPDPS.2008.4536433"},{"key":"184_CR5","unstructured":"Callanan, S., Dean, D.J., Zadok, E.: Extending GCC with modular GIMPLE optimizations. In: Proceedings of the 2007 GCC Developers\u2019 Summit, Ottawa (2007)"},{"key":"184_CR6","unstructured":"Cantrill, B., Shapiro, M.W., Leventhal, A.H.: Dynamic instrumentation of production systems. In: Proceedings of the Annual USENIX Technical Conference, pp. 15\u201328 (2004)"},{"key":"184_CR7","unstructured":"Fei, L., Midkiff, S.P.: Artemis: Practical runtime monitoring of applications for errors. Technical report TR-ECE-05-02. Electrical and Computer Engineering, Purdue University. http:\/\/docs.lib.purdue.edu\/ecetr\/4\/ (2005)"},{"key":"184_CR8","doi-asserted-by":"crossref","unstructured":"Fei, L., Midkiff, S.P.: Artemis: Practical runtime monitoring of applications for execution anomalies. In: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201906), Ottawa, Canada (2006)","DOI":"10.1145\/1133981.1133992"},{"key":"184_CR9","volume-title":"Digital Control of Dynamic Systems, Third Edition","author":"G.F. Franklin","year":"1998","unstructured":"Franklin G.F., Powell J.D., Workman M.: Digital Control of Dynamic Systems, Third Edition. Addison Wesley Longman, Inc, Boston (1998)"},{"key":"184_CR10","doi-asserted-by":"crossref","unstructured":"Hauswirth, M., Chilimbi, T.M.: Low-overhead memory leak detection using adaptive statistical profiling. In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004), pp. 156\u2013164 (2004)","DOI":"10.1145\/1024393.1024412"},{"issue":"4","key":"184_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","volume":"34","author":"J.L. Henning","year":"2006","unstructured":"Henning J.L.: SPEC CPU2006 benchmark descriptions. Comput. Archit. News 34(4), 1\u201317 (2006)","journal-title":"Comput. Archit. News"},{"key":"184_CR12","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare C.A.R.: Communicating sequential processes. Commun. ACM 21, 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"184_CR13","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201903), San Diego (2003)","DOI":"10.1145\/781147.781148"},{"key":"184_CR14","unstructured":"Moore, R.: A universal dynamic trace for Linux and other operating systems. In: Proceedings of the 2001 USENIX Annual Technical Conference (2001)"},{"issue":"1","key":"184_CR15","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge P.J., Wonham W.M.: Supervisory control of a class of discrete event systems. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"issue":"2","key":"184_CR16","first-page":"329","volume":"38","author":"P.J. Ramadge","year":"1994","unstructured":"Ramadge P.J., Wonham W.M.: Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 38(2), 329\u2013342 (1994)","journal-title":"IEEE Trans. Autom. Control"},{"key":"184_CR17","doi-asserted-by":"crossref","unstructured":"Seward, J., Nethercote, N., Fitzhardinge, J.: Valgrind. http:\/\/valgrind.kde.org (2004)","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"184_CR18","unstructured":"Wang, Q.-G., Ye, Z., Cai, W.-J., Hang, C.-C.: PID control for multivariable processes. Lecture Notes in Control and Information Sciences. Springer, Berlin (2008)"},{"key":"184_CR19","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proceeedings of 30th Conference on Decision and Control, pp. 1527\u20131528, Brighton (1991)","DOI":"10.21236\/ADA325997"}],"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-010-0184-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0184-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0184-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T10:15:53Z","timestamp":1559902553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0184-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,29]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["184"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0184-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,29]]}}}