Publications ============ Main publication at SLE'18 -------------------------- .. raw:: html
Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large ...