Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Jorge Sousa Pinto
Investigador Coordenador
Publicações
Exploring Frama-C Resources by Verifying Space Software
Busquim e Silva, RA;Arai, NN;Burgareli, LA;Parente de Oliveira, JM;Sousa Pinto, J;
2024
Computer Science Foundations and Applied Logic
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008
Kniesel, G;Pinto, JS;
2012
RULE
Combining interaction nets with externally defined programs
Fernández, M;Mackie, I;Pinto, JS;
2001
APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001.
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
Abal, I;Cunha, A;Hurd, J;Pinto, JS;
2012
Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Teses Orientadas
Early Validation of System Requirements and Design
Marcelo António Caridade Miranda
M - 2019
UM-EEUM
Scalable Trace Analysis of Distributed Systems Finding data races
João Carlos Mendes Pereira
M - 2020
UM-EEUM
Formalization of Deep Learning Techniques with the Why3 Proof Platform
Márcio Alexandre Mota Sousa
M - 2021
UM-EEUM
Conversão para Why3 de Formalizações em Coq
Bárbara Andreia Cardoso Ferreira
M - 2021
UM-EEUM
