Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 43



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 | DBLP | CIÊNCIAVITAE
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  Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
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 | DBLP | CIÊNCIAVITAE
18
TITLE: Complexity checking of ARM programs, by deduction
AUTHORS: Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2014, SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
19
TITLE: A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
AUTHORS: Vitor Rodrigues ; Benny Akesson; Simão Melo de Sousa ; Mário Florido ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
20
TITLE: E-Id Authentication and Uniform Access to Cloud Storage Service Providers
AUTHORS: Joao Gouveia; Paul Andrew Crocker ; Simao Melo de Sousa ; Ricardo Azevedo;
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 | DBLP | CIÊNCIAVITAE
Page 2 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

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