Vitor Gabriel dos Reis Machado Rodrigues


AuthID: R-000-M4C

Confirmed Publications: 6



1
TITLE: A Toolchain for Delta-Oriented Modeling of Software Product Lines
AUTHORS: Cristina Chesta; Ferruccio Damiani; Liudmila Dobriakova; Marco Guernieri; Simone Martini; Michael Nieke; Vitor Rodrigues ; Sven Schuster;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Certifying execution time in multicores  Full Text
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
3
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
4
TITLE: A Functional Approach to Worst-Case Execution Time Analysis
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5
TITLE: Certifying Execution Time
AUTHORS: Vítor Rodrigues ; João Pedro Pedroso ; Mário Florido ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: FOPARA, VOLUME: 7177 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
6
TITLE: An hybrid design solution for spacecraft simulators PDF
AUTHORS: Rodrigues, V ; Lopes, JC ; Moreira, A ;
PUBLISHED: 2008, SOURCE: CAiSE Forum 2008 at the 20th International Conference on Advanced Information System Engineering, CAiSE 2008 in CEUR Workshop Proceedings, VOLUME: 344
INDEXED IN: Scopus DBLP

footer slogan

Useful Links

Get Help

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