{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T15:04:06Z","timestamp":1775315046161,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"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.3092723","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"125-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Monitoring decentralized specifications"],"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_2_1_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.124.9"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_1"},{"key":"e_1_3_2_2_3_1","volume-title":"Failure-aware Runtime Verification of Distributed Systems. In 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015","volume":"45","author":"Basin David A.","year":"2015","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 , December 16-18, 2015, Bangalore, India (LIPIcs), Prahladh Harsha and G. Ramalingam (Eds.) , Vol. 45 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 590\u2013603. DOI:http:\/\/dx. 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, December 16-18, 2015, Bangalore, India (LIPIcs), Prahladh Harsha and G. Ramalingam (Eds.), Vol. 45. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 590\u2013603. DOI:http:\/\/dx."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Borzoo Bonakdarpour Pierre Fraigniaud Sergio Rajsbaum and Corentin Travers. 2016. Challenges in Fault-Tolerant Distributed Runtime Verification See {23} 363\u2013370. DOI:http:\/\/dx.  Borzoo Bonakdarpour Pierre Fraigniaud Sergio Rajsbaum and Corentin Travers. 2016. Challenges in Fault-Tolerant Distributed Runtime Verification See {23} 363\u2013370. DOI:http:\/\/dx.","DOI":"10.1007\/978-3-319-47169-3_27"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70575-8_3"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0251-x"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2012.220"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.02.052"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32621-9_5"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_31"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098224"},{"key":"e_1_3_2_2_14_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_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939410"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43613-4_5"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0196-8"},{"key":"e_1_3_2_2_18_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, d: information and communication security, Vol. 34 . ios press, 141\u2013175. DOI: http:\/\/dx. 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, d: information and communication security, Vol. 34. ios press, 141\u2013175. DOI: http:\/\/dx."},{"key":"e_1_3_2_2_19_1","volume-title":"Griswold","author":"Kiczales Gregor","year":"2001","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, Budapest, Hungary, June 18-22, 2001, Proceedings (Lecture Notes in Computer Science), J\u00f8rgen Lindskov Knudsen (Ed.), Vol. 2072 . Springer , 327\u2013353. DOI:http:\/\/dx. 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, Budapest, Hungary, June 18-22, 2001, Proceedings (Lecture Notes in Computer Science), J\u00f8rgen Lindskov Knudsen (Ed.), Vol. 2072. Springer, 327\u2013353. DOI:http:\/\/dx."},{"key":"e_1_3_2_2_20_1","volume-title":"11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. IEEE Computer Society, 114\u2013122","author":"Kim Moonjoo","year":"1999","unstructured":"Moonjoo Kim , Mahesh Viswanathan , Han\u00eane Ben-Abdallah , Sampath Kannan , Insup Lee , and Oleg Sokolsky . 1999 . Formally specified monitoring of temporal properties . In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. IEEE Computer Society, 114\u2013122 . DOI: http:\/\/dx. Moonjoo Kim, Mahesh Viswanathan, Han\u00eane Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky. 1999. Formally specified monitoring of temporal properties. In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. IEEE Computer Society, 114\u2013122. DOI: http:\/\/dx."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Martin Leucker Malte Schmitz and Danilo \u00e0 Tellinghusen. 2016. Runtime Verification for Interconnected Medical Devices See {23} 380\u2013387. DOI:http: \/\/dx.  Martin Leucker Malte Schmitz and Danilo \u00e0 Tellinghusen. 2016. Runtime Verification for Interconnected Medical Devices See {23} 380\u2013387. DOI:http: \/\/dx.","DOI":"10.1007\/978-3-319-47169-3_29"},{"key":"e_1_3_2_2_23_1","volume-title":"Imperial","volume":"9953","author":"Margaria Tiziana","year":"2016","unstructured":"Tiziana Margaria and Bernhard Steffen ( Eds .). 2016 . Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016 , Imperial , Corfu, Greece , October 10-14, 2016, Proceedings, Part II. Lecture Notes in Computer Science, Vol. 9953 . DOI: http:\/\/dx. Tiziana Margaria and Bernhard Steffen (Eds.). 2016. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Lecture Notes in Computer Science, Vol. 9953. DOI: http:\/\/dx."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_38"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961843"},{"key":"e_1_3_2_2_27_1","unstructured":"6961843  6961843"},{"key":"e_1_3_2_2_28_1","volume-title":"Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering (ICSE 2004)","author":"Sen Koushik","year":"2004","unstructured":"Koushik Sen , Abhay Vardhan , Gul Agha , and Grigore Rosu . 2004 . Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering (ICSE 2004) , 23-28 May 2004, Edinburgh, United Kingdom, Anthony Finkelstein, Jacky Estublier, and David S. Rosenblum (Eds.). IEEE Computer Society, 418\u2013427. DOI:http:\/\/dx. Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. 2004. Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, Anthony Finkelstein, Jacky Estublier, and David S. Rosenblum (Eds.). IEEE Computer Society, 418\u2013427. DOI:http:\/\/dx."},{"key":"e_1_3_2_2_29_1","volume-title":"SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings (Lecture Notes in Computer Science), Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.)","volume":"6976","author":"Shapiro Marc","year":"2011","unstructured":"Marc Shapiro , Nuno M. Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011 . Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium , SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings (Lecture Notes in Computer Science), Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.) , Vol. 6976 . Springer, 386\u2013400. DOI: http:\/\/dx. Marc Shapiro, Nuno M. Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings (Lecture Notes in Computer Science), Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.), Vol. 6976. Springer, 386\u2013400. DOI: http:\/\/dx."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773579.2773774"},{"key":"e_1_3_2_2_31_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.3092723","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:26Z","timestamp":1750217846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":31,"alternative-id":["10.1145\/3092703.3092723","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092723","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"}}]}}