| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
1936 | Jorge Miguel Matos Sousa Pinto | Prof. Associado c/ Agregação | Lógica e Métodos Formais | E-mail
Ext.: +604455 | E7-2.28 |
Qualificações: 1992 - Licenciatura em Engenharia Electrotécnica (Universidade do Porto); 1995 - Mestrado em Informática / Ciências da Computação (U. Minho); 2001 - Docteur de l’École Polytechnique em Ciência da Computação (École Polytechnique, França) | Página pessoal: https://jspdium.github.io |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
Publicações selecionadas | - Cláudio Belo Lourenço, Jorge Sousa Pinto: Why3-do: The Way of Harmonious Distributed System Proofs. ESOP 2022: 114-142
- Md. Imran Alam, Raju Halder, Jorge Sousa Pinto: A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175: 110903 (2021)
- João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto: Testing for Race Conditions in Distributed Systems via SMT Solving. TAP@STAF 2020: 122-140
- A. de Matos Pedro, J. S. Pinto, D. Pereira, and L. M. Pinho. Runtime verification of autopilot systems using a fragment of MTL-D . International Journal on Software Tools for Technology Transfer (STTT), 20(4):379–395, 2018
- R. A. B. e Silva, N. N. Arai, L. A. Burgareli, J. M. P. de Oliveira, and J. S. Pinto. Formal verification with Frama-C: A Case Study in the Space Software Domain. IEEE Trans. Reliability, 65(3):1163–1179, 2016
|
Projetos | - SAFER - Safety Verification for Robotic Software. FCT, PTDC/CCI-INF/29583/2017.
- REASSURE: Secure Runtime Verification for Reliable Real-Time Embedded Software. FCT, PTDC/EEI-COM/28550/2017
- PROVA: Plataforma para a especificação e Validação de Requisitos). QREN, 23137/13/SI/2011 ( Co-PI )
- AVIACC: Analysis and Verification of Critical Concurrent Programs. FCT, PTDC/EIA-CCO/108995/2008 ( PI )
|
Docência | Regências: | Aulas: - Algoritmos e Complexidade [8503O8]: turno TP 2
- Algoritmos e Complexidade [H503N6]: turno T 1
- Métodos Formais em Engenharia de Software [H507U5]: turnos T 1, TP 1 e TP 2
- Algoritmos e Complexidade [J303N6]: turno T 1
- Dados e Computação [J902N4]: turnos T 1 e TP 1
- Métodos Formais em Engenharia de Software [MC25MC2503003255]: turnos T 1 e TP 1
- Verificação Formal [MC25MC2503005186]: turnos T 1 e TP 1
- Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1, TP 1 e TP 2
- Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1
|
Serviço | - Member of the board of the joint Minho-Aveiro-Porto doctoral programme in Computer Science (MAP-i)
|
Departamento de Informática (UM)