| User constraints for reliable user-defined smart home scenarios. | 2 | 0.37 | 2016 |
| Validating Timed Component Contracts | 0 | 0.34 | 2015 |
| A method for model checking feature interactions | 1 | 0.35 | 2015 |
| Model Checking Feature Interactions. | 0 | 0.34 | 2015 |
| Arrowhead compliant virtual market of energy | 5 | 0.63 | 2014 |
| HomePort: Middleware for heterogeneous home automation networks | 3 | 0.39 | 2013 |
| A Toolchain for Home Automation Controller Development | 2 | 0.50 | 2013 |
| The ENCOURAGE ICT architecture for heterogeneous smart grids | 7 | 0.79 | 2013 |
