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: 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
3
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
4
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, 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
INDEXED IN: Scopus DBLP CrossRef: 1
5
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
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

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