Seguir
Damián Adalid
Damián Adalid
Research Assistant in University of Malaga
Dirección de correo verificada de lcc.uma.es
Título
Citado por
Citado por
Año
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
172014
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
D Adalid, MM Gallardo
arXiv preprint arXiv:1501.02030, 2015
42015
Modeling hybrid systems in Hy-tccp
D Adalid, MM Gallardo
arXiv preprint arXiv:1412.4550, 2014
32014
Testing temporal logic on infinite Java traces
D Adalid, A Salmerón, MM Gallardo, P Merino
MSVVEIS 2012, 2012
12012
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5