{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:19:40Z","timestamp":1767313180928,"version":"3.48.0"},"publisher-location":"Cham","reference-count":25,"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_23","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:15:12Z","timestamp":1767312912000},"page":"425-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Nancy.Expressions: Towards a\u00a0Computer Algebra System for\u00a0Deterministic Network Calculus"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Trasacco","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9111-7471","authenticated-orcid":false,"given":"Raffaele","family":"Zippo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5310-6763","authenticated-orcid":false,"given":"Giovanni","family":"Stea","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"23_CR1","unstructured":"BenchmarkDotNet. https:\/\/benchmarkdotnet.org\/"},{"issue":"12","key":"23_CR2","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1016\/j.peva.2005.12.001","volume":"63","author":"A Bose","year":"2006","unstructured":"Bose, A., Jiang, X., Liu, B., Li, G.: Analysis of manufacturing blocking systems with network calculus. Perform. Eval. 63(12), 1216\u20131234 (2006)","journal-title":"Perform. Eval."},{"key":"23_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9781119440284","volume-title":"Deterministic Network Calculus: From Theory to Practical Implementation","author":"A Bouillard","year":"2018","unstructured":"Bouillard, A., Boyer, M., Le Corronc, E.: Deterministic Network Calculus: From Theory to Practical Implementation. Wiley, Hoboken, NJ (2018)"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10626-007-0028-x","volume":"18","author":"A Bouillard","year":"2008","unstructured":"Bouillard, A., Thierry, \u00c9.: An algorithmic toolbox for network calculus. Discrete Event Dyn. Syst. 18(1), 3\u201349 (2008)","journal-title":"Discrete Event Dyn. Syst."},{"key":"23_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0459-9","volume-title":"Performance Guarantees in Communication Networks","author":"CS Chang","year":"2000","unstructured":"Chang, C.S.: Performance Guarantees in Communication Networks. Springer-Verlang, New York, USA (2000)"},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/18.61110","volume":"37","author":"RL Cruz","year":"1991","unstructured":"Cruz, R.L.: A calculus for network delay, part II: Network analysis. IEEE Trans. Inf. Theory 37(1), 132\u2013141 (1991)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/18.61109","volume":"37","author":"RL Cruz","year":"1991","unstructured":"Cruz, R.L., et al.: A calculus for network delay, part I: Network elements in isolation. IEEE Trans. Inf. Theory 37(1), 114\u2013131 (1991)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"23_CR8","doi-asserted-by":"publisher","unstructured":"De\u00a0Azua, J.A.R., Boyer, M.: Complete modelling of AVB in network calculus framework. In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 55\u201364. RTNS \u201914, Association for Computing Machinery, New York, NY, USA (2014). https:\/\/doi.org\/10.1145\/2659787.2659810","DOI":"10.1145\/2659787.2659810"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Guan, N., Yi, W.: Finitary real-time calculus: Efficient performance analysis of distributed embedded systems. In: 2013 IEEE 34th Real-Time Systems Symposium, pp. 330\u2013339 (2013)","DOI":"10.1109\/RTSS.2013.40"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Lampka, K., Bondorf, S., Schmitt, J.B., Guan, N., Yi, W.: Generalized finitary Real-Time calculus. In: Proceeding of the 36th IEEE International Conference on Computer Communications (INFOCOM 2017) (2017)","DOI":"10.1109\/INFOCOM.2017.8056981"},{"key":"23_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0","volume-title":"Network calculus: A Theory of Deterministic Queuing Systems for the Internet","author":"JY Le Boudec","year":"2001","unstructured":"Le Boudec, J.Y., Thiran, P.: Network calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer Science & Business Media, Berlin, Germany (2001)"},{"key":"23_CR12","unstructured":"Parr, T.: Antlr. https:\/\/www.antlr.org\/"},{"key":"23_CR13","doi-asserted-by":"publisher","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: 2000 IEEE International Symposium on Circuits and Systems (ISCAS). vol.\u00a04, pp. 101\u2013104 vol.4 (2000). https:\/\/doi.org\/10.1109\/ISCAS.2000.858698","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"23_CR14","unstructured":"Trasacco, A., Zippo, R., Stea, G.: Nancy.Expressions packages on NuGet. https:\/\/www.nuget.org\/packages\/Unipi.Nancy.Expressions\/"},{"key":"23_CR15","unstructured":"Trasacco, A., Zippo, R., Stea, G.: Nancy.expressions artifact repository archived on software heritage (2022). https:\/\/archive.softwareheritage.org\/browse\/directory\/90069616eb47c031f66a16fa205e4307681d91db\/?origin_url=https:\/\/github.com\/AndreaTrasacco\/nancy-expressions-artifact"},{"key":"23_CR16","unstructured":"Trasacco, A., Zippo, R., Stea, G.: Nancy.Expressions artifact repository on GitHub(2022). https:\/\/github.com\/AndreaTrasacco\/nancy-expressions-artifact"},{"key":"23_CR17","unstructured":"Wandeler, E., Thiele, L.: Real-Time Calculus (RTC) Toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox"},{"key":"23_CR18","doi-asserted-by":"publisher","unstructured":"Zippo, R., Nikolaus, P., Stea, G.: Isospeed: Improving (min,+) convolution by exploiting (min,+)\/(max,+) isomorphism. In: 35th Euromicro Conference on Real-Time Systems (ECRTS\u201923), pp. 24\u2013pp. IEEE (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2023","DOI":"10.4230\/LIPIcs.ECRTS.2023"},{"key":"23_CR19","unstructured":"Zippo, R.: Analysis of algorithmic and computational aspects of deterministic network calculus (2023)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Zippo, R., Nikolaus, P., Stea, G.: Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition. Disc. Event Dyn. Syst. (2023)","DOI":"10.21203\/rs.3.rs-1689536\/v1"},{"key":"23_CR21","unstructured":"Zippo, R., Stea, G.: Nancy library for Network Calculus. http:\/\/nancy.unipi.it\/"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Zippo, R., Stea, G.: Nancy: An efficient parallel network calculus library. SoftwareX 19, 101178 (2022)","DOI":"10.1016\/j.softx.2022.101178"},{"key":"23_CR23","unstructured":"Zippo, R., Stea, G.: Nancy source repository archived on Software Heritage (2022). https:\/\/archive.softwareheritage.org\/browse\/directory\/afecc858a1442b91c8e6a8de777e39dab76226f3\/?origin_url=https:\/\/github.com\/rzippo\/nancy"},{"key":"23_CR24","unstructured":"Zippo, R., Stea, G.: Nancy source repository on GitHub (2022). https:\/\/github.com\/rzippo\/nancy"},{"key":"23_CR25","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2023.3244276","author":"R Zippo","year":"2023","unstructured":"Zippo, R., Stea, G.: Computationally efficient worst-case analysis of flow-controlled networks with network calculus. IEEE Trans. Inf. Theory (2023). https:\/\/doi.org\/10.1109\/TIT.2023.3244276","journal-title":"IEEE Trans. Inf. Theory"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:15:13Z","timestamp":1767312913000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-06818-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032068170","9783032068187"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-06818-7_23","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"}}]}}