Rodrigo Pastl Pontes

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 1

Top Topics

Development Process

Formal Specification

Temporal Properties

Top Venues

Empir. Softw. Eng.

Instituto Tecnológico de Aeronáutica, São José dos Campos, São Paulo, Brazil (MSC)

Education History

Instituto Tecnológico de Aeronáutica, São José dos Campos, São Paulo, Brazil

MSC

Technical University of Berlin, Germany

PHD

Publications

Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104 (2019)
Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio, Emília Villani
Contributions of model checking and CoFI methodology to the development of space embedded software. Empir. Softw. Eng. 19 (1) (2014)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP (2010)