Search Results

Documents authored by Zippo, Raffaele

Artifact
Software
DOI: 10.4230/artifacts.25795
rzippo/nancy-playground

Authors: Raffaele Zippo and Giovanni Stea

Abstract
Cite as

Raffaele Zippo, Giovanni Stea. rzippo/nancy-playground (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-25795,
   title = {{rzippo/nancy-playground}}, 
   author = {Zippo, Raffaele and Stea, Giovanni},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:dd85728ac2a89f688e349e3d80e4b04e2a966ad4;origin=https://github.com/rzippo/nancy-playground;visit=swh:1:snp:0f849f1b5dbcbb5787461f335b909697ee89e1c7;anchor=swh:1:rev:7508e35d95e06272920de90980f2be75ca4938d4}{\texttt{swh:1:dir:dd85728ac2a89f688e349e3d80e4b04e2a966ad4}} (visited on 2026-07-02)},
   url = {https://github.com/rzippo/nancy-playground},
   doi = {10.4230/artifacts.25795},
}
Document
DOI: 10.4230/LIPIcs.ECRTS.2026.5
Nancy-Playground: A Console Calculator for Deterministic Network Calculus

Authors: Raffaele Zippo and Giovanni Stea

Published in: LIPIcs, Volume 375, 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
Deterministic Network Calculus (DNC) provides a rigorous algebra for worst-case performance analysis of networks. It allows researchers to compute bounds on worst-case characteristics of systems through algebraic expressions that may appear simple on paper but often require heavy computations, making software support essential. Libraries such as Nancy offer a rich API for DNC computations in C#, but they require programming expertise. In contrast, RTaW’s min-plus playground (MPPG) provides a simpler, calculator-like syntax for DNC computations; however, it is proprietary and web-hosted, limiting offline use and reproducibility. We present nancy-playground, an open-source, locally runnable console that implements the same MPPG syntax while executing computations through the Nancy library. This tool enables reproducible scripting, interactive exploration, and a seamless transition to full programs by converting MPPG scripts into C# code. In this paper, we describe the design and implementation of nancy-playground, as well as its main features for researchers and practitioners in the DNC community.
Cite as

Raffaele Zippo and Giovanni Stea. Nancy-Playground: A Console Calculator for Deterministic Network Calculus. In 38th European Conference on Real-Time Systems (ECRTS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 375, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{zippo_et_al:LIPIcs.ECRTS.2026.5,
  author =	{Zippo, Raffaele and Stea, Giovanni},
  title =	{{Nancy-Playground: A Console Calculator for Deterministic Network Calculus}},
  booktitle =	{38th European Conference on Real-Time Systems (ECRTS 2026)},
  pages =	{5:1--5:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-429-1},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{375},
  editor =	{Kritikakou, Angeliki},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2026.5},
  URN =		{urn:nbn:de:0030-drops-265970},
  doi =		{10.4230/LIPIcs.ECRTS.2026.5},
  annote =	{Keywords: Deterministic Network Calculus, min-plus algebra, tooling}
}
Document
Artifact
DOI: 10.4230/DARTS.12.2.6
Nancy-Playground: A Console Calculator for Deterministic Network Calculus (Artifact)

Authors: Raffaele Zippo and Giovanni Stea

Published in: DARTS, Volume 12, Issue 2, Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
nancy-playground is an open-source, cross-platform command-line tool for Deterministic Network Calculus (DNC) computations. It implements the MPPG scripting syntax used by RTaW’s min-plus playground https://www.realtimeatwork.com/minplus-playground, executing computations via the Nancy [Raffaele Zippo and Giovanni Stea, 2022] and Nancy.Expressions [Trasacco et al., 2024] libraries and their state-of-the-art algorithmic optimizations. It also supports converting MPPG scripts to C# code and an interactive console mode. This artifact provides the source code of nancy-playground (version 1.0.8), example scripts corresponding to the listings of the companion paper, and scripts to reproduce the test and coverage results (Table 7) and the performance measurements (Table 6) of [Raffaele Zippo and Giovanni Stea, 2026].
Cite as

Raffaele Zippo and Giovanni Stea. Nancy-Playground: A Console Calculator for Deterministic Network Calculus (Artifact). In Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 2, pp. 6:1-6:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{zippo_et_al:DARTS.12.2.6,
  author =	{Zippo, Raffaele and Stea, Giovanni},
  title =	{{Nancy-Playground: A Console Calculator for Deterministic Network Calculus (Artifact)}},
  pages =	{6:1--6:5},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2026},
  volume =	{12},
  number =	{2},
  editor =	{Zippo, Raffaele and Stea, Giovanni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.12.2.6},
  URN =		{urn:nbn:de:0030-drops-266231},
  doi =		{10.4230/DARTS.12.2.6},
  annote =	{Keywords: Deterministic Network Calculus, min-plus algebra, tooling}
}
Document
Artifact
DOI: 10.4230/DARTS.9.1.3
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact)

Authors: Raffaele Zippo, Paul Nikolaus, and Giovanni Stea

Published in: DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)

Abstract
(min,+) convolution is the key operation in (min,+) algebra, a theory often used to compute performance bounds in real-time systems. As already observed in many works, its algorithm can be computationally expensive, due to the fact that: i) its complexity is superquadratic with respect to the size of the operands; ii) operands must be extended before starting its computation, and iii) said extension is tied to the least common multiple of the operand periods. In this paper, we leverage the isomorphism between (min,+) and (max,+) algebras to devise a new algorithm for (min,+) convolution, in which the need for operand extension is minimized. This algorithm is considerably faster than the ones known so far, and it allows us to abate the computation times of (min,+) convolution by orders of magnitude.
Cite as

Raffaele Zippo, Paul Nikolaus, and Giovanni Stea. Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact). In Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 1, pp. 3:1-3:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{zippo_et_al:DARTS.9.1.3,
  author =	{Zippo, Raffaele and Nikolaus, Paul and Stea, Giovanni},
  title =	{{Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact)}},
  pages =	{3:1--3:4},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2023},
  volume =	{9},
  number =	{1},
  editor =	{Zippo, Raffaele and Nikolaus, Paul and Stea, Giovanni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.3},
  URN =		{urn:nbn:de:0030-drops-180247},
  doi =		{10.4230/DARTS.9.1.3},
  annote =	{Keywords: Deterministic Network Calculus, min-plus algebra, max-plus algebra, performance, algorithms}
}
Document
DOI: 10.4230/LIPIcs.ECRTS.2023.12
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism

Authors: Raffaele Zippo, Paul Nikolaus, and Giovanni Stea

Published in: LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023)

Abstract
(min,+) convolution is the key operation in (min,+) algebra, a theory often used to compute performance bounds in real-time systems. As already observed in many works, its algorithm can be computationally expensive, due to the fact that: i) its complexity is superquadratic with respect to the size of the operands; ii) operands must be extended before starting its computation, and iii) said extension is tied to the least common multiple of the operand periods. In this paper, we leverage the isomorphism between (min,+) and (max,+) algebras to devise a new algorithm for (min,+) convolution, in which the need for operand extension is minimized. This algorithm is considerably faster than the ones known so far, and it allows us to reduce the computation times of (min,+) convolution by orders of magnitude.
Cite as

Raffaele Zippo, Paul Nikolaus, and Giovanni Stea. Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 12:1-12:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{zippo_et_al:LIPIcs.ECRTS.2023.12,
  author =	{Zippo, Raffaele and Nikolaus, Paul and Stea, Giovanni},
  title =	{{Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism}},
  booktitle =	{35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
  pages =	{12:1--12:24},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-280-8},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{262},
  editor =	{Papadopoulos, Alessandro V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.12},
  URN =		{urn:nbn:de:0030-drops-180415},
  doi =		{10.4230/LIPIcs.ECRTS.2023.12},
  annote =	{Keywords: Deterministic Network Calculus, min-plus algebra, max-plus algebra, performance, algorithms}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact