{"id":"https://openalex.org/W2901660351","doi":"https://doi.org/10.1007/978-3-030-04771-9_16","title":"Exploring Applications of Formal Methods in the INSPEX Project","display_name":"Exploring Applications of Formal Methods in the INSPEX Project","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2901660351","doi":"https://doi.org/10.1007/978-3-030-04771-9_16","mag":"2901660351"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-04771-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-04771-9_16","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":"book-chapter","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/A5109438270","display_name":"Joseph Razavi","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Joseph Razavi","raw_affiliation_strings":["School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075794170","display_name":"Richard Banach","orcid":"https://orcid.org/0000-0002-0243-9434"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Richard Banach","raw_affiliation_strings":["School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020536080","display_name":"Olivier Debicki","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Debicki","raw_affiliation_strings":["Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044030824","display_name":"Nicolas Mareau","orcid":null},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Mareau","raw_affiliation_strings":["Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108079944","display_name":"Suzanne Lesecq","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Suzanne Lesecq","raw_affiliation_strings":["Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037191298","display_name":"Julie Foucault","orcid":null},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julie Foucault","raw_affiliation_strings":["Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Commissariat \u00e0 l\u2019\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives, MINATEC Campus, 17 Rue des Martyrs, 38054, Grenoble Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I106785703"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5109438270"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1256,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.81621023,"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":"205","last_page":"215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10914","display_name":"Tactile and Sensory Interactions","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10914","display_name":"Tactile and Sensory Interactions","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10789","display_name":"Interactive and Immersive Displays","score":0.9829999804496765,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9606999754905701,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"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.8245601654052734},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6589929461479187},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.625516951084137},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6174107789993286},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5701326727867126},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4839518368244171},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.47685086727142334},{"id":"https://openalex.org/keywords/wearable-computer","display_name":"Wearable computer","score":0.46972644329071045},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.4498330056667328},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4365922510623932},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3357856869697571},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3314322233200073},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2824508547782898},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.11742883920669556},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07984456419944763},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0752580463886261}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8245601654052734},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6589929461479187},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.625516951084137},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6174107789993286},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5701326727867126},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4839518368244171},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.47685086727142334},{"id":"https://openalex.org/C150594956","wikidata":"https://www.wikidata.org/wiki/Q1334829","display_name":"Wearable computer","level":2,"score":0.46972644329071045},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.4498330056667328},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4365922510623932},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3357856869697571},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3314322233200073},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2824508547782898},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.11742883920669556},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07984456419944763},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0752580463886261},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-04771-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-04771-9_16","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"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/7953c6d2-6faa-406f-8905-aeb11ed3de26","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/7953c6d2-6faa-406f-8905-aeb11ed3de26","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Razavi, J, Banach, R, Debicki, O, Mareau, N, Lesecq, S & Foucault, J 2018, Exploring Applications of Formal Methods in the INSPEX Project. in STAFF-18 Workshops post proceedings. Lecture Notes in Computer Science .","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/7953c6d2-6faa-406f-8905-aeb11ed3de26","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/exploring-applications-of-formal-methods-in-the-inspex-project(7953c6d2-6faa-406f-8905-aeb11ed3de26).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Razavi, J, Banach, R, Debicki, O, Mareau, N, Lesecq, S & Foucault, J 2018, Exploring Applications of Formal Methods in the INSPEX Project. in STAFF-18 Workshops post proceedings. Lecture Notes in Computer Science .","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W611021884","https://openalex.org/W1575210522","https://openalex.org/W1762296795","https://openalex.org/W1936022305","https://openalex.org/W1940686192","https://openalex.org/W1968701069","https://openalex.org/W2023898761","https://openalex.org/W2077359497","https://openalex.org/W2106462831","https://openalex.org/W2112337853","https://openalex.org/W2139488993","https://openalex.org/W2154418813","https://openalex.org/W2260935460","https://openalex.org/W2336416123","https://openalex.org/W2397248915","https://openalex.org/W2525708387","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1515524860","https://openalex.org/W4287777441","https://openalex.org/W2097261973","https://openalex.org/W4240148205","https://openalex.org/W1559071892"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-19T08:26:33.389920","created_date":"2025-10-10T00:00:00"}