| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Trustworthy Cloud Computing | 978-1-119-11350-8 (1-119-11350-4) | 2016 |
| Trustworthy Compilers | 978-0-470-50095-8 (0-470-50095-6) | 2010 |
| Using Aspect-Oriented Programming for Trustworthy Software Development | 978-0-470-13817-5 (0-470-13817-3) | 2008 |