Miguel Isabel | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Alexandra Silva
29 publications
Elvira Albert
10 publications
Albert Rubio
9 publications
Miguel Gómez-Zamalloa
2 publications
Matteo Sammartino
2 publications

research

∙ 01/27/2020

Actor-Based Model Checking for SDN Networks

Software-Defined Networking (SDN) is a networking paradigm that has beco...

0 Elvira Albert, et al. ∙

research

∙ 09/13/2017

On the Generation of Initial Contexts for Effective Deadlock Detection

It has been recently proposed that testing based on symbolic execution c...

0 Elvira Albert, et al. ∙