Pedro de la Cámara

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino
Verification support for ARINC-653-based avionics software. Softw. Test. Verification Reliab. 21 (4) (2011)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Model Extraction for ARINC 653 Based Avionics Software. SPIN (2007)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Abstract Matching for Software Model Checking. SPIN (2006)
José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA (2006)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Model checking software with well-defined APIs: the socket case. FMICS (2005)