| Integrating Context-Awareness and Trustworthiness in IoT Descriptions | 4 | 0.47 | 2013 |
| An Architecture for Managing and Delivering Trustworthy Context-Dependent Services | 6 | 0.58 | 2011 |
| A formal approach for the specification and verification of trustworthy component-based systems | 15 | 1.00 | 2011 |
| Managing and Delivering Trustworthy Context-Dependent Services | 3 | 0.54 | 2011 |
| A rigorous approach for constructing self-evolving real-time reactive systems | 4 | 0.88 | 2003 |
