{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:02Z","timestamp":1742914202896,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031160103"},{"type":"electronic","value":"9783031160110"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16011-0_9","type":"book-chapter","created":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T07:03:42Z","timestamp":1665731022000},"page":"121-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Combining Quantitative Data with\u00a0Logic-Based Specifications for\u00a0Parameter Inference"],"prefix":"10.1007","author":[{"given":"Paul","family":"Piho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4419-6766-4_1","volume-title":"Continuous Time Markov Chain Models for Chemical Reaction Networks","author":"DF Anderson","year":"2011","unstructured":"Anderson, D.F., Kurtz, T.G.: Continuous Time Markov Chain Models for Chemical Reaction Networks, pp. 3\u201342. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4419-6766-4_1"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_75"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume-title":"Formal Methods for Performance Evaluation","author":"G Balbo","year":"2007","unstructured":"Balbo, G.: Introduction to generalized stochastic petri nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 83\u2013131. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_3"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.2168\/LMCS-11(2:3)2015","volume":"11","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. Log. Methods Comput. Sci. 11, 2 (2015)","journal-title":"Log. Methods Comput. Sci."},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s00236-016-0265-2","volume":"54","author":"M \u010ce\u0161ka","year":"2016","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., Brim, L.: Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6), 589\u2013623 (2016). https:\/\/doi.org\/10.1007\/s00236-016-0265-2","journal-title":"Acta Informatica"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Chen, T., Diciolla, M., Kwiatkowska, M., Mereacre, A.: Time-bounded verification of CTMCs against Real-time specifications. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 26\u201342. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24310-3_4","DOI":"10.1007\/978-3-642-24310-3_4"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Georgoulas, A., Hillston, J., Sanguinetti, G. Proppa: probabilistic programming for stochastic dynamical systems. ACM Trans. Model. Comput. Simul. 28(1), 3:1\u20133:23 (2018)","DOI":"10.1145\/3154392"},{"issue":"25","key":"9_CR8","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"9_CR9","unstructured":"Hillston, J. A compositional approach to performance modelling. PhD thesis, University of Edinburgh, UK (1994)"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 478\u2013504. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23","DOI":"10.1007\/978-3-319-91908-9_23"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41467-018-06439-z","volume":"9","author":"ED Mitra","year":"2018","unstructured":"Mitra, E.D., Dias, R., Posner, R.G., Hlavacek, W.S.: Using both qualitative and quantitative data in parameter identification for systems biology models. Nat. Commun. 9, 1 (2018)","journal-title":"Nat. Commun."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Mitra, E.D., Hlavacek, W.S.: Bayesian inference using qualitative observations of underlying continuous variables. Bioinformatics 36(10), 3177\u20133184 (2020)","DOI":"10.1093\/bioinformatics\/btaa084"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Schmiester, L., Weindl, D., Hasenauer, J.: Statistical inference of mechanistic models from qualitative data using an efficient optimal scaling approach. bioRxiv (2019)","DOI":"10.1101\/848648"},{"issue":"31","key":"9_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1098\/rsif.2008.0172","volume":"6","author":"T Toni","year":"2009","unstructured":"Toni, T., Welch, D., Strelkowa, N., Ipsen, A., Stumpf, M.P.: Approximate Bayesian computation scheme for parameter inference and model selection in dynamical systems. J. R. Soc. Interface 6(31), 187\u2013202 (2009)","journal-title":"J. R. Soc. Interface"},{"issue":"7310","key":"9_CR16","doi-asserted-by":"publisher","first-page":"1102","DOI":"10.1038\/nature09319","volume":"466","author":"SN Wood","year":"2010","unstructured":"Wood, S.N.: Statistical inference for noisy nonlinear ecological dynamic systems. Nature 466(7310), 1102\u20131104 (2010)","journal-title":"Nature"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Xu, Z., Wu, B., Topcu, U.: Control strategies for covid-19 epidemic with vaccination, shield immunity and quarantine: a metric temporal logic approach. PLoS ONE 16(3), 1\u201320 (2021)","DOI":"10.1371\/journal.pone.0247660"}],"container-title":["Lecture Notes in Computer Science","From Data to Models and Back"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16011-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T07:04:25Z","timestamp":1665731065000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16011-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031160103","9783031160110"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16011-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"15 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DataMod","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium: From Data to Models and Back","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"datamod2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"75% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}