{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:03:13Z","timestamp":1742994193198,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_38","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"465-481","source":"Crossref","is-referenced-by-count":3,"title":["Variability-Based Design of Services for Smart Transportation Systems"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., B\u0105k, K., Murashkin, K., Olaechea, R., Liang, J.H., Czarnecki, K.: Clafer tools for product line engineering. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, vol. 2, pp. 130\u2013135. ACM (2013)","DOI":"10.1145\/2499777.2499779"},{"issue":"6","key":"38_CR2","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1007\/s00521-013-1364-4","volume":"24","author":"D Bacciu","year":"2014","unstructured":"Bacciu, D., Barsocchi, P., Chessa, S., Gallicchio, C., Micheli, A.: An experimental characterization of reservoir computing in ambient assisted living applications. Neural Comput. Appl. 24(6), 1451\u20131464 (2014)","journal-title":"Neural Comput. Appl."},{"key":"38_CR3","unstructured":"Bacciu, D., Carta, A., Gnesi, S., Semini, L.: Using a machine learning approach in the design of smart transportation systems (2016, submitted)"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Bacciu, D., Gnesi, S., Semini, L.: Using a machine learning approach to implement and evaluate product line features. In: ter Beek, M.H., Lluch-Lafuente, A. (eds.) WWV. EPTCS, vol. 188, pp. 75\u201383 (2015)","DOI":"10.4204\/EPTCS.188.8"},{"issue":"3","key":"38_CR5","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K B\u0105k","year":"2016","unstructured":"B\u0105k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., W\u0105sowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-662-45234-9_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"MH Beek ter","year":"2014","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S.: Challenges in modelling and analyzing quantitative aspects of bike-sharing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 351\u2013367. Springer, Heidelberg (2014)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S.: Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. In: Schmidt, D.C. (ed.) SPLC, pp. 321\u2013326. ACM (2015)","DOI":"10.1145\/2791060.2791100"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-662-49224-6_22","volume-title":"Software Engineering and Formal Methods","author":"MH Beek ter","year":"2015","unstructured":"ter Beek, M.H., Gnesi, S., Latella, D., Massink, M.: Towards automatic decision support for bike-sharing system design. In: Bianculli, D., et al. (eds.) SEFM 2015 Workshops. LNCS, vol. 9509, pp. 266\u2013280. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-49224-6_22"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: Quantitative analysis of probabilistic models of software product lines with statistical model checking. In: Atlee, J.M., Gnesi, S. (eds.) FMSPLE. EPTCS, vol. 182, pp. 56\u201370. EPTCS (2015)","DOI":"10.4204\/EPTCS.182.5"},{"key":"38_CR10","series-title":"LNCS","volume-title":"ISoLA","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: Statistical model checking for product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA. LNCS. Springer, Heidelberg (2016)"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Latella, D., Massink, M., Pakauskas, R.: Exploring spatio-temporal properties of bike-sharing systems. In: SCOPES, pp. 74\u201379. IEEE (2015)","DOI":"10.1109\/SASOW.2015.17"},{"key":"38_CR12","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s13676-014-0053-5","volume":"5","author":"C Fricker","year":"2016","unstructured":"Fricker, C., Gast, N.: Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity. EURO J. Transp. Logist. 5, 261\u2013291 (2016)","journal-title":"EURO J. Transp. Logist."},{"key":"38_CR13","unstructured":"Froehlich, J., Neumann, J., Oliver, N.: Sensing and predicting the pulse of the city through shared bicycling. In: IJCAI, pp. 1420\u20131426 (2009)"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Gast, N., Massonnet, G., Reijsbergen, D., Tribastone, M.: Probabilistic forecasts of bike-sharing systems for journey planning. In: CIKM, pp. 703\u2013712. ACM (2015)","DOI":"10.1145\/2806416.2806569"},{"volume-title":"Introduction to Statistical Relational Learning","year":"2007","key":"38_CR15","unstructured":"Getoor, L., Taskar, B. (eds.): Introduction to Statistical Relational Learning. The MIT Press, Cambridge (2007)"},{"key":"38_CR16","unstructured":"Gianfrotta, L., Topazzini, S., Pubblici, P.S.: Elaborazione di un Modello per lo Sviluppo di Nuovi Servizi e sua Applicazione al caso Bike Sharing di Pisa. Master\u2019s thesis, Universit\u00e0 di Pisa (2013) (In Italian)"},{"volume-title":"A Field Guide to Dynamical Recurrent Networks","year":"2001","key":"38_CR17","unstructured":"Kolen, J.F., Kremer, S.C. (eds.): A Field Guide to Dynamical Recurrent Networks. IEEE Press, New York (2001)"},{"issue":"3","key":"38_CR18","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.cosrev.2009.03.005","volume":"3","author":"M Luko\u0161evi\u010dius","year":"2009","unstructured":"Luko\u0161evi\u010dius, M., Jaeger, H.: Reservoir computing approaches to recurrent neural network training. Comput. Sci. Rev. 3(3), 127\u2013149 (2009)","journal-title":"Comput. Sci. Rev."},{"key":"38_CR19","unstructured":"Midgley, P.: Bicycle-Sharing schemes: enhancing sustainable mobility in Urban areas. Background Paper CSD19\/2011\/BP8, Commission on Sustainable Development, United Nations Department of Economic and Social Affairs, May 2011"},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) SPLC, pp. 111\u2013115. ACM (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"38_CR21","unstructured":"Niccolai, C., Zanzi, E.: Progettare i servizi: Creazione di un modello di validit\u00e0 generale e applicazione al servizio di Bike Sharing a Pisa. Master\u2019s thesis, Universit\u00e0 di Pisa (2013) (In Italian)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:22:04Z","timestamp":1498335724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}