{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T04:50:11Z","timestamp":1749271811789,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s10766-020-00689-5","type":"journal-article","created":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T17:02:32Z","timestamp":1609520552000},"page":"104-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing"],"prefix":"10.1007","volume":"49","author":[{"given":"Raphael","family":"Beamonte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1435-6297","authenticated-orcid":false,"given":"Naser","family":"Ezzati-Jivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel R.","family":"Dagenais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,1]]},"reference":[{"key":"689_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Bergue\u00f1o, A., Larsen, K. G.: Model checking via reachability testing for timed automata. In: B.\u00a0Steffen (Ed.) Proceedings of the 4th international workshop on tools and algorithms for the construction and analysis of systems, series LNCS, vol. 1384. Gulbenkian Foundation, Lisbon , Portugal: Springer, pp. 263\u2013280 (1998)","DOI":"10.1007\/BFb0054177"},{"key":"689_CR2","doi-asserted-by":"crossref","unstructured":"Beamonte, R., Dagenais, M.R.: Detection of common problems in real-time and multi-core systems using model-based constraints. Sci. Program. 2016, article ID 9792462 (2016)","DOI":"10.1155\/2016\/9792462"},{"key":"689_CR3","unstructured":"Ezust, S.\u00a0A.: Tango: the trace analysis generator. Master\u2019s thesis, McGill University, Qu\u00e9bec, Canada (1995)"},{"key":"689_CR4","doi-asserted-by":"crossref","unstructured":"Ezust, S.\u00a0A., Bochmann, G.\u00a0V.: An automatic trace analysis tool generator for estelle specifications. In: Proceedings of ACM SIGCOMM 95 conference, pp. 25\u20134 (1995)","DOI":"10.1145\/217382.217428"},{"issue":"8","key":"689_CR5","doi-asserted-by":"publisher","first-page":"1243","DOI":"10.1109\/TCAD.2004.831575","volume":"23","author":"X Chen","year":"2004","unstructured":"Chen, X., Harry, H., Balarin, F., Watanabe, Y.: Logic of constraints: a quantitative performance and functional constraint formalism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8), 1243\u20131255 (2004)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"6","key":"689_CR6","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1002\/cpe.1556","volume":"22","author":"M Geimer","year":"2010","unstructured":"Geimer, M., Wolf, F., Wylie, B.J.N., \u00c1brah\u00e1m, E., Becker, D., Mohr, B.: The scalasca performance toolset architecture. Concurr. Comput. Pract. Exp. 22(6), 702\u2013719 (2010)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"689_CR7","doi-asserted-by":"crossref","unstructured":"Peiris, T.\u00a0M., Hill, J.\u00a0H.: Adapting system execution traces for validation of distributed system QoS properties. In: IEEE 15th international symposium on object\/component\/service-oriented real-time distributed computing (ISORC), IEEE. IEEE, pp. 162\u2013171 (2012)","DOI":"10.1109\/ISORC.2012.29"},{"key":"689_CR8","unstructured":"The Eclipse Foundation, Trace Compass, 2014. [Online]. https:\/\/projects.eclipse.org\/proposals\/trace-compass"},{"key":"689_CR9","doi-asserted-by":"crossref","unstructured":"Beschastnikh, I., Brun, Y., Ernst, M.D., Krishnamurthy, A.: Inferring models of concurrent systems from logs of their behavior with csight. In: Proceedings of the 36th international conference on software engineering, series ICSE 2014. New York: ACM, pp. 468\u2013479 (2014)","DOI":"10.1145\/2568225.2568246"},{"key":"689_CR10","unstructured":"Waly, H.: Automated fault identification: Kernel trace analysis. Master\u2019s thesis, Universit\u00e9 Laval, Qu\u00e9bec, Canada (2011)"},{"key":"689_CR11","first-page":"698","volume":"2015","author":"K Kouame","year":"2015","unstructured":"Kouame, K., Ezzati-Jivan, N., Dagenais, M.R.: A flexible data-driven approach for execution trace filtering. IEEE Int. Congr. Big Data 2015, 698\u2013703 (2015)","journal-title":"IEEE Int. Congr. Big Data"},{"issue":"1","key":"689_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11219-016-9311-0","volume":"25","author":"F Wininger","year":"2017","unstructured":"Wininger, F., Ezzati-Jivan, N., Dagenais, M.R.: A declarative framework for stateful analysis of execution traces. Softw. Qual. J. 25(1), 201\u2013229 (2017). https:\/\/doi.org\/10.1007\/s11219-016-9311-0","journal-title":"Softw. Qual. J."},{"key":"689_CR13","doi-asserted-by":"crossref","unstructured":"L\u00f3pez\u00a0Cueva, P., Bertaux, A., Termier, A., M\u00e9haut, J.\u00a0F., Santana, M.: Debugging embedded multimedia application traces through periodic pattern mining. In: Proceedings of the tenth ACM international conference on embedded software. New York: ACM, pp. 13\u201322 (2012)","DOI":"10.1145\/2380356.2380366"},{"key":"689_CR14","unstructured":"Ma, S., Hellerstein, J.\u00a0L.: Mining partially periodic event patterns with unknown periods. In: Proceedings of the 17th international conference on data engineering, pp. 205\u2013214 (2001)"},{"issue":"3","key":"689_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1009748302351","volume":"1","author":"H Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H., Inkeri Verkamo, A.: Discovery of frequent episodes in event sequences. Data Min. Knowl. Discov. 1(3), 259\u2013289 (1997)","journal-title":"Data Min. Knowl. Discov."},{"key":"689_CR16","doi-asserted-by":"crossref","unstructured":"Preissl, R., K\u00f6ckerbauer, T., Schulz, M., Kranzlm\u00fcller, D., Supinski, B.\u00a0R. D., Quinlan, D.\u00a0J.: Detecting patterns in mpi communication traces. In: Proceedings of the 37th international conference on parallel processing, pp. 230\u2013237 (2008)","DOI":"10.1109\/ICPP.2008.71"},{"key":"689_CR17","doi-asserted-by":"crossref","unstructured":"Alawneh, L., Hamou-Lhadj, A.: Pattern recognition techniques applied to the abstraction of traces of inter-process communication. In: Proceedings of the 15th European conference on software maintenance and reengineering (CSMR), pp. 211\u2013220 (2011)","DOI":"10.1109\/CSMR.2011.27"},{"key":"689_CR18","doi-asserted-by":"crossref","unstructured":"Pr\u00e4hofer, H., Schatz, R., Grimmer, A.: Behavioral model synthesis of plc programs from execution traces. In: Proceedings of the 2014 IEEE emerging technology and factory automation (ETFA), pp. 1\u20135 (2014)","DOI":"10.1109\/ETFA.2014.7005259"},{"key":"689_CR19","doi-asserted-by":"crossref","unstructured":"Terrasa, A., Bernat, G.: Extracting temporal properties from real-time systems by automatic tracing analysis. In: Chen, J., Hong, S. (eds.) Real-time and embedded computing systems and applications, series of lecture notes in computer science. Berlin, Heidelberg: Springer, vol. 2968, ch.\u00a029, pp. 466\u2013485 (2004)","DOI":"10.1007\/978-3-540-24686-2_29"},{"key":"689_CR20","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1214\/aoms\/1177729885","volume":"21","author":"FE Grubbs","year":"1950","unstructured":"Grubbs, F.E.: Sample criteria for testing outlying observations. Ann. Math. Stat. 21, 27\u201358 (1950)","journal-title":"Ann. Math. Stat."},{"key":"689_CR21","unstructured":"Jenks, G.\u00a0F.: The data model concept in statistical mapping. In: Frenzel, K. (ed.) International yearbook of cartography, vol.\u00a07, ICA. USA: Rand McNally & Co, pp. 186+ (1967)"},{"key":"689_CR22","unstructured":"Silverman, B.\u00a0W.: Density estimation for statistics and data analysis. In: Series of Chapman and Hall\/CRC monographs on statistics and applied probability. Taylor & Francis (1986)"},{"issue":"3","key":"689_CR23","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BF01206331","volume":"14","author":"E Ukkonen","year":"1995","unstructured":"Ukkonen, E.: On-line construction of suffix trees. Algorithmica 14(3), 249\u2013260 (1995). https:\/\/doi.org\/10.1007\/BF01206331","journal-title":"Algorithmica"},{"key":"689_CR24","unstructured":"Gray, J.\u00a0E.: II, Longest Repeated Substring (#153), 2008. [Online]. http:\/\/rubyquiz.com\/quiz153.html"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-020-00689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-020-00689-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-020-00689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:11:20Z","timestamp":1697476280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-020-00689-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["689"],"URL":"https:\/\/doi.org\/10.1007\/s10766-020-00689-5","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2021,1,1]]},"assertion":[{"value":"18 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}