Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
Sean W. M. Siqueira, Maria Helena Lima Baptista Br...
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...