Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth
Presented at MARS @ ETAPS 2026, this paper uses MultiVeStA to give the Island Model a more rigorous and reproducible statistical analysis.
A Multi-Method Validation Framework for Large-Scale Multilingual Text Analytics
Presented at JADT 2026 and awarded the VADISTAT Prize for young researchers, this paper validates 18 analytical approaches on 1M+ texts to identify method-invariant findings.