Practical Evaluation of Large Scale Applications. - Tiago Jorge; Francisco Maia; Miguel Matos; José Pereira 001; Rui Oliveira 001 (DAIS, 2015)

Optimisation of wind plant sector management for energy and loads. - Ervin A. Bossanyi; Tiago Jorge (ECC, 2016)

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. - Daniel Silveira; Andreas Jung; Marcel Verhoef; Tiago Jorge (FM, 2019)

Prospects for the Improvement of Energy Performance in Agroindustry Using Phase Change Materials. - Carlos Simão; João Murta Pina; Luís Coelho; João Pássaro; Rui Amaral Lopes; Fernando Reboredo; Tiago Jorge; Diogo Lemos (DoCEIS, 2020)

Formal verification of space systems designed with TASTE. - Iulia Dragomir; Marius Bozga; Iulian Ober; D. Silveira; Tiago Jorge; E. Alaña; Maxime Perrotin (CoRR, 2021)

Model-checking of space systems designed with TASTE/SDL. - Iulia Dragomir; Carlos Redondo; Tiago Jorge; Laura Gouveia; Iulian Ober; Ivan Kolesnikov; Marius Bozga; Maxime Perrotin (MoDELS (Companion), 2022)

Exploration of Synthesis Methods from Simulink Models to FPGA for Aerospace Applications. - Serena Curzel; Michele Fiorito; Patricia López Cueva; Tiago Jorge; Thanassis Tsiodras; Fabrizio Ferrandi (CF, 2023)