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

Water Distribution Network Sectorisation Using Graph Theory & Many-Objective Optimisation

What Motivates Software Engineers Working in Global Software Development?

When did your project start? – Software supplier’s perspective

Why and How Should Open Source Projects Adopt Time-Based Releases?

Towards the adoption of formal techniques for kernel qualification

Trends in mobile payments research: A literature review

Twitter users generate better ideas