{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:01:48Z","timestamp":1774454508396,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T00:00:00Z","timestamp":1505260800000},"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":["J Intell Inf Syst"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10844-017-0474-3","type":"journal-article","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T10:23:38Z","timestamp":1505298218000},"page":"501-532","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Model mining"],"prefix":"10.1007","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2691-5279","authenticated-orcid":false,"given":"Antonio","family":"Cerone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,13]]},"reference":[{"key":"474_CR1","doi-asserted-by":"crossref","unstructured":"Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., & Rossi, E. (2010). Modelling the dynamics of an Aedes albopictus population. In Proceedings of AMCA-POP 2010, electronic proceedings in theoretical computer science (Vol. 227, pp. 37\u201358).","DOI":"10.4204\/EPTCS.33.2"},{"key":"474_CR2","unstructured":"Cerone, A. (2012). Learning and activity patterns in OSS communities and their impact on software quality. In Proceedings of opencert 2011, ECEASST (Vol. 48)."},{"key":"474_CR3","doi-asserted-by":"crossref","unstructured":"Cerone, A. (2015). Process mining as a modelling tool: Beyond the domain of business process management. In SEFM 2015 Collocated workshops, lecture notes in computer science (Vol. 9509, pp. 139\u2013144). Springer.","DOI":"10.1007\/978-3-662-49224-6_12"},{"key":"474_CR4","doi-asserted-by":"crossref","unstructured":"Cerone, A. (2016a). A cognitive framework based on rewriting logic for the analysis of interactive systems. In Proceedings of SEFM 2016, lecture notes in computer science (Vol. 9763, pp. 287\u2013303). Springer.","DOI":"10.1007\/978-3-319-41591-8_20"},{"key":"474_CR5","doi-asserted-by":"crossref","unstructured":"Cerone, A. (2016b). Refinement mining: Using data to sift plausible models. In Proceedings of SEFM 2016 collocated workshops, lecture notes in computer science (Vol. 9946, pp. 26\u201341). Springer.","DOI":"10.1007\/978-3-319-50230-4_3"},{"key":"474_CR6","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Kwiatkowska, M., & Paoletti, N. (2014). Precise parameter synthesis for stochastic biochemical systems. In Proceedings of CMSB 2014, lecture notes in computer science (Vol. 8859, pp. 86\u201398). Springer.","DOI":"10.1007\/978-3-319-12982-2_7"},{"key":"474_CR7","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-oliet, N., Meseguer, J., & Talcott, C. (2003). The Maude 2.0 System. In Nieuwenhuis, R. (Ed.) Rewriting techniques and applications (RTA 2003), no. 2706 in lecture notes in computer science (pp. 76\u201387). Springer-Verlag."},{"key":"474_CR8","unstructured":"Elliot, M.S., & Scacchi, W. (2003). Free software development: Cooperation and conflict in a virtual organizational culture. In Free\/open source software development (pp. 152\u2013173). Idea Publishing."},{"key":"474_CR9","doi-asserted-by":"crossref","unstructured":"Gulwani, S. (2011). Automating string processing in spreadsheets using input-output examples. In Notices, A.S. (Ed.) Proceedings of POPL 2011 (Vol. 46, pp. 317\u2013330). ACM.","DOI":"10.1145\/1926385.1926423"},{"key":"474_CR10","unstructured":"Koksal, A.S., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., & Piterman, N. (2013). Automating string processing in spreadsheets using input-output examples. In Notices, A.S. (Ed.) Proceedings of POPL 2013 (Vol. 48, pp. 469\u2013482). ACM."},{"issue":"6","key":"474_CR11","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/S0048-7333(02)00095-1","volume":"32","author":"KR Lakhani","year":"2003","unstructured":"Lakhani, K.R., & Von Hippel, E. (2003). How open source software works: free user-to-user assistance. Research Policy, 32(6), 923\u2013943.","journal-title":"Research Policy"},{"key":"474_CR12","unstructured":"Larson, B. (2012). Delivering business intelligence with Microsoft SQL server 2012. McGraw-Hill Osborne Media."},{"issue":"2","key":"474_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., & Meseguer, J. (2002). Rewriting logic: roadmap and bibliography. Theoretical Computer Science, 285(2), 121\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"474_CR14","volume-title":"Process models for learning patterns in FLOSS repositories","author":"P Mukala","year":"2015","unstructured":"Mukala, P. (2015). Process models for learning patterns in FLOSS repositories. University of Pisa: Ph.D. thesis, Department of Computer Science ."},{"key":"474_CR15","unstructured":"Mukala, P., Cerone, A., & Turini, F. (2015a). An exploration of learning processes as process maps in FLOSS repositories. Tech. rep., University of Pisa."},{"key":"474_CR16","doi-asserted-by":"crossref","unstructured":"Mukala, P., Cerone, A., & Turini, F. (2015b). Mining learning processes from FLOSS mailing archives. In Open and big data management and innovation, IFIP lecture notes in computer science (Vol. 9373, pp. 287\u2013298). Springer.","DOI":"10.1007\/978-3-319-25013-7_23"},{"key":"474_CR17","doi-asserted-by":"crossref","unstructured":"Mukala, P., Cerone, A., & Turini, F. (2017). A conformance verification of a-priori learning models on free\/libre open source software (FLOSS) mailing archives. Education and Information Technologies, In press.","DOI":"10.1007\/s10639-017-9573-6"},{"key":"474_CR18","doi-asserted-by":"crossref","unstructured":"Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C.M., & Kugler, H. (2014). Analyzing and synthesizing genomic logic functions. In Proceedings of CAV 2014, lecture notes in computer science (Vol. 8559, pp. 343\u2013357). Springer.","DOI":"10.1007\/978-3-319-08867-9_23"},{"issue":"1","key":"474_CR19","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., & van der Aalst, W.M.P. (2008). Conformance checking of processes based on monitoring real behavior. Information Systems, 33(1), 64\u201395.","journal-title":"Information Systems"},{"key":"474_CR20","doi-asserted-by":"crossref","unstructured":"Shams, F., Cerone, A., & De Nicola, R. (2015). On integrating social and sensor networks for emergency management. In SEFM 2015 Collocated workshops, lecture notes in computer science (Vol. 9509, pp. 145\u2013160). Springer.","DOI":"10.1007\/978-3-662-49224-6_13"},{"key":"474_CR21","unstructured":"Singh, V., Nichols, D.M., & Twidale, M.B. (2009). Users of open source software: How do they get help?. In Proceedings of the 42nd Hawaii international conference on system science (pp. 1\u201310). IEEE comp. Soc."},{"key":"474_CR22","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R.M., Bodik, R., & Ebcioglu, K. (2005). Programming by sketching for bit-streaming programs. In Proceedings of PLDI 2005, ACM SIGPLAN notices (Vol. 40, pp. 281\u2013294). ACM.","DOI":"10.1145\/1065010.1065045"},{"key":"474_CR23","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., & Foster, J.S. (2010). From program verification to program synthesis. In Notices, A.S. (Ed.) Proceedings of POPL 2010 (Vol. 45, pp. 313\u2013326). ACM.","DOI":"10.1145\/1706299.1706337"},{"key":"474_CR24","doi-asserted-by":"crossref","unstructured":"Steehouder, M.F. (2002). Beyond technical documentation: Users helping each other. In Proceedings of the professional communication conference (IPCC 2002) (pp. 489\u2013499). IEEE comp. Soc.","DOI":"10.1109\/IPCC.2002.1049133"},{"key":"474_CR25","volume-title":"Process mining and verification of properties: An approach based on temporal logic Beta Working Paper Series WT (Vol. 136)","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H.T., & can Dongen, B.F. (2005). Process mining and verification of properties: An approach based on temporal logic Beta Working Paper Series WT (Vol. 136). Eindhoven: Eindhoven University of Technology."},{"key":"474_CR26","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., & Stahl, C. (2011). Modeling business processes: a Petri Net-Oriented approach. The MIT press.","DOI":"10.7551\/mitpress\/8811.001.0001"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-017-0474-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10844-017-0474-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-017-0474-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:13:04Z","timestamp":1558465984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10844-017-0474-3"}},"subtitle":["Integrating data analytics, modelling and verification"],"short-title":[],"issued":{"date-parts":[[2017,9,13]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["474"],"URL":"https:\/\/doi.org\/10.1007\/s10844-017-0474-3","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,13]]},"assertion":[{"value":"29 December 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}