Abstract
Reverse engineering may be helpful for extracting information from existing apps to understand them better and ease their maintenance. Reverse engineering may be performed by a static analysis of the apps’ code but, when the code is not available, a dynamic approach may be useful. This paper presents a tool that allows extracting dynamically, in a complete black-box approach, the explored activities of Android applications. It is an extension of iMPAcT testing tool that combines reverse engineering, dynamic exploration, and testing. The extracted information is later used to construct an HFSM (Hierarchical Finite State Machine) with three distinct levels of abstraction. The top-level shows the interactions needed to traverse the activities of the mobile application. The middle level shows the screens traversed while in a specific activity. The bottom level shows all screens traversed during exploration. This information helps to understand better the application which facilitates its maintenance and errors fixing. This paper provides a complete description of the tool, its architecture and the results of some case studies conducted on mobile apps publicly available on the Google Store.

Abstract

Abstract
Natural teeth eventually fall out as one becomes older, making it more difficult chewing, speaking and get a reference plane for the body postural equilibrium. To minimize the problem, the missing teeth are eventually replaced by implants that restore the referred functions but miss the sensing of the applied force. As a consequence, the masticatory forces become erratic as the brain receives no feedback (or inaccurate) sensing information. The present work aims at developing a preliminary prototype of a smart dental implant meant to restore the proprioceptive control of the masticatory and chewing muscle activity. After the description of the physiological and biomechanical aspects related to tooth loss, details are provided on the force sensing and electrical stimulation provided by the active implant being proposed. Simulation results obtained with the development tool of the GreenPAK programmable chip being used are included.

Abstract
A fiber sensor composed by a graphene oxide membrane at the tip of a capillary is presented. The graphene oxide membrane acts as a low-reflectivity mirror, distanced from a single mode fiber forming a low finesse Fabry-Perot interferometer. The response of the sensor to acoustic pressure with varying frequency is studied in the range between 5 and 45 kHz, attaining a minimum signal to noise ratio of 14 dB. © 2021 The Author(s).

Abstract
Notary services have long been identified as a recurrent example for dematerialisation through blockchain adoption, but has failed to become a world wide reality. The key issue being the distinct legal frameworks throughout the world. Europe in this context has a more restrictive legal context with regard to blockchain use. In this work, we briefly discuss the European role of the Notary, review the existing European solutions and identify related open issues that are not resolved in the existing solutions.

Abstract
The Industry 4.0 (i4.0) paradigm was conceived bearing smart machines enabling capabilities, mostly through real-time communication both between smart equipment on a shop floor and decision-aiding software at the business level. This interoperability is achieved mostly through a reference architecture specifically designed for i4.0, which is aimed at devising the information architecture with real-time capabilities. From such architectures, the Reference Architectural Model for Industrie 4.0 (RAMI 4.0) is considered the preferred approach for implementation purposes, especially within Small and Medium Enterprises (SMEs). Nevertheless, the implementation of RAMI 4.0 is surrounded with great challenges when considering the current industrial landscape, which requires retrofitting of existing equipment and the various communication needs. Through three different case studies conducted within footwear and cork industries, this research proposes a RAMI 4.0 SME implementation methodology that considers the initial stages of equipment preparation to enable smart communications and capabilities. The result is a methodological route aimed for SMEs’ implementation of smart machines, based on RAMI 4.0, which considers both the technological aspects as well as the business requirements. © 2020, Springer Nature Switzerland AG.