research
∙
09/01/2022
Testing Causality in Scientific Modelling Software
From simulating galaxy formation to viral transmission in a pandemic, sc...
share
research
∙
03/12/2021
Test case generation for agent-based models: A systematic literature review
Agent-based models play an important role in simulating complex emergent...
research
∙
02/17/2020
Four-valued monitorability of ω-regular languages
Runtime Verification (RV) is a lightweight formal technique in which pro...
research
∙
05/22/2017