Security is an essential cornerstone of functioning digital marketplaces and communities. If
users doubt that data shared online will remain secure, they will withdraw from platforms …

Abstract System identification is a process of creating a mathematical model of a system
from its external observations (inputs and outputs). The concept of discovering models from …

In software development, triaging deals with activities that are involved in the management
of work items, ie, items that need to be completed in a given iteration/sprint. These activities …

Our lives become increasingly dependent on safety-and security-critical systems, so formal
techniques are advocated for engineering such systems. One of such techniques is …

A security vulnerability in software, often referred as a bug, is a weakness in software code
that arises as a result of unforeseen design decisions or model mathematical inadequacies …

Hoy en día podemos encontrar distintos sistemas críticos en diferentes campos como en la
salud, militar, espacial, seguridad, etc., dónde peligra la vida y economía de muchas …

As modern safety-critical systems continue to become more and more software-intensive,
this paradigm shift brings many challenges such as complex engineering processes and a …

This article presents a systematic mapping study on the model-driven engineering of safety
and security concerns in software systems. Combined modeling and development of both …