{"id":"https://openalex.org/W4405522435","doi":"https://doi.org/10.1109/iisa62523.2024.10786718","title":"Model Checking with Large Language Models - Initial Experiments and Future Directions","display_name":"Model Checking with Large Language Models - Initial Experiments and Future Directions","publication_year":2024,"publication_date":"2024-07-17","ids":{"openalex":"https://openalex.org/W4405522435","doi":"https://doi.org/10.1109/iisa62523.2024.10786718"},"language":"en","primary_location":{"id":"doi:10.1109/iisa62523.2024.10786718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisa62523.2024.10786718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA)","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/A5067875951","display_name":"Sotiris Batsakis","orcid":"https://orcid.org/0000-0001-6023-2311"},"institutions":[{"id":"https://openalex.org/I28710699","display_name":"Hellenic Mediterranean University","ror":"https://ror.org/039ce0m20","country_code":"GR","type":"education","lineage":["https://openalex.org/I28710699"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Sotiris Batsakis","raw_affiliation_strings":["Hellenic Mediterranean University,Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hellenic Mediterranean University,Greece","institution_ids":["https://openalex.org/I28710699"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010070911","display_name":"Ilias Tachmazidis","orcid":"https://orcid.org/0000-0002-9052-7329"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ilias Tachmazidis","raw_affiliation_strings":["School of Computing and Engineering, University of Huddersfield,UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Engineering, University of Huddersfield,UK","institution_ids":["https://openalex.org/I133837150"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009904184","display_name":"Matthew Mantle","orcid":"https://orcid.org/0000-0002-2381-8943"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew Mantle","raw_affiliation_strings":["School of Computing and Engineering, University of Huddersfield,UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Engineering, University of Huddersfield,UK","institution_ids":["https://openalex.org/I133837150"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nikolaos Papadakis","orcid":null},"institutions":[{"id":"https://openalex.org/I28710699","display_name":"Hellenic Mediterranean University","ror":"https://ror.org/039ce0m20","country_code":"GR","type":"education","lineage":["https://openalex.org/I28710699"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Nikolaos Papadakis","raw_affiliation_strings":["Hellenic Mediterranean University,Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hellenic Mediterranean University,Greece","institution_ids":["https://openalex.org/I28710699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018289832","display_name":"Grigoris Antoniou","orcid":"https://orcid.org/0000-0003-3673-6602"},"institutions":[{"id":"https://openalex.org/I84027002","display_name":"Leeds Beckett University","ror":"https://ror.org/02xsh5r57","country_code":"GB","type":"education","lineage":["https://openalex.org/I84027002"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Grigoris Antoniou","raw_affiliation_strings":["Leeds Beckett University,UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leeds Beckett University,UK","institution_ids":["https://openalex.org/I84027002"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25833286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9921000003814697,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9921000003814697,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9761999845504761,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9478999972343445,"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.736639142036438},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5156360864639282},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32680225372314453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.736639142036438},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5156360864639282},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32680225372314453}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iisa62523.2024.10786718","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iisa62523.2024.10786718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/30fac862-c003-470a-b0f4-bd1d9628aacb","is_oa":false,"landing_page_url":"https://pure.hud.ac.uk/en/publications/30fac862-c003-470a-b0f4-bd1d9628aacb","pdf_url":null,"source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Batsakis, S, Tachmazidis, I, Mantle, M, Papadakis, N & Antoniou, G 2024, Model Checking with Large Language Models - Initial Experiments and Future Directions. in 15th International Conference on Information, Intelligence, Systems and Applications, IISA 2024., 10786718, Institute of Electrical and Electronics Engineers Inc., 15th International Conference on Information, Intelligence, Systems and Applications, Chania, Greece, 17/07/24. https://doi.org/10.1109/IISA62523.2024.10786718","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1489391022","https://openalex.org/W1544621933","https://openalex.org/W1965024948","https://openalex.org/W2126583599","https://openalex.org/W3133702157","https://openalex.org/W4242741415","https://openalex.org/W6811129797","https://openalex.org/W6838311432","https://openalex.org/W6848092824","https://openalex.org/W6962563591"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Large":[0,35],"Language":[1,36],"Models":[2,37],"such":[3,49],"as":[4,50],"ChatGPT":[5],"have":[6],"risen":[7],"in":[8,45],"prominence":[9],"recently":[10],"leading":[11],"to":[12,15,30],"the":[13,32],"need":[14],"analyse":[16],"their":[17],"strengths":[18],"and":[19,52],"limitations":[20],"on":[21,38],"various":[22,46],"tasks.":[23],"The":[24],"objective":[25],"of":[26,34],"this":[27],"work":[28],"is":[29,42],"evaluate":[31],"performance":[33],"Model":[39],"Checking":[40],"which":[41],"used":[43],"extensively":[44],"critical":[47],"tasks":[48],"software":[51],"hardware":[53],"verification.":[54]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}