Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Publicações Confirmadas: 42



11
TÍTULO: Towards a formally verified space mission software using SPARK
AUTORES: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLICAÇÃO: 2019, FONTE: Ada User Journal, VOLUME: 40, NÚMERO: 4
INDEXADO EM: Scopus
12
TÍTULO: Verification of highly imperative OCaml programs with Why3 [Vérification de programmes OCaml fortement impératifs avec Why3]
AUTORES: Filliâtre, JC; Pereira, M; de Sousa, SM ;
PUBLICAÇÃO: 2018, FONTE: Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 in JFLA 2018 - Journees Francophones des Langages Applicatifs
INDEXADO EM: Scopus
13
TÍTULO: Revisiting concurrent separation logic
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
14
TÍTULO: Automated Analysis of Non-Functional Requirements for Web Applications
AUTORES: Joel Carvalho; Simao Melo de Sousa ; Joao Paulo Fernandes ; Nuno Pereira; Luis Filipe Mendes; Carlos Manuel Figueiredo; Catia Raquel Oliveira;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Rodrigues, V ; Akesson, B; Florido, M ; de Sousa, SM ; Pedroso, JP ; Vasconcelos, P ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
16
TÍTULO: Deciding Kleene algebra terms equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
17
TÍTULO: Revisiting Concurrent Separation Logic and Operational Semantics PDF
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015)
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
NO MEU: ORCID
18
TÍTULO: Complexity checking of ARM programs, by deduction
AUTORES: Mário Pereira; Simão Melo de Sousa ;
PUBLICAÇÃO: 2014, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
19
TÍTULO: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTORES: Vítor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLICAÇÃO: 2013, FONTE: PADL, VOLUME: 7752 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
20
TÍTULO: E-Id Authentication and Uniform Access to Cloud Storage Service Providers
AUTORES: Gouveia, J; Crocker, PA ; de Sousa, SM ; Azevedo, R;
PUBLICAÇÃO: 2013, FONTE: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom) in 2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
Página 2 de 5. Total de resultados: 42.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service