We stand with Ukraine  

Paulo C. Véras

According to our database1, Paulo C. Véras authored at least 4 papers between 2010 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
A benchmarking process to assess software requirements documentation for space applications.
[BibTeX]
[DOI]
Paulo C. Véras
,
Emília Villani
,
Ana Maria Ambrosio
,
Marco Vieira
,
Henrique Madeira
J. Syst. Softw., 2015

2014
Contributions of model checking and CoFI methodology to the development of space embedded software.
[BibTeX]
[DOI]
Rodrigo Pastl Pontes
,
Paulo Claudino Véras
,
Ana Maria Ambrosio
,
Emília Villani
Empir. Softw. Eng., 2014

2010
Benchmarking Software Requirements Documentation for Space Application.
[BibTeX]
[DOI]
Paulo C. Véras
,
Emília Villani
,
Ana Maria Ambrosio
,
Rodrigo Pastl Pontes
,
Marco Vieira
,
Henrique Madeira
Proceedings of the Computer Safety, 2010

Errors on Space Software Requirements: A Field Study and Application Scenarios.
[BibTeX]
[DOI]
Paulo C. Véras
,
Emília Villani
,
Ana Maria Ambrosio
,
Nuno Silva
,
Marco Vieira
,
Henrique Madeira
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010


  Loading...