MVCE Strategic Partnership: Core 5 Flexible Networks
Lead Research Organisation:
Imperial College London
Department Name: Electrical and Electronic Engineering
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
Publications
Gkelias A
(2009)
The effect of wireless channel on network coding opportunities
JaeSeung Song
(2014)
<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
in IEEE Transactions on Software Engineering
| Description | This work developed new techniques to verify the logic and implementation of network protocols to ensure proper and efficient operations of future mobile networks. In addition, this work also devised new techniques to take advantage of network coding (i.e., data coding schemes at the network level) for the future wireless networks. |
| Exploitation Route | Results from this research provided new insights into the protocol verification and network coding techniques for future flexible networks. They have been published in leading conferences, which are readily accessible by other researchers in the field for further investigation. |
| Sectors | Digital/Communication/Information Technologies (including Software) |