Papers

Our papers on MultiVeStA

• Automated and Distributed Statistical Analysis of Economic Agent Based Models, Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte, JEDC, 2022 [pre-print version]

• MultiVeStA: Statistical Model Checking for Discrete Event Simulators, Stefano Sebastio, Andrea Vandin, VALUETOOLS’13 (please cite this work) (extended version)

• Transient and Steady-State Statistical Analysis for Discrete Event Simulators, Stephen Gilmore, Daniel Reijsbergen, Andrea Vandin, IFM’17;

Our papers using MultiVeStA

• More papers after 2020 To be updated

• A framework for quantitative modeling and analysis of highly (re)configurable systems, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, IEEE Transactions in Software Engineering, 2020

• A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems, Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin, ISOLA’16

• Statistical Model Checking for Product Lines, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, ISOLA’16

• Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin SPLC’15

• Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, FMSPLE’15

• An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems, Stephen Gilmore, Mirco Tribastone, Andrea Vandin, IFM’14

• Distributed statistical analysis of complex systems modeled through a chemical metaphor, Danilo Pianini, Stefano Sebastio, Andrea Vandin, HPCS’14;

• Reasoning (on) Service Component Ensembles in Rewriting Logic, Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing, SAS’14

• A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds, Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, SEAMS’14

• Reputation-based Cooperation in the Clouds, Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi, IFIPTM’14

• AVoCloudy: a simulator of volunteer clouds, Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Software: Practice and Experience

• A Workload-Based Approach to Partition the Volunteer Cloud, Stefano Sebastio, Antonio Scala, IEEE CIC’15

Papers by OTHERS using MultiVeStA

• More papers after 2016 To be updated

• Statistical Model Checking of Opportunistic Network Protocols, Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao, AINTEC’15

• A Contract-oriented middleware, Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu, FACS’15

• OnPlan: A Framework for Simulation-Based Online Planning, Lenz Belzner, Rolf Hennicker, Martin Wirsing, FACS’15

Other related papers

• VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems

• PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

• PMaude: Rewrite-based Specification Language for Probabilistic Object Systems