{"id":"https://openalex.org/W2080323863","doi":"https://doi.org/10.1145/1148613.1148651","title":"Utilisation de SMV pour la v\u00e9rification de propri\u00e9t\u00e9s d'IHM multimodales","display_name":"Utilisation de SMV pour la v\u00e9rification de propri\u00e9t\u00e9s d'IHM multimodales","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2080323863","doi":"https://doi.org/10.1145/1148613.1148651","mag":"2080323863"},"language":"fr","primary_location":{"id":"doi:10.1145/1148613.1148651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148613.1148651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine - IHM 2004","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-03777795","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075337649","display_name":"Nadjet Kamel","orcid":"https://orcid.org/0000-0003-3608-8895"},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]},{"id":"https://openalex.org/I171246369","display_name":"\u00c9cole Nationale Sup\u00e9rieure de M\u00e9canique et d'A\u00e9rotechnique","ror":"https://ror.org/04jx68594","country_code":"FR","type":"facility","lineage":["https://openalex.org/I171246369"]}],"countries":["DZ","FR"],"is_corresponding":true,"raw_author_name":"Nadjet Kamel","raw_affiliation_strings":["LRIA/USTHB, BP, El Alia, Bab Ezzouar, Alger, Algerie and LISI/ENSMA, BP, Futuroscope Cedex, France","Laboratoire d'Informatique Scientifique et Industrielle","Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LRIA/USTHB, BP, El Alia, Bab Ezzouar, Alger, Algerie and LISI/ENSMA, BP, Futuroscope Cedex, France","institution_ids":["https://openalex.org/I171246369"]},{"raw_affiliation_string":"Laboratoire d'Informatique Scientifique et Industrielle","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]","institution_ids":["https://openalex.org/I157169809"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075337649"],"corresponding_institution_ids":["https://openalex.org/I157169809","https://openalex.org/I171246369"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.14783184,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"219","last_page":"222"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12031","display_name":"Speech and dialogue systems","score":0.9997000098228455,"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/T12031","display_name":"Speech and dialogue systems","score":0.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9987000226974487,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9979000091552734,"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.6883626580238342},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6027897596359253},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4552217721939087},{"id":"https://openalex.org/keywords/ctl*","display_name":"CTL*","score":0.42113423347473145},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3060992956161499},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.06717520952224731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6883626580238342},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6027897596359253},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4552217721939087},{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.42113423347473145},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3060992956161499},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.06717520952224731},{"id":"https://openalex.org/C167672396","wikidata":"https://www.wikidata.org/wiki/Q417800","display_name":"CD8","level":3,"score":0.0},{"id":"https://openalex.org/C147483822","wikidata":"https://www.wikidata.org/wiki/Q103537","display_name":"Antigen","level":2,"score":0.0},{"id":"https://openalex.org/C203014093","wikidata":"https://www.wikidata.org/wiki/Q101929","display_name":"Immunology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1148613.1148651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148613.1148651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th conference on Association Francophone d'Interaction Homme-Machine - IHM 2004","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03777795v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03777795","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proc. 16\u00e8me Conf\u00e9rence Francophone sur l'Interaction Homme-Machine (IHM 2004), Aug 2004, Namur, Belgique. pp.219-222, ⟨10.1145/1148613.1148651⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-03777795v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03777795","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proc. 16\u00e8me Conf\u00e9rence Francophone sur l'Interaction Homme-Machine (IHM 2004), Aug 2004, Namur, Belgique. pp.219-222, ⟨10.1145/1148613.1148651⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W86050920","https://openalex.org/W87680929","https://openalex.org/W193110732","https://openalex.org/W953200356","https://openalex.org/W2061270248","https://openalex.org/W2073757704","https://openalex.org/W2137775098"],"related_works":["https://openalex.org/W146107827","https://openalex.org/W2381825341","https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2103740034","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619"],"abstract_inverted_index":{"This":[0],"paper":[1],"adresses":[2],"the":[3,6,11,36,42,49],"use":[4],"of":[5,14,35],"model-checking":[7],"technique":[8],"to":[9,25],"check":[10],"CARE":[12],"properties":[13,34],"input":[15],"multimodal":[16,28,37],"interactions.":[17],"Transition":[18],"systems":[19],"and":[20,30,46],"temporal":[21,44],"logic":[22,45],"are":[23,39],"used":[24],"specify":[26],"a":[27],"system":[29],"its":[31],"properties.":[32],"The":[33],"interface":[38],"specified":[40],"in":[41],"CTL":[43],"checked":[47],"by":[48],"SMV":[50],"model":[51],"checker.":[52]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}