A simulation model, and more generically, a model, is founded on its assumptions.
Assurance of the model's correctness and correct use is needed to achieve accreditation …

Based on a SEIRD model (Susceptible, Exposed, Infective, Recovered and Deceased) for
COVID-19 infection with a new parametrization using a high infection rate, and a low fatality …

The objective of the paper is to present a methodology that can be used to translate a model
from one formalism to another allowing model reuse and cross‐verification. With the use of …

The growth of real-time embedded applications has surged in recent years, marked by both
an increase in the number and complexity of tasks performed across various industries …

Discrete event system specification (DEVS) is a modelling and simulation formalism for
discrete event dynamic systems. DEVS has known different variants and software …

Specification and Description Language (SDL) is a language that can represent the
behavior and structure of a model completely and unambiguously. It allows the creation of …

Simplifying the encoding of a simulation conceptual model representation reduces the
number of errors that will be detected in the verification phase. In this paper, we present a …

Simplifying the encoding of a simulation conceptual model representation reduces the
number of errors that will be detected in the verification phase. In this paper, we present a …

The digitalization of a phenomenon allows us to understand, discuss, and predict its
behavior. In environmental areas, and specifically in a pandemic situation this is not an …

Optimizing productivity, health, and sustainability in livestock production hinges on effective
animal feeding strategies. Simulation modeling has emerged as an invaluable tool for …