| Using SPIN for automated debugging of infinite executions of Java programs D Adalid, A Salmerón, M del Mar Gallardo, P Merino Journal of Systems and Software 90, 61-75, 2014 | 17 | 2014 |
| Modeling Hybrid Systems in the Concurrent Constraint Paradigm D Adalid, MM Gallardo arXiv preprint arXiv:1501.02030, 2015 | 4 | 2015 |
| Modeling hybrid systems in Hy-tccp D Adalid, MM Gallardo arXiv preprint arXiv:1412.4550, 2014 | 3 | 2014 |
| Testing temporal logic on infinite Java traces D Adalid, A Salmerón, MM Gallardo, P Merino MSVVEIS 2012, 2012 | 1 | 2012 |
| Modelling Hybrid Systems on a Concurrent Constraint Paradigm (Work in Progress) D Adalid, M del Mar Gallardo XIV Jornadas sobre Programación y Lenguajes, 89, 0 | | |
