Aggressive voltage scaling to 1V and below through technology, circuit, and architecture optimization has been proven to be the key to ultra low-power design. The key technology t...
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
Although information about users is vitally important in inclusive design, its use is often limited. The literature suggests that this is, at least in part, due to the ways in whic...
We specify and implement a GUI application that simulates marine biological systems by making extensive use of objectoriented design patterns. The key design patterns are model-vi...
Designers still often create a specific user interface for every target platform they wish to support, which is timeconsuming and error-prone. The need for a multi-platform user i...
Jan Meskens, Jo Vermeulen, Kris Luyten, Karin Coni...