{"id":"https://openalex.org/W2119209671","doi":"https://doi.org/10.1109/percomw.2011.5766965","title":"Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven","display_name":"Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W2119209671","doi":"https://doi.org/10.1109/percomw.2011.5766965","mag":"2119209671"},"language":"en","primary_location":{"id":"doi:10.1109/percomw.2011.5766965","is_oa":false,"landing_page_url":"https://doi.org/10.1109/percomw.2011.5766965","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)","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/A5096893719","display_name":"Thibault De Champs","orcid":null},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Thibault De Champs","raw_affiliation_strings":["DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086310156","display_name":"Mohammed Ouenzar","orcid":null},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohammed Ouenzar","raw_affiliation_strings":["DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008260426","display_name":"Bessam Abdulrazak","orcid":"https://orcid.org/0000-0002-5468-0190"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bessam Abdulrazak","raw_affiliation_strings":["DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DOMUS Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007443078","display_name":"Marc Frappier","orcid":"https://orcid.org/0000-0002-4402-2514"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marc Frappier","raw_affiliation_strings":["GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090568523","display_name":"H\u00e9l\u00e8ne Pigot","orcid":"https://orcid.org/0000-0001-5520-5677"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Helene Pigot","raw_affiliation_strings":["GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"DOMUS Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071492812","display_name":"Beno\u00eet Fraikin","orcid":null},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Benoit Fraikin","raw_affiliation_strings":["GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GRIL Laboratory, Universit\u00e9 de Sherbrook, Sherbrooke, QUE, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"GRIL Lab., Univ. de Sherbrooke, Sherbrooke, QC, Canada","institution_ids":["https://openalex.org/I135117807"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I135117807"],"apc_list":null,"apc_paid":null,"fwci":1.1889,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81646834,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"630","last_page":"635"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9969000220298767,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9952999949455261,"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.6833608746528625},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.62171471118927},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.537510097026825},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49860644340515137},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47948986291885376},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3477354645729065},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.34486156702041626},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2274416983127594},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11680018901824951},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07759630680084229}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6833608746528625},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.62171471118927},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.537510097026825},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49860644340515137},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47948986291885376},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3477354645729065},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34486156702041626},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2274416983127594},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11680018901824951},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07759630680084229}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/percomw.2011.5766965","is_oa":false,"landing_page_url":"https://doi.org/10.1109/percomw.2011.5766965","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W230507977","https://openalex.org/W1546692412","https://openalex.org/W1556900989","https://openalex.org/W1593108407","https://openalex.org/W1606017792","https://openalex.org/W1921371332","https://openalex.org/W1979616141","https://openalex.org/W1980202148","https://openalex.org/W1985381115","https://openalex.org/W1985574790","https://openalex.org/W1999396796","https://openalex.org/W2006705431","https://openalex.org/W2025624633","https://openalex.org/W2083039210","https://openalex.org/W2086137009","https://openalex.org/W2088977779","https://openalex.org/W2113302524","https://openalex.org/W2125708466","https://openalex.org/W2159090554","https://openalex.org/W2166768964","https://openalex.org/W2168679792","https://openalex.org/W2174207570","https://openalex.org/W2327354744","https://openalex.org/W2404618441","https://openalex.org/W4229621802","https://openalex.org/W4236905758","https://openalex.org/W4244819751","https://openalex.org/W6609123667","https://openalex.org/W6631605905","https://openalex.org/W6632823747","https://openalex.org/W6640185022"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4235160909","https://openalex.org/W2041209185","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2196991573","https://openalex.org/W2030935018","https://openalex.org/W1785234853","https://openalex.org/W2356154743","https://openalex.org/W2015573812"],"abstract_inverted_index":{"Safety":[0],"is":[1,18],"a":[2,64],"major":[3],"challenge":[4],"in":[5,14,37,46,76,84],"developing":[6],"assistive":[7],"software":[8,39],"for":[9],"people":[10],"with":[11,94],"special":[12],"needs":[13],"smart":[15,85],"houses.":[16,86],"INOVUS":[17,32,51,103],"an":[19,55],"ongoing":[20],"project":[21,33],"about":[22],"safety":[23,44,81],"issues":[24],"of":[25,74,80,101],"cooking":[26],"activities.":[27],"This":[28],"paper":[29],"presents":[30],"the":[31,50,69,72,77,90,98,102],"and":[34,71,96],"highlights":[35],"lacks":[36],"current":[38],"development":[40,78],"processes":[41],"to":[42,57,67],"meet":[43],"requirements":[45],"pervasive":[47],"computing.":[48],"In":[49],"project,":[52],"we":[53,88],"propose":[54],"approach":[56],"introduce":[58],"model":[59,91],"checking":[60,92],"using":[61],"ALLOY":[62,95],"as":[63],"new":[65],"layer":[66],"strengthen":[68],"design":[70],"understanding":[73],"specifications":[75],"process":[79,93],"related":[82],"applications":[83],"Finally,":[87],"illustrate":[89],"present":[97],"initial":[99],"results":[100],"prototype.":[104]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}