In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Embedded systems commonly execute one program for their lifetime. Designing embedded system architectures with configurable components, such that those components can be tuned to t...
: In 1998 the Stan Ackermans Institute at the Technical University Eindhoven (TU/e), the Netherlands, founded the User System Interaction (USI) Design Program. This program is a tw...
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...