Assessment process for a simulation-based training environment in Global Software Development

Automated WAIT for Cloud-based Application Testing

Beyond Free Software

{textquotedblleft}Why can’t I do that?{textquotedblright}: Tracing Adaptive Security Decisions

?Why can?t I do that??: tracing adaptive security decisions

Analysing interactive devices based on information resource constraints

Vehicular Communications-based Speed Advisory System for Electric Bicycles

Verifying FreeRTOS’ Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code

Verifying Temporal Properties of Reactive Systems by Transformation

VFDS: An Application to Generate Fast Sample Databases