Tiago Jorge

According to our database, Tiago Jorge authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 20th ACM International Conference on Computing Frontiers, 2023

2022

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

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

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

2020

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

Proceedings of the Technological Innovation for Life Improvement, 2020

2019

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.

Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2016

Optimisation of wind plant sector management for energy and loads.

Ervin A. Bossanyi, Tiago Jorge

Proceedings of the 15th European Control Conference, 2016

2015

Practical Evaluation of Large Scale Applications.

Tiago Jorge, Francisco Maia, Miguel Matos, José Pereira, Rui Oliveira

Proceedings of the Distributed Applications and Interoperable Systems, 2015