{"id":"https://openalex.org/W2044464604","doi":"https://doi.org/10.1109/isda.2010.5687238","title":"Runtime verification of safety properties in multi-agents systems","display_name":"Runtime verification of safety properties in multi-agents systems","publication_year":2010,"publication_date":"2010-11-01","ids":{"openalex":"https://openalex.org/W2044464604","doi":"https://doi.org/10.1109/isda.2010.5687238","mag":"2044464604"},"language":"en","primary_location":{"id":"doi:10.1109/isda.2010.5687238","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isda.2010.5687238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 10th International Conference on Intelligent Systems Design and Applications","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002903826","display_name":"Homood AlOtaibi","orcid":null},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"H. Alotaibi","raw_affiliation_strings":["Software Technology Research Laboratory, De Montfort University, Leicester, UK","Software Technology Research Laboratory, De Montfort University, Leicester, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]},{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, U.K","institution_ids":["https://openalex.org/I66943878"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051297843","display_name":"H. Zedan","orcid":"https://orcid.org/0009-0000-7575-5537"},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"education","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"H. Zedan","raw_affiliation_strings":["Software Technology Research Laboratory, De Montfort University, Leicester, UK","Software Technology Research Laboratory, De Montfort University, Leicester, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]},{"raw_affiliation_string":"Software Technology Research Laboratory, De Montfort University, Leicester, U.K","institution_ids":["https://openalex.org/I66943878"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I66943878"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"356","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9973999857902527,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8003355264663696},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.7723957300186157},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.7455465793609619},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6188217997550964},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4257512092590332},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.37296879291534424},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34995198249816895},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3357216715812683},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2394583821296692}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8003355264663696},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.7723957300186157},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.7455465793609619},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6188217997550964},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4257512092590332},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37296879291534424},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34995198249816895},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3357216715812683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2394583821296692},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/isda.2010.5687238","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isda.2010.5687238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 10th International Conference on Intelligent Systems Design and Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:dora.dmu.ac.uk:2086/4709","is_oa":false,"landing_page_url":"http://hdl.handle.net/2086/4709","pdf_url":null,"source":{"id":"https://openalex.org/S4306400394","display_name":"DMU Open Research Archive (De Montfort University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66943878","host_organization_name":"De Montfort University","host_organization_lineage":["https://openalex.org/I66943878"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1497559908","https://openalex.org/W1502898035","https://openalex.org/W1531506472","https://openalex.org/W1534007885","https://openalex.org/W2038430085","https://openalex.org/W2079423327","https://openalex.org/W2104066249","https://openalex.org/W2104537183","https://openalex.org/W2128672031","https://openalex.org/W2165020213","https://openalex.org/W2185045232","https://openalex.org/W6630122820","https://openalex.org/W6632077638","https://openalex.org/W6684272164"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W2345942070","https://openalex.org/W2141398161","https://openalex.org/W2016410697","https://openalex.org/W39611005","https://openalex.org/W61995002"],"abstract_inverted_index":{"Sufficient":[0],"test":[1],"coverage":[2],"for":[3],"Software":[4],"Agents":[5],"that":[6,47,101,137],"operate":[7],"in":[8,35,58,89],"an":[9],"open":[10],"and":[11,29,82,114],"dynamic":[12,99],"environment":[13,37],"is":[14,39,77,83],"unlikely":[15],"to":[16,33,41,45,67,120,139],"be":[17],"achieved":[18,84],"during":[19,72],"the":[20,56,59,90,112,125],"agents'":[21,91,126],"development.":[22],"Especially":[23],"when":[24],"agents":[25],"exhibit":[26],"self":[27],"properties":[28,71,95],"are":[30,63,96,134,147],"constantly":[31],"adapting":[32],"changes":[34],"their":[36,43,48,73],"it":[38],"important":[40],"limit":[42],"autonomy":[44],"ensure":[46],"behaviour":[49,146],"lies":[50],"within":[51],"safe":[52],"boundaries.":[53],"To":[54],"increase":[55],"trust":[57],"agents,":[60],"once":[61],"they":[62],"released,":[64],"we":[65],"propose":[66],"continuously":[68],"validate/enforce":[69],"safety":[70,94],"execution.":[74],"This":[75],"approach":[76],"known":[78],"as":[79,98,153],"run-time":[80],"verification":[81],"by":[85],"inserting":[86],"assertion":[87],"points":[88],"codes.":[92],"The":[93,109],"expressed":[97],"policies,":[100],"can":[102],"change":[103],"depending":[104],"on":[105,124],"time":[106],"or":[107],"events.":[108],"paper":[110],"shows":[111],"flexibility":[113],"expressiveness":[115],"of":[116,132],"our":[117],"policy":[118],"language":[119],"describe":[121],"temporal":[122],"constraints":[123,133],"behaviours.":[127],"Three":[128],"conceptually":[129],"different":[130],"levels":[131],"investigated.":[135],"Mechanisms":[136],"allow":[138],"detect":[140],"(and":[141],"possibly":[142],"recover":[143],"from)":[144],"unsafe":[145],"evaluated":[148],"using":[149],"a":[150,154],"simulated":[151],"road-network":[152],"case-study.":[155]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}