Pedro de la Cámara

According to our database, Pedro de la Cámara authored at least 6 papers between 2005 and 2011.

Collaborative distances:

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

2011

Verification support for ARINC-653-based avionics software.

Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino

Softw. Test. Verification Reliab., 2011

2009

Checking the reliability of socket based communication software.

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán

Int. J. Softw. Tools Technol. Transf., 2009

2007

Model Extraction for ARINC 653 Based Avionics Software.

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino

Proceedings of the Model Checking Software, 2007

2006

Abstract Matching for Software Model Checking.

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.

José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Model checking software with well-defined APIs: the socket case.

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005