{"id":"https://openalex.org/W2783211592","doi":"https://doi.org/10.1007/s10489-017-1112-z","title":"Agent systems verification : systematic literature review and mapping","display_name":"Agent systems verification : systematic literature review and mapping","publication_year":2018,"publication_date":"2018-01-13","ids":{"openalex":"https://openalex.org/W2783211592","doi":"https://doi.org/10.1007/s10489-017-1112-z","mag":"2783211592"},"language":"en","primary_location":{"id":"doi:10.1007/s10489-017-1112-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10489-017-1112-z","pdf_url":null,"source":{"id":"https://openalex.org/S74726891","display_name":"Applied Intelligence","issn_l":"0924-669X","issn":["0924-669X","1573-7497"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Intelligence","raw_type":"journal-article"},"type":"article","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/A5105516583","display_name":"Najwa Abu Bakar","orcid":"https://orcid.org/0000-0002-9915-2981"},"institutions":[{"id":"https://openalex.org/I4576418","display_name":"University of Technology Malaysia","ror":"https://ror.org/026w31v75","country_code":"MY","type":"education","lineage":["https://openalex.org/I4576418"]}],"countries":["MY"],"is_corresponding":true,"raw_author_name":"Najwa Abu Bakar","raw_affiliation_strings":["Faculty of Computing, Universiti Teknologi Malaysia, 81310, Johor Bahru, Johor, Malaysia"],"raw_orcid":"https://orcid.org/0000-0002-9915-2981","affiliations":[{"raw_affiliation_string":"Faculty of Computing, Universiti Teknologi Malaysia, 81310, Johor Bahru, Johor, Malaysia","institution_ids":["https://openalex.org/I4576418"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089742876","display_name":"Ali Selamat","orcid":"https://orcid.org/0000-0001-9746-8459"},"institutions":[{"id":"https://openalex.org/I4576418","display_name":"University of Technology Malaysia","ror":"https://ror.org/026w31v75","country_code":"MY","type":"education","lineage":["https://openalex.org/I4576418"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Ali Selamat","raw_affiliation_strings":["Faculty of Computing, Universiti Teknologi Malaysia, 81310, Johor Bahru, Johor, Malaysia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computing, Universiti Teknologi Malaysia, 81310, Johor Bahru, Johor, Malaysia","institution_ids":["https://openalex.org/I4576418"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5105516583"],"corresponding_institution_ids":["https://openalex.org/I4576418"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":3.206,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.92713596,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"48","issue":"5","first_page":"1251","last_page":"1274"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"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.998199999332428,"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.998199999332428,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8838564157485962},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8091789484024048},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7432799339294434},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6625506281852722},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5314366221427917},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4868004024028778},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48229363560676575},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4720248281955719},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.45883530378341675},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24005985260009766}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8838564157485962},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8091789484024048},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7432799339294434},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6625506281852722},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5314366221427917},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4868004024028778},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48229363560676575},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4720248281955719},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.45883530378341675},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24005985260009766}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10489-017-1112-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10489-017-1112-z","pdf_url":null,"source":{"id":"https://openalex.org/S74726891","display_name":"Applied Intelligence","issn_l":"0924-669X","issn":["0924-669X","1573-7497"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:generic.eprints.org:85710","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922759","display_name":"UTM Institutional Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":218,"referenced_works":["https://openalex.org/W17115445","https://openalex.org/W24275207","https://openalex.org/W31290601","https://openalex.org/W79747535","https://openalex.org/W119880052","https://openalex.org/W122349177","https://openalex.org/W133924879","https://openalex.org/W139055536","https://openalex.org/W145585440","https://openalex.org/W158229799","https://openalex.org/W159958783","https://openalex.org/W170090311","https://openalex.org/W181379658","https://openalex.org/W198202399","https://openalex.org/W202142858","https://openalex.org/W207960347","https://openalex.org/W422749228","https://openalex.org/W1445291665","https://openalex.org/W1480127063","https://openalex.org/W1484471125","https://openalex.org/W1487932317","https://openalex.org/W1491155274","https://openalex.org/W1491374536","https://openalex.org/W1494237053","https://openalex.org/W1495257572","https://openalex.org/W1497120980","https://openalex.org/W1497889747","https://openalex.org/W1507793072","https://openalex.org/W1525203797","https://openalex.org/W1530662022","https://openalex.org/W1537768499","https://openalex.org/W1542628163","https://openalex.org/W1544271477","https://openalex.org/W1548804231","https://openalex.org/W1550365029","https://openalex.org/W1556012185","https://openalex.org/W1556058146","https://openalex.org/W1560985252","https://openalex.org/W1561451644","https://openalex.org/W1564985454","https://openalex.org/W1567875479","https://openalex.org/W1568105516","https://openalex.org/W1571064229","https://openalex.org/W1579302641","https://openalex.org/W1585808535","https://openalex.org/W1586469201","https://openalex.org/W1586561992","https://openalex.org/W1587990038","https://openalex.org/W1589001041","https://openalex.org/W1594309425","https://openalex.org/W1597416125","https://openalex.org/W1598404824","https://openalex.org/W1598584054","https://openalex.org/W1599169544","https://openalex.org/W1605270666","https://openalex.org/W1612407731","https://openalex.org/W1626838369","https://openalex.org/W1628510906","https://openalex.org/W1652322318","https://openalex.org/W1663208094","https://openalex.org/W1679977594","https://openalex.org/W1682533183","https://openalex.org/W1724960360","https://openalex.org/W1760436778","https://openalex.org/W1835984060","https://openalex.org/W1836768014","https://openalex.org/W1850805261","https://openalex.org/W1853811473","https://openalex.org/W1862398452","https://openalex.org/W1896293960","https://openalex.org/W1904065432","https://openalex.org/W1945267633","https://openalex.org/W1968405894","https://openalex.org/W1973882485","https://openalex.org/W1981505281","https://openalex.org/W1982088356","https://openalex.org/W1983537749","https://openalex.org/W1984386584","https://openalex.org/W1987850814","https://openalex.org/W1990692194","https://openalex.org/W1991567877","https://openalex.org/W1993480528","https://openalex.org/W1995007443","https://openalex.org/W1998395646","https://openalex.org/W1998589857","https://openalex.org/W2000317315","https://openalex.org/W2001289891","https://openalex.org/W2001729116","https://openalex.org/W2006339278","https://openalex.org/W2006938743","https://openalex.org/W2006962382","https://openalex.org/W2009866896","https://openalex.org/W2014653524","https://openalex.org/W2023095461","https://openalex.org/W2031024237","https://openalex.org/W2031522732","https://openalex.org/W2034620980","https://openalex.org/W2037626761","https://openalex.org/W2039175972","https://openalex.org/W2039528882","https://openalex.org/W2044277897","https://openalex.org/W2044464604","https://openalex.org/W2044950478","https://openalex.org/W2045369135","https://openalex.org/W2046135868","https://openalex.org/W2047961148","https://openalex.org/W2049319830","https://openalex.org/W2049687915","https://openalex.org/W2052810966","https://openalex.org/W2056937295","https://openalex.org/W2057065127","https://openalex.org/W2057546362","https://openalex.org/W2058418027","https://openalex.org/W2058728551","https://openalex.org/W2060608001","https://openalex.org/W2063075513","https://openalex.org/W2063865522","https://openalex.org/W2068394395","https://openalex.org/W2069738143","https://openalex.org/W2070720123","https://openalex.org/W2075127816","https://openalex.org/W2077050476","https://openalex.org/W2085387718","https://openalex.org/W2088669757","https://openalex.org/W2092139396","https://openalex.org/W2093016242","https://openalex.org/W2095156325","https://openalex.org/W2097244481","https://openalex.org/W2097514765","https://openalex.org/W2098374640","https://openalex.org/W2098678777","https://openalex.org/W2104359664","https://openalex.org/W2106243726","https://openalex.org/W2109973265","https://openalex.org/W2110061639","https://openalex.org/W2111028697","https://openalex.org/W2111088803","https://openalex.org/W2111302738","https://openalex.org/W2111979596","https://openalex.org/W2112666698","https://openalex.org/W2113049446","https://openalex.org/W2113313700","https://openalex.org/W2114201924","https://openalex.org/W2114574764","https://openalex.org/W2115309705","https://openalex.org/W2117220858","https://openalex.org/W2117222035","https://openalex.org/W2121428794","https://openalex.org/W2125102638","https://openalex.org/W2127024905","https://openalex.org/W2131208677","https://openalex.org/W2136741886","https://openalex.org/W2138512963","https://openalex.org/W2139056146","https://openalex.org/W2140209236","https://openalex.org/W2140306434","https://openalex.org/W2143099901","https://openalex.org/W2143544911","https://openalex.org/W2152915143","https://openalex.org/W2154401242","https://openalex.org/W2154999312","https://openalex.org/W2158424054","https://openalex.org/W2160826901","https://openalex.org/W2163572991","https://openalex.org/W2165152299","https://openalex.org/W2165615830","https://openalex.org/W2168239536","https://openalex.org/W2171776269","https://openalex.org/W2174997732","https://openalex.org/W2178155968","https://openalex.org/W2182289315","https://openalex.org/W2184789441","https://openalex.org/W2193249047","https://openalex.org/W2254052896","https://openalex.org/W2263055580","https://openalex.org/W2283186436","https://openalex.org/W2283569934","https://openalex.org/W2288290534","https://openalex.org/W2293498118","https://openalex.org/W2294003688","https://openalex.org/W2295542068","https://openalex.org/W2314450985","https://openalex.org/W2325639005","https://openalex.org/W2333948626","https://openalex.org/W2392960553","https://openalex.org/W2394850322","https://openalex.org/W2396305996","https://openalex.org/W2396339053","https://openalex.org/W2396816424","https://openalex.org/W2412655466","https://openalex.org/W2470953491","https://openalex.org/W2471883051","https://openalex.org/W2472221118","https://openalex.org/W2476273654","https://openalex.org/W2524301860","https://openalex.org/W2539343541","https://openalex.org/W2589887588","https://openalex.org/W2595724883","https://openalex.org/W2604550364","https://openalex.org/W2613144936","https://openalex.org/W2615416403","https://openalex.org/W2615688110","https://openalex.org/W2621040104","https://openalex.org/W2740167349","https://openalex.org/W2742160410","https://openalex.org/W2754427045","https://openalex.org/W2913459036","https://openalex.org/W2921563064","https://openalex.org/W2964259612","https://openalex.org/W2993820083","https://openalex.org/W2996726222","https://openalex.org/W3143351831","https://openalex.org/W4229550410","https://openalex.org/W4235413038","https://openalex.org/W4239208506","https://openalex.org/W4244062956","https://openalex.org/W4250258141","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W2406499533","https://openalex.org/W3120172095","https://openalex.org/W2950360254","https://openalex.org/W2108860137","https://openalex.org/W1522369122","https://openalex.org/W2006962382"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}