{"id":"https://openalex.org/W4404817948","doi":"https://doi.org/10.1007/978-981-96-0617-7_1","title":"NL2CTL: Automatic Generation of\u00a0Formal Requirements Specifications via\u00a0Large Language Models","display_name":"NL2CTL: Automatic Generation of\u00a0Formal Requirements Specifications via\u00a0Large Language Models","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4404817948","doi":"https://doi.org/10.1007/978-981-96-0617-7_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-96-0617-7_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0617-7_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5101911785","display_name":"Mengyan Zhao","orcid":"https://orcid.org/0009-0008-7005-4465"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengyan Zhao","raw_affiliation_strings":["Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100372976","display_name":"Ran Tao","orcid":"https://orcid.org/0000-0001-7288-2821"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ran Tao","raw_affiliation_strings":["Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101882055","display_name":"Yanhong Huang","orcid":"https://orcid.org/0000-0003-2102-4303"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yanhong Huang","raw_affiliation_strings":["Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100699193","display_name":"Jianqi Shi","orcid":"https://orcid.org/0000-0002-8993-7603"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianqi Shi","raw_affiliation_strings":["Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042013137","display_name":"Shengchao Qin","orcid":"https://orcid.org/0000-0003-3028-8191"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengchao Qin","raw_affiliation_strings":["Guangzhou Institute of Technology, Xidian University, Xi\u2019an, China","ICTT and ISN Laboratory, Xidian University, Xi\u2019an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangzhou Institute of Technology, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"ICTT and ISN Laboratory, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100397835","display_name":"Yang Yang","orcid":"https://orcid.org/0009-0004-2934-6870"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Yang","raw_affiliation_strings":["Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hardware/Software Co-Design Technology and Application Engineering Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"National Trusted Embedded Software Engineering Technology Research Center, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101882055"],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.0749,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.93685756,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8606714010238647},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6180292367935181},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5940184593200684},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5604495406150818},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4748654365539551},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4616576135158539},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4285304546356201},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4264991283416748}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8606714010238647},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6180292367935181},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5940184593200684},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5604495406150818},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4748654365539551},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4616576135158539},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4285304546356201},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4264991283416748}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-96-0617-7_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0617-7_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1531153647","https://openalex.org/W1949907236","https://openalex.org/W1984936841","https://openalex.org/W2004796166","https://openalex.org/W2007820193","https://openalex.org/W2152863619","https://openalex.org/W2295357975","https://openalex.org/W2981852735","https://openalex.org/W3003444615","https://openalex.org/W3008128154","https://openalex.org/W3009356492","https://openalex.org/W3038945966","https://openalex.org/W3107164050","https://openalex.org/W3192626578","https://openalex.org/W3196243818","https://openalex.org/W3200853289","https://openalex.org/W3205485021","https://openalex.org/W4206030968","https://openalex.org/W4226278401","https://openalex.org/W4246913434","https://openalex.org/W4284699363","https://openalex.org/W4323240350","https://openalex.org/W4382463985","https://openalex.org/W4384521943","https://openalex.org/W4389519952","https://openalex.org/W4399203757","https://openalex.org/W6602087570"],"related_works":["https://openalex.org/W2171674700","https://openalex.org/W2034589735","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W2049993111","https://openalex.org/W2323519609","https://openalex.org/W1608485412","https://openalex.org/W1508045168","https://openalex.org/W2752133100"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":5}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}