Pedro de la Cámara

According to our database1, Pedro de la Cámara authored at least 5 papers between 2006 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Verification support for ARINC-653-based avionics software.
Softw. Test. Verification Reliab., 2011

2009
Checking the reliability of socket based communication software.
Int. J. Softw. Tools Technol. Transf., 2009

2007
Model Extraction for ARINC 653 Based Avionics Software.
Proceedings of the Model Checking Software, 2007

2006
Abstract Matching for Software Model Checking.
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.
Proceedings of the Leveraging Applications of Formal Methods, 2006


  Loading...