Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 42



11
TITLE: Towards a formally verified space mission software using SPARK
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4
INDEXED IN: Scopus
12
TITLE: Verification of highly imperative OCaml programs with Why3 [Vérification de programmes OCaml fortement impératifs avec Why3]
AUTHORS: Filliâtre, JC; Pereira, M; de Sousa, SM ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus
13
TITLE: Revisiting concurrent separation logic
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 89
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
14
TITLE: Automated Analysis of Non-Functional Requirements for Web Applications
AUTHORS: Joel Carvalho; Simao Melo de Sousa ; Joao Paulo Fernandes ; Nuno Pereira; Luis Filipe Mendes; Carlos Manuel Figueiredo; Catia Raquel Oliveira;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
15
TITLE: Certifying execution time in multicores
AUTHORS: Rodrigues, V ; Akesson, B; Florido, M ; de Sousa, SM ; Pedroso, JP ; Vasconcelos, P ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
16
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
17
TITLE: Revisiting Concurrent Separation Logic and Operational Semantics PDF
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
IN MY: ORCID
18
TITLE: Complexity checking of ARM programs, by deduction
AUTHORS: Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2014, SOURCE: SAC
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
19
TITLE: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTHORS: Vítor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLISHED: 2013, SOURCE: PADL, VOLUME: 7752 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
20
TITLE: E-Id Authentication and Uniform Access to Cloud Storage Service Providers
AUTHORS: Gouveia, J; Crocker, PA ; de Sousa, SM ; Azevedo, R;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
Page 2 of 5. Total results: 42.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service