Model checking software with well-defined APIs: the socket case. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001; David Sanán (FMICS, 2005)

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 001; Francisco C. Perez; Victoria Morillo (ISoLA, 2006)

Abstract Matching for Software Model Checking. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 2006)

Model Extraction for ARINC 653 Based Avionics Software. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 2007)

Checking the reliability of socket based communication software. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001; David Sanán (Int. J. Softw. Tools Technol. Transf., 2009)

Verification support for ARINC-653-based avionics software. - Pedro de la Cámara; J. Raúl Castro; María-del-Mar Gallardo; Pedro Merino 001 (Softw. Test. Verification Reliab., 2011)