. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers
Towards improved Validation of Autonomous Systems for Smart Farming CISTER-TR-180302 
Martijn Rooker, Pablo Horstrand, Aythami Salvador Rodriguez, Sebastian Lopez, Roberto Sarmiento, Jose Lopez, Ray Alejandro Lattarulo, Joshue Manuel Perez Rastelli, Zora Slavik, David Pereira, Markku Pusenius, Tapio LeppälampiSmart Farming Workshop (Smart Farming 2018). 10, Apr, 2018, Workshop. Porto, Portugal.SmartFarming Workshop was held as part of the CPS Week 2018, Porto - Portugal, April 10th - 13th, 2018.
Formal Verification of AADL Models Using UPPAAL CISTER-TR-171101 
Fernando Gonçalves, David Pereira, Eduardo Tovar, Leandro BeckerVII Brazilian Symposium on Computing Systems Engineering (SBESC 2017). 7 to 10, Nov, 2017, Session 10: Development and Tools - B, pp 117-124. Curitiba, Brasil.