BibTeX records: Tiago Jorge

• > Home > Persons > Tiago Jorge

@inproceedings{DBLP:conf/cf/CurzelFCJTF23,
  author       = {Serena Curzel and
                  Michele Fiorito and
                  Patricia L{\'{o}}pez Cueva and
                  Tiago Jorge and
                  Thanassis Tsiodras and
                  Fabrizio Ferrandi},
  editor       = {Andrea Bartolini and
                  Kristian F. D. Rietveld and
                  Catherine D. Schuman and
                  Jose Moreira},
  title        = {Exploration of Synthesis Methods from Simulink Models to {FPGA} for
                  Aerospace Applications},
  booktitle    = {Proceedings of the 20th {ACM} International Conference on Computing
                  Frontiers, {CF} 2023, Bologna, Italy, May 9-11, 2023},
  pages        = {243--249},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3587135.3592766},
  doi          = {10.1145/3587135.3592766},
  timestamp    = {Sat, 30 Sep 2023 09:36:30 +0200},
  biburl       = {https://dblp.org/rec/conf/cf/CurzelFCJTF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/DragomirRJGOKBP22,
  author       = {Iulia Dragomir and
                  Carlos Redondo and
                  Tiago Jorge and
                  Laura Gouveia and
                  Iulian Ober and
                  Ivan Kolesnikov and
                  Marius Bozga and
                  Maxime Perrotin},
  editor       = {Thomas K{\"{u}}hn and
                  Vasco Sousa},
  title        = {Model-checking of space systems designed with {TASTE/SDL}},
  booktitle    = {Proceedings of the 25th International Conference on Model Driven Engineering
                  Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
                  Quebec, Canada, October 23-28, 2022},
  pages        = {237--246},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550356.3561541},
  doi          = {10.1145/3550356.3561541},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/DragomirRJGOKBP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2111-10132,
  author       = {Iulia Dragomir and
                  Marius Bozga and
                  Iulian Ober and
                  D. Silveira and
                  Tiago Jorge and
                  E. Ala{\~{n}}a and
                  Maxime Perrotin},
  title        = {Formal verification of space systems designed with {TASTE}},
  journal      = {CoRR},
  volume       = {abs/2111.10132},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.10132},
  eprinttype    = {arXiv},
  eprint       = {2111.10132},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-10132.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip5-5/SimaoPCPLRJL20,
  author       = {Carlos Sim{\~{a}}o and
                  Jo{\~{a}}o Murta Pina and
                  Lu{\'{\i}}s Coelho and
                  Jo{\~{a}}o P{\'{a}}ssaro and
                  Rui Amaral Lopes and
                  Fernando Reboredo and
                  Tiago Jorge and
                  Diogo Lemos},
  editor       = {Luis M. Camarinha{-}Matos and
                  Nastaran Farhadi and
                  F{\'{a}}bio Lopes and
                  Helena Pereira},
  title        = {Prospects for the Improvement of Energy Performance in Agroindustry
                  Using Phase Change Materials},
  booktitle    = {Technological Innovation for Life Improvement - 11th {IFIP} {WG} 5.5/SOCOLNET
                  Advanced Doctoral Conference on Computing, Electrical and Industrial
                  Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1-3, 2020,
                  Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {577},
  pages        = {277--289},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45124-0\_26},
  doi          = {10.1007/978-3-030-45124-0\_26},
  timestamp    = {Tue, 14 Mar 2023 15:35:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip5-5/SimaoPCPLRJL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/SilveiraJVJ19,
  author       = {Daniel Silveira and
                  Andreas Jung and
                  Marcel Verhoef and
                  Tiago Jorge},
  editor       = {Maurice H. ter Beek and
                  Annabelle McIver and
                  Jos{\'{e}} N. Oliveira},
  title        = {Formal Methods Applicability on Space Applications Specification and
                  Implementation Using {MORA-TSP}},
  booktitle    = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
                  Porto, Portugal, October 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11800},
  pages        = {727--737},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30942-8\_42},
  doi          = {10.1007/978-3-030-30942-8\_42},
  timestamp    = {Mon, 23 Sep 2019 13:47:30 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SilveiraJVJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eucc/BossanyiJ16,
  author       = {Ervin A. Bossanyi and
                  Tiago Jorge},
  title        = {Optimisation of wind plant sector management for energy and loads},
  booktitle    = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
                  29 - July 1, 2016},
  pages        = {922--927},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECC.2016.7810407},
  doi          = {10.1109/ECC.2016.7810407},
  timestamp    = {Tue, 01 Jun 2021 15:22:59 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/BossanyiJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dais/JorgeMMPO15,
  author       = {Tiago Jorge and
                  Francisco Maia and
                  Miguel Matos and
                  Jos{\'{e}} Pereira and
                  Rui Oliveira},
  editor       = {Alysson Bessani and
                  Sara Bouchenak},
  title        = {Practical Evaluation of Large Scale Applications},
  booktitle    = {Distributed Applications and Interoperable Systems - 15th {IFIP} {WG}
                  6.1 International Conference, {DAIS} 2015, Held as Part of the 10th
                  International Federated Conference on Distributed Computing Techniques,
                  DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9038},
  pages        = {124--137},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19129-4\_10},
  doi          = {10.1007/978-3-319-19129-4\_10},
  timestamp    = {Fri, 19 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dais/JorgeMMPO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}