{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T15:04:05Z","timestamp":1775315045378,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,10]]},"DOI":"10.1145\/3092703.3098224","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"372-375","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["THEMIS: a tool for decentralized monitoring algorithms"],"prefix":"10.1145","author":[{"given":"Antoine","family":"El-Hokayem","sequence":"first","affiliation":[{"name":"Grenoble Alpes University, France \/ Inria, France \/ CNRS, France \/ Laboratoire d'Informatique de Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[{"name":"Grenoble Alpes University, France \/ Inria, France \/ CNRS, France \/ Laboratoire d'Informatique de Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_1"},{"key":"e_1_3_2_1_2_1","volume-title":"35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (LIPIcs), Prahladh Harsha and G","author":"Basin David A.","unstructured":"David A. Basin , Felix Klaedtke , and Eugen Zalinescu . 2015. Failure-aware Runtime Verification of Distributed Systems . In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (LIPIcs), Prahladh Harsha and G . Ramalingam (Eds.), Vol. 45 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 590\u2013603. David A. Basin, Felix Klaedtke, and Eugen Zalinescu. 2015. Failure-aware Runtime Verification of Distributed Systems. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (LIPIcs), Prahladh Harsha and G. Ramalingam (Eds.), Vol. 45. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 590\u2013603."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0253-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_5_1","volume-title":"Decentralized Asynchronous Crash-Resilient Runtime Verification. In 27th International Conference on Concurrency Theory (CONCUR 2016)","volume":"59","author":"Bonakdarpour Borzoo","year":"2016","unstructured":"Borzoo Bonakdarpour , Pierre Fraigniaud , Sergio Rajsbaum , David A. Rosenblueth , and Corentin Travers . 2016 . Decentralized Asynchronous Crash-Resilient Runtime Verification. In 27th International Conference on Concurrency Theory (CONCUR 2016) (LIPIcs), Jos\u00e9e Desharnais and Radha Jagadeesan (Eds.) , Vol. 59 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 16:1\u201316:15. Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, and Corentin Travers. 2016. Decentralized Asynchronous Crash-Resilient Runtime Verification. In 27th International Conference on Concurrency Theory (CONCUR 2016) (LIPIcs), Jos\u00e9e Desharnais and Radha Jagadeesan (Eds.), Vol. 59. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 16:1\u201316:15."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0251-x"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_31"},{"key":"e_1_3_2_1_8_1","unstructured":"Springer 442\u2013445.  Springer 442\u2013445."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092723"},{"key":"e_1_3_2_1_10_1","volume-title":"https: \/\/gitlab.inria.fr\/monitoring\/themis","author":"El-Hokayem Antoine","year":"2017","unstructured":"Antoine El-Hokayem and Yli\u00e8s Falcone . 2017. THEMIS Website . ( 2017 ). https: \/\/gitlab.inria.fr\/monitoring\/themis . Antoine El-Hokayem and Yli\u00e8s Falcone. 2017. THEMIS Website. (2017). https: \/\/gitlab.inria.fr\/monitoring\/themis."},{"key":"e_1_3_2_1_11_1","volume-title":"Engineering Dependable Software Systems, Manfred Broy, Doron a","author":"Falcone Yli\u00e8s","unstructured":"Yli\u00e8s Falcone , Klaus Havelund , and Giles Reger . 2013. A Tutorial on Runtime Verification . In Engineering Dependable Software Systems, Manfred Broy, Doron a . Peled, and Georg Kalus (Eds.). NATO science for peace and security series, Vol. 34 . IOS press , 141\u2013175. Yli\u00e8s Falcone, Klaus Havelund, and Giles Reger. 2013. A Tutorial on Runtime Verification. In Engineering Dependable Software Systems, Manfred Broy, Doron a. Peled, and Georg Kalus (Eds.). NATO science for peace and security series, Vol. 34. IOS press, 141\u2013175."},{"key":"e_1_3_2_1_12_1","volume-title":"An Overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming, 15th European Conference (Lecture Notes in Computer Science), J\u00f8rgen Lindskov Knudsen (Ed.)","volume":"2072","author":"Kiczales Gregor","unstructured":"Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , and William G. Griswold . 2001 . An Overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming, 15th European Conference (Lecture Notes in Computer Science), J\u00f8rgen Lindskov Knudsen (Ed.) , Vol. 2072 . Springer, 327\u2013353. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. 2001. An Overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming, 15th European Conference (Lecture Notes in Computer Science), J\u00f8rgen Lindskov Knudsen (Ed.), Vol. 2072. Springer, 327\u2013353."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098224","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3098224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3098224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":15,"alternative-id":["10.1145\/3092703.3098224","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3098224","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}