Probabilistically Analysable Real-Time Systems


Sun, 2013-03-24

Tullio Vardanega (UNIPD) took the PROARTIS message to Rome for ETAPS 2013 and a satellite event.

“Probabilistic Timing Analysis (PROARTIS)” was the title of his first presentation, given to the Technical Day on Innovative Techniques on Timing Analysis, an ETAPS 2013 satellite event hosted by CerCo (FET-ICT-2007.8.0) and PROARTIS (FP7-ICT-2009.3.4).

Tullio also presented on “Innovative techniques in timing analysis: cost prediction on high level languages and probabilistic time analysis” as part of Quantitative Aspects of Programming Languages and Systems.

ETAPS 2013 was held in Rome on 23rd24th March.