Integrating Agile Practices with Plan-Driven Medical Device Software Development

Intelligent product search with soft-boundary preference relaxation

it’s about time: investigating the temporal parameters of decision making in agile teams

Knowledge Compilation with Empowerment

Impact of Standards on the Role and Application of Traceability in the Medical Device Domain

Implementation of a Lightweight Assessment Method for Medical Device Software

Improvements to Core-Guided Binary Search for MaxSAT

Improvements to Satisfiability-Based Boolean Function Bi-Decomposition

Improving Software Security using Search-Based Refactoring

Inferring the Data Access from the Clients of Generic APIs