Bibliographies

This is a list of bibliographies that I have collected over time. None of them are meant to be complete, so any comments or pointers to additional literature are always appreciated.

This bibliography lists a number of works from the literature dealing with non-functional properties and requirements.
As part of my RIVAR fellowship, I am working on aspect reuse and verification. Here, I collect related work.