Um plano de controle seguro e distribuído para redes definidas por software Veja

FDT-MAC e FDMR-MAC : protocolos de controle de acesso ao meio projetados para explorar o potencial das comunicações full-duplex Veja

Uma arquitetura resiliente baseada em agentes para instâncias transientes na computação em nuvem Veja

A Machine-Verified Theory of commuting strategies for product-line reliability analysis Veja