{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:19Z","timestamp":1750220659286,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,15]]},"DOI":"10.1145\/3384441.3395990","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:25:06Z","timestamp":1591493106000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Probing the Performance of the Edinburgh Bike Sharing System using SSTL"],"prefix":"10.1145","author":[{"given":"Justin Noah","family":"Kreikemeyer","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Adelinde","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402955"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2018.05.011"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39570-8_1"},{"key":"e_1_3_2_1_4_1","first-page":"759","article-title":"A strategic reposi-tioning algorithm for bicycle-sharing schemes. Transport metrica A","volume":"10","author":"Angeloudis Panagiotis","year":"2014","unstructured":"Panagiotis Angeloudis , Jun Hu , and Michael G. H. Bell . 2014 . A strategic reposi-tioning algorithm for bicycle-sharing schemes. Transport metrica A : Transport Science 10 , 8 (2014), 759 -- 774 . https:\/\/doi.org\/10.1080\/23249935.2014.884184arXiv:https:\/\/doi.org\/10.1080\/23249935.2014.884184 10.1080\/23249935.2014.884184arXiv:https: Panagiotis Angeloudis, Jun Hu, and Michael G. H. Bell. 2014. A strategic reposi-tioning algorithm for bicycle-sharing schemes. Transport metrica A: Transport Science 10, 8 (2014), 759--774. https:\/\/doi.org\/10.1080\/23249935.2014.884184arXiv:https:\/\/doi.org\/10.1080\/23249935.2014.884184","journal-title":"Transport Science"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549712438469"},{"key":"e_1_3_2_1_6_1","first-page":"298","article-title":"Landmark based shortest pathdetection by using A* and Haversine formula","volume":"1","author":"Chopde Nitin R","year":"2013","unstructured":"Nitin R Chopde and Mangesh K Nichat . 2013 . Landmark based shortest pathdetection by using A* and Haversine formula . International Journal of Innovative Research in Computer and Communication Engineering 1 , 2 (2013), 298 -- 302 . Nitin R Chopde and Mangesh K Nichat. 2013. Landmark based shortest pathdetection by using A* and Haversine formula. International Journal of Innovative Research in Computer and Communication Engineering 1, 2 (2013), 298--302.","journal-title":"International Journal of Innovative Research in Computer and Communication Engineering"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209811.3209866"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.2017.0790"},{"key":"e_1_3_2_1_10_1","unstructured":"ECH. [n.d.]. Open Data - Edinburgh Cycle Hire. https:\/\/edinburghcyclehire.com\/open-data. Accessed 01.01.2020.  ECH. [n.d.]. Open Data - Edinburgh Cycle Hire. https:\/\/edinburghcyclehire.com\/open-data. Accessed 01.01.2020."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1080\/01441647.2015.1033036"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13676-014-0053-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2018.8632456"},{"key":"e_1_3_2_1_14_1","volume-title":"Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. In The 24th ACM International Conference on Information and Knowledge Management(CIKM","author":"Gast Nicolas","year":"2015","unstructured":"Nicolas Gast , Guillaume Massonnet , Dani\u00ebl Reijsbergen , and Mirco Tribastone . 2015 . Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. In The 24th ACM International Conference on Information and Knowledge Management(CIKM 2015). https:\/\/doi.org\/10.1145\/2806416.2806569 10.1145\/2806416.2806569 Nicolas Gast, Guillaume Massonnet, Dani\u00ebl Reijsbergen, and Mirco Tribastone. 2015. Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. In The 24th ACM International Conference on Information and Knowledge Management(CIKM 2015). https:\/\/doi.org\/10.1145\/2806416.2806569"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3042094.3042182"},{"key":"e_1_3_2_1_17_1","volume-title":"The attributed pi-calculus with priorities. Transactions on Computational Systems Biology XII","author":"John Mathias","year":"2010","unstructured":"Mathias John , C\u00e9dric Lhoussaine , Joachim Niehren , and Adelinde M Uhrmacher . 2010. The attributed pi-calculus with priorities. Transactions on Computational Systems Biology XII ( 2010 ), 13--76. Mathias John, C\u00e9dric Lhoussaine, Joachim Niehren, and Adelinde M Uhrmacher. 2010. The attributed pi-calculus with priorities. Transactions on Computational Systems Biology XII (2010), 13--76."},{"key":"e_1_3_2_1_18_1","unstructured":"Justin Kreikemeyer. [n.d.]. Code for this Paper. https:\/\/doi.org\/10.5281\/zenodo.3702267.    10.5281\/zenodo.3702267\nJustin Kreikemeyer. [n.d.]. Code for this Paper. https:\/\/doi.org\/10.5281\/zenodo.3702267."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(95)00134-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2820783.2820837"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2010.09.004"},{"key":"e_1_3_2_1_22_1","unstructured":"Michele Loreti. [n.d.]. CARMA GitHub Repository. https:\/\/github.com\/Quanticol\/CARMA.  Michele Loreti. [n.d.]. CARMA GitHub Repository. https:\/\/github.com\/Quanticol\/CARMA."},{"key":"e_1_3_2_1_23_1","unstructured":"Michele Loreti. [n.d.]. jSSTL Java Implementation. https:\/\/github.com\/Quanticol\/jsstl\/.  Michele Loreti. [n.d.]. jSSTL Java Implementation. https:\/\/github.com\/Quanticol\/jsstl\/."},{"volume-title":"Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools","author":"Loreti Michele","key":"e_1_3_2_1_24_1","unstructured":"Michele Loreti and Jane Hillston . 2016. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools . Springer International Publishing , Cham , 83--119. https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4 10.1007\/978-3-319-34096-8_4 Michele Loreti and Jane Hillston. 2016. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. Springer International Publishing, Cham, 83--119. https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"key":"e_1_3_2_1_25_1","volume-title":"Joint International Conferences on Formal Modelling and Analysis of Timed Systems, 22--24, 2004, Proceedings (Lecture Notes in Computer Science), Yassine Lakhnech and Sergio Yovine (Eds.)","volume":"3253","author":"Maler Oded","year":"2004","unstructured":"Oded Maler and Dejan Nickovic . 2004 . Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems , Joint International Conferences on Formal Modelling and Analysis of Timed Systems, 22--24, 2004, Proceedings (Lecture Notes in Computer Science), Yassine Lakhnech and Sergio Yovine (Eds.) , Vol. 3253 . Springer, 152--166. https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12 10.1007\/978-3-540-30206-3_12 Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, 22--24, 2004, Proceedings (Lecture Notes in Computer Science), Yassine Lakhnech and Sergio Yovine (Eds.), Vol. 3253. Springer, 152--166. https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.1100.0347"},{"key":"e_1_3_2_1_27_1","volume-title":"Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.CoRRabs\/1706.09334","author":"Nenzi Laura","year":"2017","unstructured":"Laura Nenzi , Luca Bortolussi , Vincenzo Ciancia , Michele Loreti , and Mieke Massink . 2017. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.CoRRabs\/1706.09334 ( 2017 ). arXiv:1706.09334 http:\/\/arxiv.org\/abs\/1706.09334 Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, and Mieke Massink. 2017. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.CoRRabs\/1706.09334 (2017). arXiv:1706.09334 http:\/\/arxiv.org\/abs\/1706.09334"},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Qualitative and Quantitative Monitoring of spatio-temporal Properties with SSTL","volume":"14","author":"Nenzi Laura","year":"2018","unstructured":"Laura Nenzi , Luca Bortolussi , Vincenzo Ciancia , Michele Loreti , and Mieke Massink . 2018 . Qualitative and Quantitative Monitoring of spatio-temporal Properties with SSTL . Logical Methods in Computer Science 14 (2018), 1 -- 38 . Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, and Mieke Massink. 2018. Qualitative and Quantitative Monitoring of spatio-temporal Properties with SSTL. Logical Methods in Computer Science 14 (2018), 1--38.","journal-title":"Logical Methods in Computer Science"},{"key":"#cr-split#-e_1_3_2_1_29_1.1","doi-asserted-by":"crossref","unstructured":"Laura Nenzi Luca Bortolussi and Michele Loreti. 2017. JSSTL - A Tool to Monitor Spatio-Temporal Properties. In Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools on 10th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'16). ICST (Institute for Computer Sciences Social-Informatics and Telecommunications Engineering) Brussels BEL 74--79. https:\/\/doi.org\/10.4108\/eai.25-10-2016.2266978 10.4108\/eai.25-10-2016.2266978","DOI":"10.4108\/eai.25-10-2016.2266978"},{"key":"#cr-split#-e_1_3_2_1_29_1.2","doi-asserted-by":"crossref","unstructured":"Laura Nenzi Luca Bortolussi and Michele Loreti. 2017. JSSTL - A Tool to Monitor Spatio-Temporal Properties. In Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools on 10th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'16). ICST (Institute for Computer Sciences Social-Informatics and Telecommunications Engineering) Brussels BEL 74--79. https:\/\/doi.org\/10.4108\/eai.25-10-2016.2266978","DOI":"10.4108\/eai.25-10-2016.2266978"},{"key":"e_1_3_2_1_30_1","volume-title":"Data Analysis and Optimization for (Citi)Bike Sharing. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence","author":"O'Mahony Eoin","year":"2015","unstructured":"Eoin O'Mahony and David B. Shmoys . 2015 . Data Analysis and Optimization for (Citi)Bike Sharing. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , January 25-30, 2015 , Austin, Texas, USA, Blai Bonet and Sven Koenig (Eds.). AAAI Press, 687--694. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9698 Eoin O'Mahony and David B. Shmoys. 2015. Data Analysis and Optimization for (Citi)Bike Sharing. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, Blai Bonet and Sven Koenig (Eds.). AAAI Press, 687--694. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9698"},{"key":"e_1_3_2_1_31_1","volume-title":"INFORMS International Conference on Service Science. Springer, 21--30","author":"Patel Samarth J","year":"2018","unstructured":"Samarth J Patel , Robin Qiu , and Ashkan Negahban . 2018 . Incentive-based rebal-ancing of bike-sharing systems . In INFORMS International Conference on Service Science. Springer, 21--30 . Samarth J Patel, Robin Qiu, and Ashkan Negahban. 2018. Incentive-based rebal-ancing of bike-sharing systems. In INFORMS International Conference on Service Science. Springer, 21--30."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2303986"},{"key":"e_1_3_2_1_33_1","volume-title":"2016 Federated Conference on Computer Science and Information Systems (FedCSIS). IEEE, 1471--1480","author":"Preisler Thomas","year":"2016","unstructured":"Thomas Preisler , Tim Dethlefs , and Wolfgang Renz . 2016 . Self-organizing redis-tribution of bicycles in a bike-sharing system based on decentralized control . In 2016 Federated Conference on Computer Science and Information Systems (FedCSIS). IEEE, 1471--1480 . Thomas Preisler, Tim Dethlefs, and Wolfgang Renz. 2016. Self-organizing redis-tribution of bicycles in a bike-sharing system based on decentralized control. In 2016 Federated Conference on Computer Science and Information Systems (FedCSIS). IEEE, 1471--1480."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1080\/0740817X.2013.770186"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2019.2899840"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2887007.2887108"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDM.2012.16"}],"event":{"name":"SIGSIM-PADS '20: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Miami FL Spain","acronym":"SIGSIM-PADS '20"},"container-title":["Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384441.3395990","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3384441.3395990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:37Z","timestamp":1750197757000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3384441.3395990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":37,"alternative-id":["10.1145\/3384441.3395990","10.1145\/3384441"],"URL":"https:\/\/doi.org\/10.1145\/3384441.3395990","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}