Tiago Jorge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2022
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MODELS | 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 |
| 2019 | FM | Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. | Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
| 2015 | DAIS | Practical Evaluation of Large Scale Applications. | Tiago Jorge, Francisco Maia, Miguel Matos, Jos Pereira, Rui Oliveira |