407 citations
- Universidad de GranadaES24 papers
- Instituto de Astrofísica de AndalucíaES13 papers
- Universidad de ZaragozaES11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- Special Astrophysical ObservatoryRU8 papers
- University of the Basque CountryES7 papers
- Aryabhatta Research Institute of Observational SciencesIN6 papers
- Czech Academy of Sciences, Astronomical InstituteCZ6 papers
- Goddard Space Flight CenterUS6 papers
- Universidade da CoruñaES6 papers
- KTH Royal Institute of TechnologySE5 papers
- Universidad Politécnica de MadridES5 papers
Showing 2015Show all
3 papers · 1 filter
cs.SE2015★ 14 cited
Using Model Checking to Generate Test Cases for Android Applications
Ana Rosario Espada, María del Mar Gallardo, Alberto Salmerón +1
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctnes…
cond-mat.stat-mech2015★ 12 cited
Low-temperature spin-glass behaviour in a diluted dipolar Ising system
Juan J. Alonso
Using Monte Carlo simulations, we study the character of the spin-glass (SG) state of a site-diluted dipolar Ising model. We consider systems of dipoles randomly placed on a fracti…
cs.PL2015★ 1 cited
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Damián Adalid, María del Mar Gallardo, Laura Titolo
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is a…