{"id":"https://openalex.org/W157676457","doi":"https://doi.org/10.1007/s10009-006-0014-x","title":"A formal analysis of bluetooth device discovery","display_name":"A formal analysis of bluetooth device discovery","publication_year":2006,"publication_date":"2006-07-05","ids":{"openalex":"https://openalex.org/W157676457","doi":"https://doi.org/10.1007/s10009-006-0014-x","mag":"157676457"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-006-0014-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0014-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-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/A5076352793","display_name":"Marie Duflot","orcid":"https://orcid.org/0000-0002-7538-8826"},"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":"Marie Duflot","raw_affiliation_strings":["LACL, Facult\u00e9 des Sciences et Technologie, Universit\u00e9 Paris XII, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, 94010, Cr\u00e9teil, France","LACL, Facult\u00e9 des Sciences et Technologie, Universit\u00e9 Paris XII, Cr\u00e9teil, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LACL, Facult\u00e9 des Sciences et Technologie, Universit\u00e9 Paris XII, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, 94010, Cr\u00e9teil, France","institution_ids":["https://openalex.org/I197681013"]},{"raw_affiliation_string":"LACL, Facult\u00e9 des Sciences et Technologie, Universit\u00e9 Paris XII, Cr\u00e9teil, France","institution_ids":["https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Birmingham, UK","School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Birmingham, UK","School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","School of Computer Science, University of Birmingham, Birmingham, UK","School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"School of Computer Science, University of Birmingham, 61 Avenue du G\u00e9n\u00e9ral de Gaulle, B15 2TT, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036097359","https://openalex.org/A5067544120","https://openalex.org/A5076352793","https://openalex.org/A5081710233"],"corresponding_institution_ids":["https://openalex.org/I197681013","https://openalex.org/I79619799"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":2.3025,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.89887097,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"8","issue":"6","first_page":"621","last_page":"632"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9922000169754028,"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/T10470","display_name":"Usability and User Interface Design","score":0.9883000254631042,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bluetooth","display_name":"Bluetooth","score":0.8799596428871155},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7761021852493286},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6974497437477112},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.556767463684082},{"id":"https://openalex.org/keywords/power-consumption","display_name":"Power consumption","score":0.5544657707214355},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.48389825224876404},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4810886085033417},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.30896079540252686},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18233120441436768},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1255127191543579},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11688914895057678}],"concepts":[{"id":"https://openalex.org/C546215728","wikidata":"https://www.wikidata.org/wiki/Q39531","display_name":"Bluetooth","level":3,"score":0.8799596428871155},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7761021852493286},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6974497437477112},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.556767463684082},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.5544657707214355},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.48389825224876404},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4810886085033417},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.30896079540252686},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18233120441436768},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1255127191543579},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11688914895057678},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s10009-006-0014-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-006-0014-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.6368","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6368","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.prismmodelchecker.org/papers/isola04.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.106.2730","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.2730","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.prismmodelchecker.org/papers/sttt-bluetooth.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.gla.ac.uk:43745","is_oa":false,"landing_page_url":"http://eprints.gla.ac.uk/43745/","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Articles"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/6b6e55ab-02ed-4fae-908b-5bb0b40ebe53","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/6b6e55ab-02ed-4fae-908b-5bb0b40ebe53","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Duflot, M, Kwiatkowska, M, Norman, G & Parker, D 2006, 'A Formal Analysis of Bluetooth Device Discovery', International Journal on Software Tools for Technology Transfer, vol. 8, no. 6, pp. 621-632. https://doi.org/10.1007/s10009-006-0014-x","raw_type":"article"},{"id":"mag:157676457","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/isola/isola2004i.html#DuflotKNP04","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.8399999737739563,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W159706009","https://openalex.org/W1266757872","https://openalex.org/W1499514499","https://openalex.org/W1503526472","https://openalex.org/W1516849933","https://openalex.org/W1551681429","https://openalex.org/W1570655507","https://openalex.org/W1591515740","https://openalex.org/W1596186423","https://openalex.org/W1602205142","https://openalex.org/W1603966055","https://openalex.org/W1949722297","https://openalex.org/W1988873236","https://openalex.org/W1999836359","https://openalex.org/W2013819688","https://openalex.org/W2047650874","https://openalex.org/W2057873236","https://openalex.org/W2090191224","https://openalex.org/W2096076317","https://openalex.org/W2112224666","https://openalex.org/W2119091865","https://openalex.org/W2132266737","https://openalex.org/W2140703923","https://openalex.org/W2149453229","https://openalex.org/W2150990538","https://openalex.org/W2156546571","https://openalex.org/W2469122220","https://openalex.org/W2981167595","https://openalex.org/W4231208021","https://openalex.org/W4231842458","https://openalex.org/W4233436407"],"related_works":["https://openalex.org/W2687657776","https://openalex.org/W2336728141","https://openalex.org/W2182746768","https://openalex.org/W1548937009","https://openalex.org/W2770639742","https://openalex.org/W2944514954","https://openalex.org/W2503337642","https://openalex.org/W1497802612","https://openalex.org/W2077287580","https://openalex.org/W2112568337","https://openalex.org/W62077087","https://openalex.org/W2127876552","https://openalex.org/W3085446862","https://openalex.org/W2956679612","https://openalex.org/W2298387877","https://openalex.org/W2787206368","https://openalex.org/W2615918556","https://openalex.org/W2074644927","https://openalex.org/W2949128647","https://openalex.org/W2045439750"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}