Vítor Rodrigues

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Top Venues

Softw. Syst. Model.

Publications

Vítor Rodrigues, André Mato Pedro
llhsc: A DeviceTree Syntax and Semantic Checker. DSN-W (2023)
Vítor Rodrigues, Simone Donetti, Ferruccio Damiani
Certifying delta-oriented programs. Softw. Syst. Model. 18 (5) (2019)
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)