• Fast Min-plus Convolution and Deconvolution on GPUs

  • Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

  • Achievable region with impatient customers

  • Modelling user behaviour at a stochastic road traffic bottleneck

  • Evaluating the robustness of scheduling in uncertain environment with Petri nets

  • Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

  • Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study

  • Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents

  • Self, Social and Monopoly Optimization in Observable Queues

  • Whittle networks with resets