{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:37:21Z","timestamp":1725856641620},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_10","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T05:35:47Z","timestamp":1464068147000},"page":"141-159","source":"Crossref","is-referenced-by-count":6,"title":["Monitoring Multi-threaded Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Hosein","family":"Nazarpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"10_CR2","first-page":"3","volume":"2006","author":"A Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. SEFM 2006, 3\u201312 (2006)","journal-title":"SEFM"},{"issue":"3","key":"10_CR3","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20(3), 651\u2013674 (2010)","journal-title":"J. Log. Comput."},{"key":"10_CR4","first-page":"85","volume":"2012","author":"AK Bauer","year":"2012","unstructured":"Bauer, A.K., Falcone, Y.: Decentralised LTL monitoring. FM 2012, 85\u2013100 (2012)","journal-title":"FM"},{"key":"10_CR5","first-page":"1025","volume":"2013","author":"S Berkovich","year":"2013","unstructured":"Berkovich, S., Bonakdarpour, B., Fischmeister, S.: GPU-based runtime verification. IPDPS 2013, 1025\u20131036 (2013)","journal-title":"IPDPS"},{"issue":"5","key":"10_CR6","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distrib. Comput. 25(5), 383\u2013409 (2012)","journal-title":"Distrib. Comput."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-662-43613-4_5","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Falcone","year":"2014","unstructured":"Falcone, Y., Cornebize, T., Fernandez, J.-C.: Efficient and generalized decentralized monitoring of regular languages. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 66\u201383. Springer, Heidelberg (2014)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J., Mounier, L.: What can you verify and enforce at runtime? STTT 14(3), 349\u2013382 (2012)","journal-title":"STTT"},{"issue":"1","key":"10_CR9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Jaber, M., Nguyen, T., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1), 173\u2013199 (2015)","journal-title":"Softw. Syst. Model."},{"key":"10_CR10","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, New York (1989)"},{"key":"10_CR11","first-page":"494","volume":"2015","author":"M Mostafa","year":"2015","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. IPDPS 2015, 494\u2013503 (2015)","journal-title":"IPDPS"},{"key":"10_CR12","unstructured":"Nazarpour, H.: Runtime Verification of Multi-Threaded BIP. http:\/\/www-verimag.imag.fr\/~nazarpou\/rvmt.html"},{"key":"10_CR13","unstructured":"Nazarpour, H., Falcone, Y., Bensalem, S., Bozga, M., Combaz, J.: Monitoring multi-threaded component-based systems. Technical Report TR-2015-5, Verimag Research Report (2015). http:\/\/www-verimag.imag.fr\/TR\/TR-2015-5.pdf"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-540-27860-3_17","volume-title":"Principles of Distributed Systems","author":"A Sen","year":"2004","unstructured":"Sen, A., Garg, V.: Detecting temporal logic predicates in distributed programs using computation slicing. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol. 3144, pp. 171\u2013183. Springer, Heidelberg (2004)"},{"issue":"4","key":"10_CR15","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1109\/TC.2007.1011","volume":"56","author":"A Sen","year":"2007","unstructured":"Sen, A., Garg, V.K.: Formal verification of simulation traces using computation slicing. IEEE Trans. Comput. 56(4), 511\u2013527 (2007)","journal-title":"IEEE Trans. Comput."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Decentralized runtime analysis of multithreaded applications. In: Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDpPS 2006), 25\u201329 April 2006, Rhodes Island, Greece, IEEE (2006)","DOI":"10.1109\/IPDPS.2006.1639591"},{"issue":"2","key":"10_CR17","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1006\/jpdc.1996.1298","volume":"41","author":"AI Tomlinson","year":"1997","unstructured":"Tomlinson, A.I., Garg, V.K.: Monitoring functions on global states of distributed programs. J. Parall. Distrib. Comput. 41(2), 173\u2013189 (1997)","journal-title":"J. Parall. Distrib. Comput."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:43:51Z","timestamp":1498315431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}