• 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