Tracking known security vulnerabilities in proprietary software systems

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

Obstacle avoidance by combining background subtraction, optical flow and proximity estimation

Modular specification and dynamic enforcement of syntactic language constraints when generating code

Separation of concerns in language definition

Quantifying the encapsulation of implemented software architectures

Orientation finding using a grid based visual compass

Automated Optimization of Walking Parameters for the Nao Humanoid Robot

Sessie 4 Mogelijkheden om de particuliere huursector te vergroten - Wooncongres 2013

Sound Synthesis Approach for Noise Annoyance Assessment of Rotorcraft Operations

Testing principles, current practices, and effects of change localization

A Framework for Qualitative Multi-Criteria Preferences (extended abstract)

Measuring Library Stability Through Historical Version Analysis

Interest-based preference reasoning

An argumentation framework for qualitative multi-criteria preferences

Hydrodynamic erosion process of undisturbed clay

Efficient use of the Noise Budget at Schiphol Airport through Minimax Optimization of Runway Allocations

Development of a Multi-Event Trajectory Optimization Tool for Noise-Optimized Approach Route Design

Closing the gap between simulation and reality in the sensor and motion models of an autonomous AR.Drone

An argumentation framework for deriving qualitative risk sensitive preferences