{"id":"https://openalex.org/W2150723603","doi":"https://doi.org/10.1155/2015/285396","title":"Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation","display_name":"Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation","publication_year":2015,"publication_date":"2015-05-01","ids":{"openalex":"https://openalex.org/W2150723603","doi":"https://doi.org/10.1155/2015/285396","mag":"2150723603"},"language":"en","primary_location":{"id":"doi:10.1155/2015/285396","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/285396","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1155/2015/285396","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journals.sagepub.com/doi/pdf/10.1155/2015/285396","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036182493","display_name":"Jos\u00e9 Antonio Mateo","orcid":"https://orcid.org/0000-0002-2074-3392"},"institutions":[{"id":"https://openalex.org/I4210134847","display_name":"Centro Tecnol\u00f3gico de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n en tecnolog\u00edas de la Informaci\u00f3n y las Comunicaciones (TIC)","ror":"https://ror.org/02s69db58","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I4210134847"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 A. Mateo","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain","institution_ids":["https://openalex.org/I4210134847"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015169894","display_name":"Hermenegilda Maci\u00e0","orcid":"https://orcid.org/0000-0003-1462-5274"},"institutions":[{"id":"https://openalex.org/I4210134847","display_name":"Centro Tecnol\u00f3gico de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n en tecnolog\u00edas de la Informaci\u00f3n y las Comunicaciones (TIC)","ror":"https://ror.org/02s69db58","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I4210134847"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Hermenegilda Maci\u00e0","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain"],"raw_orcid":"https://orcid.org/0000-0003-1462-5274","affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain","institution_ids":["https://openalex.org/I4210134847"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067657692","display_name":"M. Carmen Ruiz","orcid":"https://orcid.org/0000-0002-2392-9272"},"institutions":[{"id":"https://openalex.org/I4210134847","display_name":"Centro Tecnol\u00f3gico de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n en tecnolog\u00edas de la Informaci\u00f3n y las Comunicaciones (TIC)","ror":"https://ror.org/02s69db58","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I4210134847"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"M. Carmen Ruiz","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain"],"raw_orcid":"https://orcid.org/0000-0002-2392-9272","affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain","institution_ids":["https://openalex.org/I4210134847"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Javier Calleja","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134847","display_name":"Centro Tecnol\u00f3gico de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n en tecnolog\u00edas de la Informaci\u00f3n y las Comunicaciones (TIC)","ror":"https://ror.org/02s69db58","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I4210134847"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Javier Calleja","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain","institution_ids":["https://openalex.org/I4210134847"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026725885","display_name":"Fernando Sancho Royo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134847","display_name":"Centro Tecnol\u00f3gico de Investigaci\u00f3n, Desarrollo e Innovaci\u00f3n en tecnolog\u00edas de la Informaci\u00f3n y las Comunicaciones (TIC)","ror":"https://ror.org/02s69db58","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I4210134847"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Royo","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Avenida de Espa\u00f1a s/n. 02071 Albacete, Spain","institution_ids":["https://openalex.org/I4210134847"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5036182493"],"corresponding_institution_ids":["https://openalex.org/I4210134847"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":{"value":2200,"currency":"USD","value_usd":2200},"fwci":0.7058,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74410774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"11","issue":"5","first_page":"285396","last_page":"285396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9959999918937683,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9055085182189941},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8983978033065796},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7887319922447205},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6877970695495605},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6199560761451721},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6139865517616272},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.566301703453064},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4804348945617676},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.45472943782806396},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4259743392467499},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42511337995529175},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3290107548236847},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32031720876693726},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17294034361839294},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14840370416641235},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1344088613986969},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11919507384300232}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9055085182189941},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8983978033065796},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7887319922447205},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6877970695495605},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6199560761451721},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6139865517616272},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.566301703453064},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4804348945617676},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.45472943782806396},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4259743392467499},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42511337995529175},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3290107548236847},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32031720876693726},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17294034361839294},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14840370416641235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1344088613986969},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11919507384300232},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1155/2015/285396","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/285396","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1155/2015/285396","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:sae:intdis:v:11:y:2015:i:5:p:285396","is_oa":false,"landing_page_url":"https://journals.sagepub.com/doi/10.1155/2015/285396","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:f13da57a2d8247caa1a97165bf9f84fe","is_oa":true,"landing_page_url":"https://doaj.org/article/f13da57a2d8247caa1a97165bf9f84fe","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Distributed Sensor Networks, Vol 11 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2015/285396","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/285396","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1155/2015/285396","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7322036672","display_name":null,"funder_award_id":"TIN2012-36812-C02-02.","funder_id":"https://openalex.org/F4320324278","funder_display_name":"Comisi\u00f3n Interministerial de Ciencia y Tecnolog\u00eda"}],"funders":[{"id":"https://openalex.org/F4320324278","display_name":"Comisi\u00f3n Interministerial de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/034900433"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2150723603.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W34969054","https://openalex.org/W1501731334","https://openalex.org/W1516849933","https://openalex.org/W1544634046","https://openalex.org/W1567178758","https://openalex.org/W1590315663","https://openalex.org/W1862398452","https://openalex.org/W1936144616","https://openalex.org/W1966311688","https://openalex.org/W1988873236","https://openalex.org/W1999939853","https://openalex.org/W2000947342","https://openalex.org/W2005998857","https://openalex.org/W2055206433","https://openalex.org/W2061098321","https://openalex.org/W2103095111","https://openalex.org/W2115068414","https://openalex.org/W2120926795","https://openalex.org/W2125930621","https://openalex.org/W2135505702","https://openalex.org/W2142972213","https://openalex.org/W2162598825","https://openalex.org/W2164012210","https://openalex.org/W2168452204","https://openalex.org/W2170165197","https://openalex.org/W2170256911","https://openalex.org/W2799087070","https://openalex.org/W4244758818"],"related_works":["https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2111870610","https://openalex.org/W2006962382","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160"],"abstract_inverted_index":{"A":[0],"novel":[1],"collision":[2],"resolution":[3],"algorithm":[4,17,99],"for":[5,91],"wireless":[6],"sensor":[7],"networks":[8],"is":[9,20,52],"formally":[10],"analysed":[11],"via":[12],"probabilistic":[13,47],"model":[14,49],"checking.":[15],"The":[16],"called":[18],"2CS-WSN":[19],"specifically":[21],"designed":[22],"to":[23,54,65],"be":[24],"used":[25,53],"during":[26],"the":[27,45,72,92,98],"contention":[28],"phase":[29],"of":[30,74],"IEEE":[31],"802.15.4.":[32],"Discrete":[33],"time":[34],"Markov":[35],"chains":[36],"(DTMCs)":[37],"have":[38,95],"been":[39],"proposed":[40],"as":[41,84,86],"modelling":[42],"formalism":[43],"and":[44,59,77,88],"well-known":[46],"symbolic":[48],"checker":[50],"PRISM":[51],"check":[55],"some":[56,67],"correctness":[57,82],"properties":[58,83],"different":[60],"operating":[61],"modes":[62],"and,":[63],"furthermore,":[64],"collect":[66],"performance":[68],"measures.":[69],"Thus,":[70],"all":[71],"benefits":[73],"formal":[75],"verification":[76],"simulation":[78],"are":[79],"gathered.":[80],"These":[81],"well":[85],"practical":[87],"relevant":[89],"scenarios":[90],"real":[93],"world":[94],"agreed":[96],"with":[97],"designers.":[100]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-22T06:13:13.366637","created_date":"2025-10-10T00:00:00"}