Andrea Marin – författare

The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.

The 24 revised full papers presented were carefully reviewed and selected from many submissions.The papers are organized in topical sections on queueing theory, software and computer systems, statistics and inference, telecommunication networks, and performance and performability. 

This book constitutes the refereed post-proceedings of the 10th European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013.

The 16 regular papers presented together with 8 short papers and 2 invited talks were carefully reviewed and selected from 33 submissions. The Workshop aims to gather academic and industrial researchers working on all aspects of performance engineering.

Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following areas: performance modeling and evaluation, system and network performance engineering, and software performance engineering.