{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:25:37Z","timestamp":1767313537660,"version":"3.48.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032068170","type":"print"},{"value":"9783032068187","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-06818-7_19","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:22:48Z","timestamp":1767313368000},"page":"369-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis Tool Suite for\u00a0Large Stochastic Model"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Matteucci","sequence":"first","affiliation":[]},{"given":"Michela","family":"Quadrini","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with carma and its tools. In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures 16, pp. 83\u2013119 (2016)","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Del Giudice, N., Matteucci, L., Quadrini, M., Rehman, A. and Loreti, M.: A tool for reasoning about collective systems. In: Maurice\u00a0H. ter Beek and Marjan Sirjani, (eds.) Coordination Models and Languages, pp. 92\u201398, Cham, Springer Nature Switzerland (2022)","DOI":"10.1007\/978-3-031-08143-9_6"},{"key":"19_CR3","unstructured":"Sibilla, Q.: https:\/\/github.com\/quasylab\/sibilla (2021)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Lectures on Runtime Verification: Introductory and Advanced Topics, pp. 135\u2013175 (2018)","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, C., et\u00a0al. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54, 279\u2013335 (2019)","DOI":"10.1007\/s10703-019-00337-w"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Donz\u2019e, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 22, pp. 167\u2013170. Springer (2010)","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-taliro: a tool for temporal logic falsification for hybrid systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 254\u2013257. Springer (2011)","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: U-check: model checking and parameter synthesis under uncertainty. In: International Conference on Quantitative Evaluation of Systems, pp. 89\u2013104. Springer (2015)","DOI":"10.1007\/978-3-319-22264-6_6"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Machine learning methods in statistical model checking and system design\u2013tutorial. In: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, pp. 323\u2013341. Springer (2015)","DOI":"10.1007\/978-3-319-23820-3_23"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Joaquim R. R. A. Martins\u00a0Andrew Ning. Surrogate-Based Optimization, chapter\u00a010, pp. 373\u2013420. Cambridge University Press, (2021)","DOI":"10.1017\/9781108980647.011"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Yassine Lakhnech and Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152\u2013166, Berlin, Heidelberg, Springer , Berlin Heidelberg (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (JACM) 43(1), 116\u2013146 (1996)","DOI":"10.1145\/227595.227602"},{"key":"19_CR14","unstructured":"Donz\u2019e, A., Ferrere, T., Maler, O.: Efficient robust monitoring for STL. In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings 25, pp. 264\u2013279. Springer (2013)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Charles Audet, C., Hare, W.: Derivative-free and blackbox optimization. Springer (2017)","DOI":"10.1007\/978-3-319-68913-5"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Jansen, N., Junges, S., Katoen, J.P.: Parameter synthesis in markov models: A gentle survey (2022)","DOI":"10.1007\/978-3-031-22337-2_20"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Yassine Lakhnech and Sergio Yovine (eds), Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, volume 3253 of Lecture Notes in Computer Science, pp. 152\u2013166. Springer (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Natasha Sharygina and Helmut Veith (eds), Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, volume 8044 of Lecture Notes in Computer Science, pp. 264\u2013279. Springer (2013)","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"19_CR19","unstructured":"Tablesaw. Tables (2024). https:\/\/jtablesaw.github.io\/tablesaw\/userguide\/tables.html. Accessed 29 July 2024"},{"key":"19_CR20","unstructured":"Li, H.: Smile (2014). https:\/\/haifengl.github.io"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Ho, T.K.: Random decision forests. In: Proceedings of 3rd international conference on document analysis and recognition, volume\u00a01, pp. 278\u2013282. IEEE (1995)","DOI":"10.1109\/ICDAR.1995.598994"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Friedman, J.H.: Greedy function approximation: a gradient boosting machine. Ann. stat. 1189\u20131232 (2001)","DOI":"10.1214\/aos\/1013203451"},{"key":"19_CR23","unstructured":"Lowe, D. and Broomhead, D.: Multivariable functional interpolation and adaptive networks. Complex syst. 2(3), 321\u2013355 (1988)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of ICNN\u201995-international conference on neural networks, volume\u00a04, pp. 1942\u20131948. IEEE (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Van Laarhoven, P.J.M., Aarts, E.H.L.: Simulated Annealing. Springer (1987)","DOI":"10.1007\/978-94-015-7744-1_2"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Abramson, M.A., Audet, C., Dennis Jr, J.E. and Digabel, S.L.: A deterministic mads instance with orthogonal directions. SIAM J. Optim. 20(2), 948\u2013966 (2009)","DOI":"10.1137\/080716980"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Audet, C. and Dennis Jr, J.E.: Mesh adaptive direct search algorithms for constrained optimization. SIAM J. Optim. 17(1), 188\u2013217 (2006)","DOI":"10.1137\/040603371"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Performance Evaluation Methodologies and Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-06818-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:22:51Z","timestamp":1767313371000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-06818-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032068170","9783032068187"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-06818-7_19","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Valuetools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"EAI International Conference on Performance Evaluation Methodologies and Tools","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17th","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"valuetools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}