{"id":"https://openalex.org/W1574094736","doi":"https://doi.org/10.5772/37975","title":"Context Aware Model-Checking for Embedded Software","display_name":"Context Aware Model-Checking for Embedded Software","publication_year":2012,"publication_date":"2012-03-02","ids":{"openalex":"https://openalex.org/W1574094736","doi":"https://doi.org/10.5772/37975","mag":"1574094736"},"language":"en","primary_location":{"id":"doi:10.5772/37975","doi":"https://doi.org/10.5772/37975","is_oa":true,"landing_page_url":"https://doi.org/10.5772/37975","pdf_url":"https://www.intechopen.com/citation-pdf-url/29208","source":{"id":"https://openalex.org/S4306463447","display_name":"InTech eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Embedded Systems - Theory and Design Methodology","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W2483950540","display_name":"Embedded Systems - Theory and Design Methodology"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.intechopen.com/citation-pdf-url/29208","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003925837","display_name":"Philippe Dhaussy","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Dhaussy","raw_affiliation_strings":["Ensta-Bretagne","Lab-STICC_ENSTAB_CACS_MOCS (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-STICC_ENSTAB_CACS_MOCS (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030508075","display_name":"Jean-Charles Roger","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Charles Roger","raw_affiliation_strings":["Ensta-Bretagne","IDM (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ensta-Bretagne","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"IDM (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"Frdric Boniol","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]},{"id":"https://openalex.org/I4387153255","display_name":"\u00c9cole Nationale Sup\u00e9rieure d'\u00c9lectrotechnique, d'\u00c9lectronique, d'Informatique, d'Hydraulique et des T\u00e9l\u00e9communications","ror":"https://ror.org/05wfw4946","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304","https://openalex.org/I4387153255"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frdric Boniol","raw_affiliation_strings":["ONERA France","ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)","ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ONERA France","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ENSEEIHT - Ecole Nationale Sup\u00e9rieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de T\u00e9l\u00e9communications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)","institution_ids":["https://openalex.org/I4387153255"]},{"raw_affiliation_string":"ONERA - The French Aerospace Lab [Toulouse] (F-31055 Toulouse - France)","institution_ids":["https://openalex.org/I2801658355"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.0156,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88957055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"ISBN: 978-953-51-0167-3 pages 167-184","last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"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.9951000213623047,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0012000000569969416,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/embedded-software","display_name":"embedded software","score":0.9380000233650208},{"id":"https://openalex.org/keywords/requirements-specification","display_name":"requirements specification","score":0.7820000052452087},{"id":"https://openalex.org/keywords/domain-specific-languages","display_name":"domain-specific languages","score":0.7400000095367432},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5109999775886536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8181418776512146},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6912079453468323},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5611600875854492},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5561404228210449},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48072007298469543},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41882413625717163},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40961581468582153},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3255684971809387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24480438232421875},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5772/37975","doi":"https://doi.org/10.5772/37975","is_oa":true,"landing_page_url":"https://doi.org/10.5772/37975","pdf_url":"https://www.intechopen.com/citation-pdf-url/29208","source":{"id":"https://openalex.org/S4306463447","display_name":"InTech eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Embedded Systems - Theory and Design Methodology","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-00676423v1","doi":null,"is_oa":false,"landing_page_url":"https://ensta.hal.science/hal-00676423","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:biblioboard.com:725fe882-4602-4d7e-b642-c7279f68fdee","doi":null,"is_oa":true,"landing_page_url":"https://openresearchlibrary.org/viewer/725fe882-4602-4d7e-b642-c7279f68fdee","pdf_url":null,"source":{"id":"https://openalex.org/S4306401131","display_name":"BiblioBoard Library Catalog (Open Research Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"MODID-6d55e02e354:IntechOpen","raw_type":"CHAPTER"},{"id":"pmh:oai:intechopen.com:29208","doi":null,"is_oa":true,"landing_page_url":"http://www.intechopen.com/articles/show/title/context-aware-model-checking-for-embedded-software","pdf_url":null,"source":{"id":"https://openalex.org/S4306401291","display_name":"Contact-less Assessment of In-vivo Body Signals Using Microwave Doppler Radar (InTech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210154139","host_organization_name":"Intech (Slovakia)","host_organization_lineage":["https://openalex.org/I4210154139"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.intechopen.com/download/pdf/pdfs_id/29208","raw_type":"8"}],"best_oa_location":{"id":"doi:10.5772/37975","doi":"https://doi.org/10.5772/37975","is_oa":true,"landing_page_url":"https://doi.org/10.5772/37975","pdf_url":"https://www.intechopen.com/citation-pdf-url/29208","source":{"id":"https://openalex.org/S4306463447","display_name":"InTech eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Embedded Systems - Theory and Design Methodology","raw_type":"book-chapter"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1574094736.pdf","grobid_xml":"https://content.openalex.org/works/W1574094736.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1513047676","https://openalex.org/W1523442991","https://openalex.org/W1548662955","https://openalex.org/W1558903826","https://openalex.org/W1562915062","https://openalex.org/W1565053575","https://openalex.org/W1591643794","https://openalex.org/W1916915881","https://openalex.org/W1996832037","https://openalex.org/W2000947342","https://openalex.org/W2016300863","https://openalex.org/W2023808162","https://openalex.org/W2070996046","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2135642703","https://openalex.org/W2137467159","https://openalex.org/W2144690539","https://openalex.org/W2159958244","https://openalex.org/W2161660684","https://openalex.org/W2293287097","https://openalex.org/W3147491120"],"related_works":["https://openalex.org/W7113424062","https://openalex.org/W2081076017","https://openalex.org/W2296464712","https://openalex.org/W4387123873","https://openalex.org/W2312711958","https://openalex.org/W7095808244","https://openalex.org/W6904942020","https://openalex.org/W3010793212","https://openalex.org/W7096389762","https://openalex.org/W6885158098"],"abstract_inverted_index":{"Another":[0],"difficulty":[1],"is":[2],"about":[3],"requirement":[4],"specification.Embedded":[5],"software":[6],"systems":[7],"integrate":[8],"more":[9,11],"and":[10],"advanced":[12],"features,":[13],"such":[14],"as":[15],"complex":[16],"data":[17],"structures,":[18],"recursion,":[19],"1":[20],"Domain":[21],"Specific":[22]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}