{"id":"https://openalex.org/W2735493790","doi":"https://doi.org/10.1145/3092703.3092723","title":"Monitoring decentralized specifications","display_name":"Monitoring decentralized specifications","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735493790","doi":"https://doi.org/10.1145/3092703.3092723","mag":"2735493790"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3092723","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01653725/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013369801","display_name":"Antoine El-Hokayem","orcid":"https://orcid.org/0000-0003-2925-0540"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Antoine El-Hokayem","raw_affiliation_strings":["Grenoble Alpes University, France / Inria, France / CNRS, France / Laboratoire d'Informatique de Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grenoble Alpes University, France / Inria, France / CNRS, France / Laboratoire d'Informatique de Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037726232","display_name":"Yl\u00ec\u00e8s Falcone","orcid":"https://orcid.org/0000-0002-0114-0641"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yli\u00e8s Falcone","raw_affiliation_strings":["Grenoble Alpes University, France / Inria, France / CNRS, France / Laboratoire d'Informatique de Grenoble, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grenoble Alpes University, France / Inria, France / CNRS, France / Laboratoire d'Informatique de Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.766,"has_fulltext":true,"cited_by_count":31,"citation_normalized_percentile":{"value":0.93509513,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7863787412643433},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7311676740646362},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6416406035423279},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6275121569633484},{"id":"https://openalex.org/keywords/decentralised-system","display_name":"Decentralised system","score":0.5102148056030273},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.41201555728912354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27951592206954956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2163887321949005},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.1510637402534485},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08182469010353088}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7863787412643433},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7311676740646362},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6416406035423279},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6275121569633484},{"id":"https://openalex.org/C205875254","wikidata":"https://www.wikidata.org/wiki/Q17156857","display_name":"Decentralised system","level":3,"score":0.5102148056030273},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.41201555728912354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27951592206954956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2163887321949005},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.1510637402534485},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08182469010353088}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3092703.3092723","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3092723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01653725v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01653725","pdf_url":"https://hal.science/hal-01653725/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-01653727v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01653727","pdf_url":"https://hal.science/hal-01653727/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01653725v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01653725","pdf_url":"https://hal.science/hal-01653725/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2735493790.pdf","grobid_xml":"https://content.openalex.org/works/W2735493790.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W31818994","https://openalex.org/W35895474","https://openalex.org/W1494752912","https://openalex.org/W1516319412","https://openalex.org/W1584489325","https://openalex.org/W1588348445","https://openalex.org/W1610570299","https://openalex.org/W1616264825","https://openalex.org/W1989217955","https://openalex.org/W1999413985","https://openalex.org/W2020063716","https://openalex.org/W2021569683","https://openalex.org/W2027769154","https://openalex.org/W2031188261","https://openalex.org/W2036862954","https://openalex.org/W2043996829","https://openalex.org/W2045271686","https://openalex.org/W2070023605","https://openalex.org/W2101623441","https://openalex.org/W2115965729","https://openalex.org/W2153385696","https://openalex.org/W2160614176","https://openalex.org/W2160767434","https://openalex.org/W2207666193","https://openalex.org/W2293637521","https://openalex.org/W2374477971","https://openalex.org/W2407790672","https://openalex.org/W2528230853","https://openalex.org/W2528584813","https://openalex.org/W2529854161","https://openalex.org/W2604968291","https://openalex.org/W2735820172","https://openalex.org/W2952567897","https://openalex.org/W3016163793","https://openalex.org/W3103399300","https://openalex.org/W3104827919","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1603736412","https://openalex.org/W4304185162","https://openalex.org/W2061685118","https://openalex.org/W3006282800","https://openalex.org/W2462100143","https://openalex.org/W1770503332","https://openalex.org/W3125207769","https://openalex.org/W2577825108","https://openalex.org/W2949684406","https://openalex.org/W2140728006"],"abstract_inverted_index":{"We":[0,78,91],"define":[1],"two":[2],"complementary":[3],"approaches":[4,98],"to":[5,96],"monitor":[6],"decentralized":[7,65,80,89,119],"systems.":[8],"The":[9,61],"first":[10],"relies":[11],"on":[12],"those":[13],"with":[14],"a":[15,37,84,101,114],"centralized":[16],"specification,":[17],"i.e,":[18],"when":[19],"the":[20,25,28,44,76],"specification":[21],"is":[22,113],"written":[23],"for":[24,72,87,103,116],"behavior":[26],"of":[27,43,46,75],"entire":[29],"system.":[30,77],"To":[31],"do":[32],"so,":[33],"our":[34,97,110],"approach":[35,63],"introduces":[36],"data-structure":[38],"that":[39],"i)":[40],"keeps":[41],"track":[42],"execution":[45],"an":[47],"automaton,":[48],"ii)":[49],"has":[50],"predictable":[51],"parameters":[52],"and":[53,55,82,99,121],"size,":[54],"iii)":[56],"guarantees":[57],"strong":[58],"eventual":[59],"consistency.":[60],"second":[62],"defines":[64],"specifications":[66,69],"wherein":[67],"multiple":[68],"are":[70],"provided":[71],"separate":[73],"parts":[74],"study":[79],"monitorability,":[81],"present":[83],"general":[85],"algorithm":[86],"monitoring":[88],"specifications.":[90],"map":[92],"three":[93],"existing":[94],"algorithms":[95],"provide":[100],"framework":[102,115],"analyzing":[104],"their":[105,123],"behavior.":[106,124],"Lastly,":[107],"we":[108],"introduce":[109],"tool,":[111],"which":[112],"designing":[117],"such":[118],"algorithms,":[120],"simulating":[122]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2017-07-21T00:00:00"}