SAMIR
GENAIM
Profesor contratado doctor
![Foto de SAMIR](/img/nophoto.png)
![Foto de Chalmers University of Technology](/img/noimage_org.png)
Chalmers University of Technology
Gotemburgo, SueciaPublications in collaboration with researchers from Chalmers University of Technology (2)
2012
-
Verified resource guarantees for heap manipulating programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
-
Verified resource guarantees using COSTA and KeY
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation