We stand with Ukraine  

Rodrigo Pastl Pontes

Affiliations:
  • Technical University of Berlin, Germany (PhD 2018)
  • Instituto Tecnologico de Aeronautica, São José dos Campos, Brazil (2009 - 2011)


According to our database1, Rodrigo Pastl Pontes authored at least 5 papers between 2010 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Integrating model checking and model based testing for industrial software development.
[BibTeX]
[DOI]
Emília Villani
,
Rodrigo Pastl Pontes
,
Guilherme Kisseloff Coracini
,
Ana Maria Ambrosio
Comput. Ind., 2019

2018
Methodology for the in-process evaluation of software-based process failures in selective laser melting machine tools.
[BibTeX]
[DOI]
Rodrigo Pastl Pontes
PhD thesis, 2018

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

2011
Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
[BibTeX]
[DOI]
Rodrigo Pastl Pontes
MSc thesis, 2011

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


  Loading...