The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key …

Equivalence checking is a formal verification approach that consists in proving that two
programs or models are related modulo some equivalence relation, or that one is included …

Many of today's companies use Smart Contracts to represent and execute their business
processes. Smart contracts are self-executed programs running over blockchain. In this …

Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …

Defined as an agreement between multiple parties and systematically executed by a
computer code, smart contracts enable trust-less execution without a third party. Despite the …

In this case study, we apply the architecture-based design approach to the control software
of the CubETH satellite. Architectures are a means for ensuring global coordination …

Blockchain-based smart contracts enable the creation of decentralized applications, which
often handle assets of considerable value. While the underlying platforms guarantee the …

We define a method to modularize crosscutting concerns in Component-Based Systems
(CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is …

We define a method to modularize crosscutting concerns in the Behavior Interaction Priority
(BIP) component-based framework. Our method is inspired from the Aspect Oriented …

Smart contracts have emerged as a fundamental component in the dynamic realm of
blockchain technology, facilitating automated transactions and agreements within an …