Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (4)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

  2. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

2017

  1. Exploring the Frequency Domain of Continuous Glucose Monitoring Signals to Improve Characterization of Glucose Variability and of Diabetic Profiles

    Journal of Diabetes Science and Technology, Vol. 11, Núm. 4, pp. 773-779

2014

  1. Can continuous glucose monitoring identify risk factors in type 1 and type 2 diabetes? A literature review

    2014 IEEE-EMBS International Conference on Biomedical and Health Informatics, BHI 2014