Modeling languages play a cornerstone role in model-driven software development for
representing models and metamodels. Modeling languages are usually defined in terms of …

This paper introduces SymPLFIED, a program-level framework that allows specification of
arbitrary error detectors and the verification of their efficacy against hardware errors …

This article describes an approach to documenting control programs, whereby the control
program code is annotated with logical expressions describing the set of reachable program …

A business process is a set of structured activities that provide a certain service or product.
Business processes can be modeled using the BPMN standard, and several industrial …

There is a growing need to explicitly represent the behavioral semantics of Modeling
Languages in a precise way, something especially important in industrial environments in …

Abstract The Church-Rosser property, together with termination, is essential for an
equational specification to have good executability conditions, and also for having a …

Maude is a declarative and reflective language based on rewriting logic in which
computation corresponds to efficient deduction by rewriting. Because of its reflective …

This paper introduces SymPLFIED, a program-level framework that allows specification of
arbitrary error detectors and the verification of their efficacy against hardware errors …

Hardware components, such as memory and arithmetic units, are integral part of every
computer‐controlled system, for example, Unmanned Aerial Vehicles (UAVs). The …

Despite the importance of fog computing, few works using formal techniques have been
interested in the modelling and verification of fog architectures to ensure their security. The …