1
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;
SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July, PUBLISHED: 2016
INDEXED IN: Scopus WOS CrossRef: 1
2
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
3
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
4
TITLE: Revisiting Concurrent Separation Logic and Operational Semantics
AUTHORS: Pedro Soares; Antonio Ravara; Simao Melo de Sousa ;
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), PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
5
TITLE: Revisiting Concurrent Separation Logic and Operational Semantics
AUTHORS: Pedro Soares; Antonio Ravara; Simao Melo de Sousa ;
SOURCE: International Association of Institutes of Navigation in 2015 INTERNATIONAL ASSOCIATION OF INSTITUTES OF NAVIGATION WORLD CONGRESS (IAIN), PUBLISHED: 2015
INDEXED IN: Scopus WOS
6
TITLE: Complexity checking of ARM programs, by deduction
AUTHORS: Mário Pereira; Simão Melo de Sousa ;
SOURCE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, PUBLISHED: 2014
INDEXED IN: DBLP
IN MY: DBLP
7
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 ;
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, PUBLISHED: 2013
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
8
TITLE: E-Id Authentication and Uniform Access to Cloud Storage Service Providers
AUTHORS: Joao Gouveia; Paul Andrew Crocker; Simao Melo de Sousa ; Ricardo Azevedo;
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, PUBLISHED: 2013
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
9
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
SOURCE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 1 of 3. Total results: 29.