This paper presents a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of...
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be...
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger...
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two t...
The emerging area of (smart) Cyber Physical Systems (sCPS) triggers demand for new methods of design, development, and deployment of architecturally dynamic distributed systems. C...
Michal Kit, Frantisek Plasil, Vladimir Matena, Tom...
During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specia...
Max E. Kramer, Michael Langhammer, Dominik Messing...
The aggregation of network traffic has been shown to enhance the performance of wireless sensor networks. By reducing the number of packets that are transmitted, energy consumptio...
—Cardiopulmonary exercise testing is a non-invasive method widely used to monitor various physiological signals, describing the cardiac and respiratory response of the patient to...
Elena Baralis, Tania Cerquitelli, Silvia Chiusano,...
—The development of eHealth technologies over the last few years has been pushing healthcare institutions to evolve their own infrastructures. Along with this evolution, critical...
Ricardo Jorge Teixeira Ferreira, Manuel Eduardo Ca...