Vitor Gabriel dos Reis Machado Rodrigues


AuthID: R-000-M4C

Publicações Confirmadas: 6



1
TÍTULO: A Toolchain for Delta-Oriented Modeling of Software Product Lines
AUTORES: Cristina Chesta; Ferruccio Damiani; Liudmila Dobriakova; Marco Guernieri; Simone Martini; Michael Nieke; Vitor Rodrigues ; Sven Schuster;
PUBLICAÇÃO: 2016, FONTE: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, VOLUME: 9953
INDEXADO EM: Scopus WOS CrossRef
2
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
3
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
4
TÍTULO: A Functional Approach to Worst-Case Execution Time Analysis
AUTORES: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5
TÍTULO: Certifying Execution Time
AUTORES: Vítor Rodrigues ; João Pedro Pedroso ; Mário Florido ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: FOPARA, VOLUME: 7177 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
6
TÍTULO: An hybrid design solution for spacecraft simulators PDF
AUTORES: Rodrigues, V ; Lopes, JC ; Moreira, A ;
PUBLICAÇÃO: 2008, FONTE: CAiSE Forum 2008 at the 20th International Conference on Advanced Information System Engineering, CAiSE 2008 in CEUR Workshop Proceedings, VOLUME: 344
INDEXADO EM: Scopus DBLP

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