2026-08-17T18:46:48Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13980 2024-03-06T11:05:10Z ddc:004 open_access

On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact) Marković, Filip Papadopoulos, Alessandro Vittorio Nolte, Thomas Probabilistic analysis Random variables Algorithm Complexity This artifact describes the process for validation and reproduction of the experiments given in the associated paper "On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems". This document contains the information on the scope of the presented artifact, i.e. what are the considered experiments, instructions for obtaining the source code of the experiments, tested platforms, and other relevant information. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Filip Marković and Alessandro Vittorio Papadopoulos and Thomas Nolte 2021 Is Part Of DARTS, Volume 7, Issue 1, Special Issue of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.7.1.1 urn:nbn:de:0030-drops-139804 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.1.1 eng https://creativecommons.org/licenses/by/4.0/legalcode