In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
In recent years, a major thread of research on kanonymity has focused on developing more flexible generalization schemes that produce higher-quality datasets. In this paper we in...
– Within the next years a new generation of humanoid robots is going to be developed being able to manage autonomously sophisticated tasks in a complex, time variant domestic env...
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...