Tiago Jorge

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Deterministic Finite Automaton

Predictive Power

Top Venues

MoDELS (Companion)

Publications

Serena Curzel, Michele Fiorito, Patricia López Cueva, Tiago Jorge, Thanassis Tsiodras, Fabrizio Ferrandi
Exploration of Synthesis Methods from Simulink Models to FPGA for Aerospace Applications. CF (2023)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) (2022)
Carlos Simão, João Murta Pina, Luís Coelho, João Pássaro, Rui Amaral Lopes, Fernando Reboredo, Tiago Jorge, Diogo Lemos
Prospects for the Improvement of Energy Performance in Agroindustry Using Phase Change Materials. DoCEIS (2020)
Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. FM (2019)
Ervin A. Bossanyi, Tiago Jorge
Optimisation of wind plant sector management for energy and loads. ECC (2016)
Tiago Jorge, Francisco Maia, Miguel Matos, José Pereira, Rui Oliveira
Practical Evaluation of Large Scale Applications. DAIS (2015)