Javier de Dios

According to our database, Javier de Dios authored at least 4 papers between 2009 and 2011.

Collaborative distances:

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

2011

Certification of Safe Polynomial Memory Bounds.

Javier de Dios, Ricardo Peña

Proceedings of the FM 2011: Formal Methods, 2011

2010

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.

Javier de Dios, Manuel Montenegro, Ricardo Peña

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Formal Certification of a Resource-Aware Language Implementation.

Javier de Dios, Ricardo Peña-Marí

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

A Certified Implementation on Top of the Java Virtual Machine.

Javier de Dios, Ricardo Peña-Marí

Proceedings of the Formal Methods for Industrial Critical Systems, 2009