publication venue for
- A Novel Collaboration Paradigm for Reducing Energy Consumption and Carbon Dioxide Emissions in Data Centres. 56:1518-1536. 2013
- Arbitrary Code Injection through Self-propagating Worms in Von Neumann Architecture Devices. 53:1576-1593. 2010
- Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. 38:301-309. 1995