Skip to main content Skip to search
Home

MORSE Research Group

Home MORSE Research Group
toggle
Main menu
  • Home
  • Members
  • Projects
  • Publications
  • Activities
  • Tools
  • PerformNetworks
  • Contact
You are here
  • Home »
  • Biblio

Biblio

Found 4 results
Filters: Author is Ana Rosario Espada  [Clear All Filters]
2019
Espada ARosario, Gallardo M-del-M, Salmeron A, Panizo L, Merino P.  2019.  A formal approach to automatically analyse extra-functional properties in mobile applications. Software Testing, Verification and Reliability. :e1699.
2014
Espada ARosario, Gallardo M-del-M.  2014.  Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium). Proceedings of the I DC2014.
2013
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  DRAGONFLY : Encapsulating Android for Instrumentation. Proceedings of the XIII PROLE13.
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  A Runtime Verification Framework for android Applications. Proceedings of XXI JCSD.
Main menu
  • Home
  • Members
  • Projects
  • Publications
  • Activities
  • Tools
  • PerformNetworks
  • Contact