, Marco Scarpa
: Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions.
: From DFTs to PEPA: A Model-to-Model Transformation.
: Migrating Auctioneers on Internet Auctions for Improved Utility and Performance.
: Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents.