Login / Signup
Damián Adalid
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Java Programs
Computational Intelligence
Hybrid Systems
Multi Threaded
Top Venues
CoRR
J. Syst. Softw.
PROLE
</>
Publications
</>
Damián Adalid
,
Alberto Salmerón
,
María-del-Mar Gallardo
,
Pedro Merino
Using SPIN for automated debugging of infinite executions of Java programs.
J. Syst. Softw.
90 (2014)
Damián Adalid
,
María-del-Mar Gallardo
,
Laura Titolo
Modeling Hybrid Systems in Hy-tccp.
CoRR
(2014)
Damián Adalid
,
María-del-Mar Gallardo
,
Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm.
PROLE
(2014)