{"id":"https://openalex.org/W2527872501","doi":"https://doi.org/10.1007/978-3-319-47166-2_46","title":"A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems","display_name":"A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2527872501","doi":"https://doi.org/10.1007/978-3-319-47166-2_46","mag":"2527872501"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-47166-2_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-47166-2_46","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":true,"oa_status":"green","oa_url":"https://openportal.isti.cnr.it/doc?id=people______::330f3f44bee6b49cefb47821b075432e","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082534511","display_name":"Vincenzo Ciancia","orcid":"https://orcid.org/0000-0003-1314-0574"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Vincenzo Ciancia","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049253314","display_name":"Diego Latella","orcid":"https://orcid.org/0000-0002-3257-9059"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Latella","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038942794","display_name":"Rytis Pa\u0161kauskas","orcid":"https://orcid.org/0009-0008-3240-4778"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rytis Pa\u0161kauskas","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell\u2019Informazione \u2018A.\u00a0Faedo\u2019, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche - Istituto di Scienza e Tecnologie dell'Informazione 'A.\u00a0Faedo', CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023123658","display_name":"Andrea Vandin","orcid":"https://orcid.org/0000-0002-2606-7241"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Vandin","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082534511"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":22.5548,"has_fulltext":false,"cited_by_count":57,"citation_normalized_percentile":{"value":0.99456253,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"657","last_page":"673"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11980","display_name":"Human Mobility and Location-Based Analysis","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11980","display_name":"Human Mobility and Location-Based Analysis","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9746999740600586,"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/T11500","display_name":"Evacuation and Crowd Dynamics","score":0.974399983882904,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean 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.8478233814239502},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6907554864883423},{"id":"https://openalex.org/keywords/bike-sharing","display_name":"Bike sharing","score":0.5325713753700256},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5266104936599731},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.4357545077800751},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3713650405406952},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3226781487464905},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25599122047424316},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20312541723251343}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8478233814239502},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6907554864883423},{"id":"https://openalex.org/C2994001137","wikidata":"https://www.wikidata.org/wiki/Q1358919","display_name":"Bike sharing","level":2,"score":0.5325713753700256},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5266104936599731},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.4357545077800751},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3713650405406952},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3226781487464905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25599122047424316},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20312541723251343},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-47166-2_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-47166-2_46","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:dnet:people______::330f3f44bee6b49cefb47821b075432e","is_oa":true,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::330f3f44bee6b49cefb47821b075432e","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657\u2013673, Corfu, Greece, 10-14 October 2016","raw_type":"Conference article"},{"id":"pmh:oai:www.iris.sssup.it:11382/534302","is_oa":false,"landing_page_url":"http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:dnet:people______::330f3f44bee6b49cefb47821b075432e","is_oa":true,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::330f3f44bee6b49cefb47821b075432e","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657\u2013673, Corfu, Greece, 10-14 October 2016","raw_type":"Conference article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W43031245","https://openalex.org/W81140875","https://openalex.org/W86222690","https://openalex.org/W97138409","https://openalex.org/W1500091283","https://openalex.org/W1501731334","https://openalex.org/W1530375570","https://openalex.org/W1601893258","https://openalex.org/W1631091010","https://openalex.org/W1705718777","https://openalex.org/W1740986913","https://openalex.org/W1912181860","https://openalex.org/W1918227179","https://openalex.org/W1974775743","https://openalex.org/W1979411729","https://openalex.org/W1992287205","https://openalex.org/W1994096594","https://openalex.org/W2007170049","https://openalex.org/W2024358995","https://openalex.org/W2060408509","https://openalex.org/W2073163038","https://openalex.org/W2078734278","https://openalex.org/W2106265536","https://openalex.org/W2118948416","https://openalex.org/W2161235182","https://openalex.org/W2167154952","https://openalex.org/W2234073770","https://openalex.org/W2295538959","https://openalex.org/W2401584260","https://openalex.org/W2466063651","https://openalex.org/W2473841607","https://openalex.org/W2797333853","https://openalex.org/W3026026050","https://openalex.org/W4213344305","https://openalex.org/W4253991977","https://openalex.org/W6639326545"],"related_works":["https://openalex.org/W2954294845","https://openalex.org/W4288103796","https://openalex.org/W2974004262","https://openalex.org/W1538854713","https://openalex.org/W2577596737","https://openalex.org/W2100843116","https://openalex.org/W4289687320","https://openalex.org/W2087152645","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-24T08:23:43.765630","created_date":"2025-10-10T00:00:00"}