{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T08:34:19Z","timestamp":1789547659884,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111636","type":"print"},{"value":"9783319111643","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_9","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T07:49:11Z","timestamp":1410508151000},"page":"92-107","source":"Crossref","is-referenced-by-count":19,"title":["On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Fraigniaud","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergio","family":"Rajsbaum","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Corentin","family":"Travers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1145\/153724.153741","volume":"40","author":"Y. Afek","year":"1993","unstructured":"Afek, Y., Attiya, H., Dolev, D., Gafni, E., Merritt, M., Shavit, N.: Atomic snapshots of shared memory. J. ACM\u00a040(4), 873\u2013890 (1993)","journal-title":"J. ACM"},{"key":"9_CR2","unstructured":"Arafat, O., Bauer, A., Leucker, M., Schallhart, C.: Runtime verification revisited. Technical Report TUM-I0518, Technischen Universit\u00e4t M\u00fcnchen (2005)"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1286","DOI":"10.1137\/S0097539797330689","volume":"31","author":"H. Attiya","year":"2002","unstructured":"Attiya, H., Rajsbaum, S.: The Combinatorial Structure of Wait-Free Solvable Tasks. SIAM J. Comput.\u00a031(4), 1286\u20131313 (2002)","journal-title":"SIAM J. Comput."},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210","volume-title":"Distributed computing: fundamentals, simulations and advanced topics","author":"H. Attiya","year":"2004","unstructured":"Attiya, H., Welch, J.L.: Distributed computing: fundamentals, simulations and advanced topics. Wiley, USA (2004)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Awerbuch, B., Varghese, G.: Distributed Program Checking: A Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract). In: SFCS, pp. 258\u2013267. IEEE (1991)","DOI":"10.1109\/SFCS.1991.185377"},{"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.\u00a07436, pp. 85\u2013100. Springer, Heidelberg (2012)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","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. and Comput.\u00a020(3), 651\u2013674 (2010)","journal-title":"J. Log. and Comput."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Berkovich, S., Bonakdarpour, B., Fischmeister, S.: Gpu-based runtime verification. In: IPDPS, pp. 1025\u20131036. IEEE (2013)","DOI":"10.1109\/IPDPS.2013.105"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-21437-0_9","volume-title":"FM 2011: Formal Methods","author":"B. Bonakdarpour","year":"2011","unstructured":"Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Sampling-based runtime verification. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 88\u2013102. Springer, Heidelberg (2011)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-642-19835-9_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Burnim","year":"2011","unstructured":"Burnim, J., Sen, K., Stergiou, C.: Sound and complete monitoring of sequential consistency for relaxed memory models. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 11\u201325. Springer, Heidelberg (2011)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst.\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Chauhan, H., Garg, V.K., Natarajan, A., Mittal, N.: A distributed abstraction algorithm for online predicate detection. In: SRDS, pp. 101\u2013110. IEEE (2013)","DOI":"10.1109\/SRDS.2013.19"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. In: Workshop on Parallel and Distributed Debugging, pp. 167\u2013174. ACM Press (1991)","DOI":"10.1145\/127695.122774"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM\u00a032(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Fraigniaud, P., Korman, A., Peleg, D.: Local distributed decision. In: FOCS, pp. 708\u2013717. IEEE (2011)","DOI":"10.1109\/FOCS.2011.17"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s00446-013-0188-x","volume":"26","author":"P. Fraigniaud","year":"2013","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: Locality and checkability in wait-free computing. Distributed Computing\u00a026(4), 223\u2013242 (2013)","journal-title":"Distributed Computing"},{"key":"9_CR18","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems Technical report #hal-01011079 (2014), http:\/\/hal.inria.fr\/hal-01011079"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/11813040_37","volume-title":"FM 2006: Formal Methods","author":"A. Genon","year":"2006","unstructured":"Genon, A., Massart, T., Meuter, C.: Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 557\u2013572. Springer, Heidelberg (2006)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Ha, J., Arnold, M., Blackburn, S.M., McKinley, K.S.: A concurrent dynamic analysis framework for multicore hardware. In: OOPSLA, pp. 155\u2013174. ACM (2009)","DOI":"10.1145\/1639949.1640101"},{"key":"9_CR21","unstructured":"Henle, M.: A Combinatorial Introduction to Topology. Dover (1983)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Kozlov, D., Rajsbaum, S.: Distributed Computing Through Combinatorial Topology. Morgan Kaufmann-Elsevier (2013)","DOI":"10.1016\/B978-0-12-404578-1.00003-6"},{"issue":"6","key":"9_CR23","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1145\/331524.331529","volume":"46","author":"M. Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The topological structure of asynchronous computability. J. ACM\u00a046(6), 858\u2013923 (1999)","journal-title":"J. ACM"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O. Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Form. Methods Syst. Des.\u00a019(3), 291\u2013314 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Raynal, M.: Concurrent Programming - Algorithms, Principles, and Foundations. Springer (2013)","DOI":"10.1007\/978-3-642-32027-9"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ICSE, pp. 418\u2013427. IEEE (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Decentralized runtime analysis of multithreaded applications. In: IPDPS. IEEE (2006)","DOI":"10.1109\/IPDPS.2006.1639591"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Zhu, H., Dwyer, M.B., Goddard, S.: Predictable runtime monitoring. In: ECRTS, pp. 173\u2013183. IEEE (2009)","DOI":"10.1109\/ECRTS.2009.23"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:05:14Z","timestamp":1746374714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}