{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:44Z","timestamp":1726055144682},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030309848"},{"type":"electronic","value":"9783030309855"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_10","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:53:39Z","timestamp":1570571619000},"page":"152-171","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logical Support for Bike-Sharing System Design"],"prefix":"10.1007","author":[{"given":"Ionu\u0163","family":"\u0162u\u0163u","sequence":"first","affiliation":[]},{"given":"Claudia Elena","family":"Chiri\u0163\u0103","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L.: Monitoring mobile and spatially distributed cyber-physical systems. In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, 29 September\u20132 October 2017, pp. 146\u2013155. ACM (2017)","DOI":"10.1145\/3127041.3127050"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-662-45234-9_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","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). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_25"},{"key":"10_CR3","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., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 266\u2013280. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-49224-6_22"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339\u2013365 (2000)","journal-title":"Logic J. IGPL"},{"key":"10_CR5","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and its Proof-Theory","author":"T Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol. 37. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/978-94-007-0002-4"},{"issue":"4","key":"10_CR6","first-page":"1","volume":"12","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Model checking spatial logics for closure spaces. Log. Methods Comput. Sci. 12(4), 1\u201351 (2016)","journal-title":"Log. Methods Comput. Sci."},{"key":"10_CR7","unstructured":"Codescu, M.: Hybridisation of institutions in Hets. In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, 3\u20136 June 2019"},{"issue":"3\u20134","key":"10_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.3233\/AO-170190","volume":"12","author":"M Codescu","year":"2017","unstructured":"Codescu, M., Kuksa, E., Kutz, O., Mossakowski, T., Neuhaus, F.: Ontohub: a semantic repository engine for heterogeneous ontologies. Appl. Ontol. 12(3\u20134), 275\u2013298 (2017)","journal-title":"Appl. Ontol."},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1093\/logcom\/ext016","volume":"26","author":"R Diaconescu","year":"2016","unstructured":"Diaconescu, R.: Quasi-varieties and initial semantics for hybridized institutions. J. Log. Comput. 26(3), 855\u2013891 (2016)","journal-title":"J. Log. Comput."},{"key":"10_CR10","unstructured":"Diaconescu, R.: Introducing H, an institution-based formal specication and veri-cation language. CoRR abs\/1908.09868 (2019)"},{"key":"10_CR11","unstructured":"Diaconescu, R., Codescu, M.: The H system. Developed in the project Formal Verication of Recongurable Systems (PN-III-P2-2.1-PED-2016-0494) at Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania (2017\u20132018). http:\/\/imar.ro\/~diacon\/forver\/forver.html"},{"issue":"5","key":"10_CR12","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1017\/S0960129514000383","volume":"26","author":"R Diaconescu","year":"2016","unstructured":"Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5), 745\u2013788 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"10_CR13","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","author":"R Diaconescu","year":"2007","unstructured":"Diaconescu, R., Stefaneas, P.S.: Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379(1\u20132), 210\u2013230 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.jlamp.2019.05.001","volume":"106","author":"JL Fiadeiro","year":"2019","unstructured":"Fiadeiro, J.L., \u0162u\u0163u, I., Lopes, A., Pavlovic, D.: Logics for actor networks: a two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106, 141\u2013166 (2019)","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. J. Logic Lang. Inf. 1(3), 203\u2013233 (1992)","journal-title":"J. Logic Lang. Inf."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-030-29026-9_16","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"D G\u0103in\u0103","year":"2019","unstructured":"G\u0103in\u0103, D., \u0162u\u0163u, I.: Birkhoff completeness for hybrid-dynamic first-order logic. In: Cerrito, S., Popescu, A. (eds.) TABLEAUX 2019. LNCS, vol. 11714, pp. 277\u2013293. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29026-9_16"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-16722-6_5","volume-title":"Fundamental Approaches to Software Engineering","author":"R Hennicker","year":"2019","unstructured":"Hennicker, R., Madeira, A., Knapp, A.: A hybrid dynamic logic for event\/data-based systems. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 79\u201397. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_5"},{"key":"10_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199256044.001.0001","volume-title":"Reassembling the Social: An Introduction to Actor-Network Theory","author":"B Latour","year":"2005","unstructured":"Latour, B.: Reassembling the Social: An Introduction to Actor-Network Theory. Oxford University Press, Oxford (2005)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.tcs.2018.03.004","volume":"744","author":"A Madeira","year":"2018","unstructured":"Madeira, A., Barbosa, L.S., Hennicker, R., Martins, M.A.: A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744, 78\u201396 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","volume-title":"Algebra and Coalgebra in Computer Science","author":"MA Martins","year":"2011","unstructured":"Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 283\u2013297. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22944-2_20"},{"key":"10_CR22","unstructured":"Mateus, P., Sernadas, A., Sernadas, C.: Exogenous semantics approach to enriching logics. In: Essays on the Foundations of Mathematics and Logic. Advanced Studies in Mathematics and Logic, vol. 1, pp. 165\u2013194. Polimetrica (2005)"},{"key":"10_CR23","unstructured":"Moon-Miklaucic, C., Bray-Sharpin, A., de la Lanza, I., Khan, A., Re, L.L., Maassen, A.: The evolution of bike sharing: 10 questions on the emergence of new technologies, opportunities, and risks. Technical report. World Resources Institute, Washington, DC (2019). http:\/\/www.wri.org\/publication\/evolution-bike-sharing"},{"key":"10_CR24","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set (Hets). In: Proceedings of 4th International Verification Workshop in connection with CADE-21, vol. vol. 259. CEUR-WS.org (2007)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-28073-3_2","volume-title":"Distributed Computing and Internet Technology","author":"D Pavlovic","year":"2012","unstructured":"Pavlovic, D., Meadows, C.: Actor-network procedures (extended abstract). In: Ramanujam, R., Ramaswamy, S. (eds.) ICDCIT 2012. LNCS, vol. 7154, pp. 7\u201326. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28073-3_2"},{"issue":"2\u20133","key":"10_CR26","first-page":"91","volume":"15","author":"A Riazanov","year":"2002","unstructured":"Riazanov, A., Voronkov, A.: The design and implementation of VAMPIRE. AI Commun. 15(2\u20133), 91\u2013110 (2002)","journal-title":"AI Commun."},{"key":"10_CR27","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3"},{"key":"10_CR28","volume-title":"Solving the Frame Problem \u2013 A Mathematical Investigation of the Common Sense Law of Inertia","author":"M Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem \u2013 A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)"},{"key":"10_CR29","unstructured":"\u0162u\u0163u, I., Chiri\u0163\u0103, C., Lopes, A., Fiadeiro, J.: A hybrid-logic specification of a BSS. Ontohub (2019). https:\/\/ontohub.org\/forver\/BSS.dol"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-02959-2_10","volume-title":"Automated Deduction \u2013 CADE-22","author":"C Weidenbach","year":"2009","unstructured":"Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3.5. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 140\u2013145. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02959-2_10"}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T19:05:49Z","timestamp":1721847949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}