{"id":"https://openalex.org/W4388408828","doi":"https://doi.org/10.1109/kse59128.2023.10299468","title":"Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems","display_name":"Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems","publication_year":2023,"publication_date":"2023-10-18","ids":{"openalex":"https://openalex.org/W4388408828","doi":"https://doi.org/10.1109/kse59128.2023.10299468"},"language":"en","primary_location":{"id":"doi:10.1109/kse59128.2023.10299468","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/kse59128.2023.10299468","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 15th International Conference on Knowledge and Systems Engineering (KSE)","raw_type":"proceedings-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/A5006607311","display_name":"Ga\u00e9tan Hains","orcid":"https://orcid.org/0000-0002-1687-8091"},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ga\u00e9tan Hains","raw_affiliation_strings":["LACL, UPEC Créteil,France"],"raw_orcid":"https://orcid.org/0000-0002-1687-8091","affiliations":[{"raw_affiliation_string":"LACL, UPEC Créteil,France","institution_ids":["https://openalex.org/I197681013"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5093204385","display_name":"Ouarda Fenek","orcid":null},"institutions":[{"id":"https://openalex.org/I888564091","display_name":"Union astronomique internationale","ror":"https://ror.org/05nex2951","country_code":"FR","type":"funder","lineage":["https://openalex.org/I888564091"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ouarda Fenek","raw_affiliation_strings":["Intellig'IA Object'ive,Paris,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intellig'IA Object'ive,Paris,France","institution_ids":["https://openalex.org/I888564091"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006607311"],"corresponding_institution_ids":["https://openalex.org/I197681013"],"apc_list":null,"apc_paid":null,"fwci":0.1929,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57192854,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9966999888420105,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8091216087341309},{"id":"https://openalex.org/keywords/machine-translation","display_name":"Machine translation","score":0.6315082311630249},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.6136768460273743},{"id":"https://openalex.org/keywords/synchronous-context-free-grammar","display_name":"Synchronous context-free grammar","score":0.6010828018188477},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5812037587165833},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5321599245071411},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45999062061309814},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.452188640832901},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.43927818536758423},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4385797381401062},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3305792808532715},{"id":"https://openalex.org/keywords/example-based-machine-translation","display_name":"Example-based machine translation","score":0.1285802721977234}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8091216087341309},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.6315082311630249},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6136768460273743},{"id":"https://openalex.org/C51802942","wikidata":"https://www.wikidata.org/wiki/Q7662211","display_name":"Synchronous context-free grammar","level":4,"score":0.6010828018188477},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5812037587165833},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5321599245071411},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45999062061309814},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.452188640832901},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.43927818536758423},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4385797381401062},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3305792808532715},{"id":"https://openalex.org/C24687705","wikidata":"https://www.wikidata.org/wiki/Q3753284","display_name":"Example-based machine translation","level":3,"score":0.1285802721977234},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/kse59128.2023.10299468","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/kse59128.2023.10299468","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 15th International Conference on Knowledge and Systems Engineering (KSE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04252020v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04252020","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Knowledge and Systems Engineering, IEEE; Academy of Cryptography Techniques, Vietnam, Oct 2023, Hanoi, Vietnam","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-04357666v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04357666","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2023 15th International Conference on Knowledge and Systems Engineering (KSE), Oct 2023, Hanoi, France. pp.1-4, ⟨10.1109/KSE59128.2023.10299468⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W130913184","https://openalex.org/W1574891383","https://openalex.org/W1867495292","https://openalex.org/W1996832037","https://openalex.org/W2022890244","https://openalex.org/W2126509366","https://openalex.org/W2810531205","https://openalex.org/W6605313608","https://openalex.org/W6678770314"],"related_works":["https://openalex.org/W3036784334","https://openalex.org/W3213137415","https://openalex.org/W4312364893","https://openalex.org/W4321010057","https://openalex.org/W2109169419","https://openalex.org/W2892009878","https://openalex.org/W2566847733","https://openalex.org/W2503849903","https://openalex.org/W2010336863","https://openalex.org/W2805842411"],"abstract_inverted_index":{"Requirements":[0],"formalization":[1],"is":[2,20],"a":[3,21,55,59,89,100,138],"critical":[4],"part":[5],"of":[6,83,103,137,155],"any":[7],"verification":[8],"methodology":[9],"for":[10,62],"embedded":[11],"systems":[12],"like":[13],"those":[14],"in":[15],"the":[16,96,104,126,134,152,156],"automotive":[17],"industry.":[18],"There":[19],"strong":[22],"tension":[23],"between":[24],"techniques":[25],"that":[26,37,115],"enter":[27],"requirements":[28,66],"as":[29],"logic-":[30],"or":[31,94],"code-like":[32],"formal":[33],"expressions":[34],"and":[35,50,67,75,85,123,129,147,150],"others":[36],"use":[38,136],"natural":[39],"language.":[40],"The":[41,140],"former":[42],"are":[43],"much":[44],"safer":[45],"but":[46],"require":[47],"user":[48],"training":[49],"have":[51,113],"low":[52],"productivity.":[53],"As":[54],"compromise":[56],"we":[57,112,144],"proposed":[58],"context-free":[60],"grammar":[61,97],"entering":[63],"real-time":[64],"system":[65],"translating":[68],"them":[69],"to":[70],"temporal":[71],"logic":[72],"(TL)":[73],"unambiously":[74],"reversibly.":[76],"It":[77],"has":[78],"been":[79],"demonstrated":[80],"on":[81],"hundreds":[82],"examples":[84],"became":[86],"validated":[87],"by":[88,119],"recent":[90],"patent.":[91],"But":[92],"building":[93],"extending":[95,131],"itself":[98],"requires":[99],"precise":[101],"understanding":[102],"translation":[105],"rules.":[106],"To":[107],"aleviate":[108],"this":[109],"new":[110],"hurdle":[111],"found":[114],"neural":[116,157],"nets":[117],"inspired":[118],"NLP":[120],"can":[121],"learn":[122],"then":[124],"replace":[125],"pseudo-English-to-TL":[127],"translation,":[128],"allow":[130],"it":[132],"without":[133],"explicit":[135],"grammar.":[139],"paper":[141],"explains":[142],"how":[143],"mixed":[145],"real-life":[146],"synthetic":[148],"datasets":[149],"overcame":[151],"initial":[153],"limitations":[154],"nets.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}