CV Lattes
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
graduation in Computer Science at Universidade Estadual de Maringá (1997), master's in Computer Science at Universidade Estadual de Campinas (2000), doctorate in Computer Science at Universidade Estadual de Campinas (2009) and post-doctorate in Computer Science at Universidade Estadual de Campinas (2014). Currently he is Associate professor at Departamento de Computação from Universidade Estadual de Londrina and collaborator researcher at Instituto de Computação from Universidade Estadual de Campinas. Has experience in Computer Science, focusing on Computer Theory and Software Engineering, acting on the following subjects: Formal verification and validation on Reactive, Real-time and Critical Systems. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
The development process of critical systems, often embedded and mostly reactive, certainly needs the support of formal techniques and methods in order to automate activities related to the system development and, specially, those activities related to testing. One of the most promising approaches is model-based testing, with the aid of appropriate formalisms for treating the reactive aspe…
| 1 / 1 | Completed research grants |
| 2 / 1 | Completed scholarships in Brazil |
| 3 / 2 | All research grants and scholarships |
| Associated processes | |