Damián Adalid

According to our database, Damián Adalid authored at least 3 papers in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Using SPIN for automated debugging of infinite executions of Java programs.

Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino

J. Syst. Softw., 2014

Modeling Hybrid Systems in the Concurrent Constraint Paradigm.

Damián Adalid, María-del-Mar Gallardo, Laura Titolo

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Modeling Hybrid Systems in Hy-tccp.

Damián Adalid, María-del-Mar Gallardo, Laura Titolo

CoRR, 2014