Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Vítor Rodrigues

> Home > Persons

Person information

affiliation: VORTEX-CoLab, Vila Nova de Gaia, Portugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/RodriguesP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/RodriguesP23
Vítor Rodrigues, André de Matos Pedro:
llhsc: A DeviceTree Syntax and Semantic Checker. DSN-W 2023: 251-258

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RodriguesDD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RodriguesDD19
Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. Softw. Syst. Model. 18(5): 2875-2906 (2019)
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChestaDDGMNRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChestaDDGMNRS16
Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster:
A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) 2016: 497-511
2015
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/RodriguesAFSPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/RodriguesAFSPV15
Vítor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos:
Certifying execution time in multicores. Sci. Comput. Program. 111: 505-534 (2015)
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/RodriguesASF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/RodriguesASF13
Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido:
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. PADL 2013: 43-59
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/RodriguesPFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/RodriguesPFS11
Vítor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa:
Certifying Execution Time. FOPARA 2011: 108-125
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/RodriguesFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/RodriguesFS11
Vítor Rodrigues, Mário Florido, Simão Melo de Sousa:
A Functional Approach to Worst-Case Execution Time Analysis. WFLP 2011: 86-103

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/RodriguesLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/RodriguesLM08
Vítor Rodrigues, João Correia Lopes, Ana Moreira:
An Hybrid Design Solution For Spacecraft Simulators. CAiSE Forum 2008: 29-32

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.