12 citations · 48 across the 23 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 1 cited
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
Mirco Tribastone, Herbert Wiklicky
This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ET…
eess.SY2016★ 1 cited
Challenges in Quantitative Abstractions for Collective Adaptive Systems
Mirco Tribastone
Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from d…