This site uses cookies to deliver our services and to ensure you get the best experience. By continuing to use this site, you consent to our use of cookies and acknowledge that you have read and understand our Privacy Policy, Cookie Policy, and Terms
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...