{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:38:16Z","timestamp":1742981896961,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030906351"},{"type":"electronic","value":"9783030906368"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/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":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-90636-8_9","type":"book-chapter","created":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T09:02:36Z","timestamp":1636016556000},"page":"153-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Monitoring Distributed Component-Based Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0114-0641","authenticated-orcid":false,"given":"Yli\u00e8s","family":"Falcone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hosein","family":"Nazarpour","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"}]}],"member":"297","published-online":{"date-parts":[[2021,10,28]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-75632-5_1","volume-title":"Lectures on Runtime Verification","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 1\u201333. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-540-68855-6_8"},{"issue":"1\u20132","key":"9_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s10703-016-0253-8","volume":"48","author":"A Bauer","year":"2016","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1\u20132), 46\u201393 (2016). https:\/\/doi.org\/10.1007\/s10703-016-0253-8","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Model-based runtime analysis of distributed reactive systems. In: Proceedings of the Australian Software Engineering Conference (ASWEC 2006), pp. 243\u2013252. IEEE (2006)","DOI":"10.1109\/ASWEC.2006.36"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-32759-9_10","volume-title":"FM 2012: Formal Methods","author":"A Bauer","year":"2012","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 85\u2013100. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_10"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.scico.2014.02.013","volume":"98","author":"S Bensalem","year":"2015","unstructured":"Bensalem, S., Bozga, M., Quilbeuf, J., Sifakis, J.: Optimized distributed implementation of multiparty interactions with restriction. Sci. Comput. Program. 98, 293\u2013316 (2015)","journal-title":"Sci. Comput. Program."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-57666-4_9","volume-title":"Formal Aspects of Component Software","author":"S Bistarelli","year":"2017","unstructured":"Bistarelli, S., Martinelli, F., Matteucci, I., Santini, F.: A formal and run-time framework for the adaptation of local behaviours to match a global property. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 134\u2013152. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4_9"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 508\u2013522. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_39"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Quilbeuf, J.: Automated distributed implementation of component-based models with priorities. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, Part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, 9\u201314 October 2011, pp. 59\u201368. ACM (2011)","DOI":"10.1145\/2038642.2038654"},{"issue":"11\u201312","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.: The FRACTAL component model and its support in Java. Softw. Pract. Exp. 36(11\u201312), 1257\u20131284 (2006)","journal-title":"Softw. Pract. Exp."},{"issue":"1\u20132","key":"9_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10703-016-0251-x","volume":"49","author":"C Colombo","year":"2016","unstructured":"Colombo, C., Falcone, Y.: Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49(1\u20132), 109\u2013158 (2016). https:\/\/doi.org\/10.1007\/s10703-016-0251-x","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-27269-1_12","volume-title":"Formal Aspects of Component Software","author":"J Dormoy","year":"2012","unstructured":"Dormoy, J., Kouchnarenko, O., Lanoix, A.: Using temporal logic for dynamic reconfigurations of components. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol. 6921, pp. 200\u2013217. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27269-1_12"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Falcone, Y.: On the monitoring of decentralized specifications: semantics, properties, analysis, and simulation. ACM Trans. Softw. Eng. Methodol. 29(1), 1:1\u20131:57 (2020)","DOI":"10.1145\/3355181"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_5"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10009-016-0413-6","volume":"19","author":"Y Falcone","year":"2016","unstructured":"Falcone, Y., Jaber, M.: Fully automated runtime enforcement of component-based systems with formal and sound recovery. Int. J. Softw. Tools Technol. Transfer 19(3), 341\u2013365 (2016). https:\/\/doi.org\/10.1007\/s10009-016-0413-6","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2013","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., 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 (2013). https:\/\/doi.org\/10.1007\/s10270-013-0323-y","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s10009-021-00609-z","volume":"23","author":"Y Falcone","year":"2021","unstructured":"Falcone, Y., Krsti\u0107, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transfer 23(2), 255\u2013284 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00609-z","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-75632-5_4","volume-title":"Lectures on Runtime Verification","author":"Y Falcone","year":"2018","unstructured":"Falcone, Y., Mariani, L., Rollet, A., Saha, S.: Runtime failure prevention and reaction. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 103\u2013134. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_4"},{"issue":"1","key":"9_CR20","first-page":"56","volume":"10","author":"CJ Fidge","year":"1988","unstructured":"Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering. Austral. Comput. Sci. Commun. 10(1), 56\u201366 (1988)","journal-title":"Austral. Comput. Sci. Commun."},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-07602-7_15","volume-title":"Formal Aspects of Component Software","author":"O Kouchnarenko","year":"2014","unstructured":"Kouchnarenko, O., Weber, J.-F.: Adapting component-based systems at runtime via policies with temporal patterns. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 234\u2013253. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7_15"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-15317-9_7","volume-title":"Formal Aspects of Component Software","author":"O Kouchnarenko","year":"2015","unstructured":"Kouchnarenko, O., Weber, J.-F.: Decentralised evaluation of temporal patterns over component-based systems at runtime. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 108\u2013126. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15317-9_7"},{"issue":"7","key":"9_CR23","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"229","DOI":"10.3233\/FI-2021-2005","volume":"178","author":"I Lanese","year":"2021","unstructured":"Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay reversible semantics for message passing concurrent programs. Fundam. Informaticae 178(3), 229\u2013266 (2021)","journal-title":"Fundam. Informaticae"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: Rajamani, S.K., Walker, D. (eds.) Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, 15\u201317 January 2015, pp. 221\u2013232. ACM (2015)","DOI":"10.1145\/2676726.2676964"},{"key":"9_CR26","unstructured":"Massart, T., Meuter, C.: Efficient online monitoring of LTL properties for asynchronous distributed systems. Technical report, Universit\u00e9 Libre de Bruxelles (2006)"},{"issue":"23","key":"9_CR27","first-page":"215","volume":"1","author":"F Mattern","year":"1989","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. Parallel Distrib. Algorithms 1(23), 215\u2013226 (1989)","journal-title":"Parallel Distrib. Algorithms"},{"issue":"6","key":"9_CR28","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1007\/s00165-017-0422-6","volume":"29","author":"H Nazarpour","year":"2017","unstructured":"Nazarpour, H., Falcone, Y., Bensalem, S., Bozga, M.: Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29(6), 951\u2013986 (2017)","journal-title":"Formal Aspects Comput."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Nazarpour, H., Falcone, Y., Jaber, M., Bensalem, S., Bozga, M.: Monitoring distributed component-based systems. ArXiv e-prints (2017)","DOI":"10.1007\/978-3-319-33693-0_10"},{"key":"9_CR30","unstructured":"Runtime Verification (2001\u20132021). http:\/\/www.runtime-verification.org"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of the 26th International Conference on Software Engineering, pp. 418\u2013427. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"9_CR32","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Protocol Test Systems, VI, Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems, pp. 257\u2013276 (1993)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Triki, A., Combaz, J., Bensalem, S.: Optimized distributed implementation of timed component-based systems. In: 2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 30\u201335. IEEE (2015)","DOI":"10.1109\/MEMCOD.2015.7340464"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-90636-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:33:51Z","timestamp":1726061631000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-90636-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030906351","9783030906368"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-90636-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"28 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/facs2021.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1,7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}