Login / Signup
David Andreu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Formal Verification
European Countries
Test Generation
Information Infrastructure
Top Venues
CoRR
ETS
</>
Publications
</>
Marti Alonso
,
David Andreu
,
Ramon Canal
,
Stefano Di Carlo
,
Cristiano Pegoraro Chenet
,
Juanjo Costa
,
Andreu Girones
,
Dimitris Gizopoulos
,
Vasileios Karakostas
,
Beatriz Otero
,
George Papadimitriou
,
Eva Rodríguez
,
Alessandro Savino
Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective.
ETS
(2023)
Marti Alonso
,
David Andreu
,
Ramon Canal
,
Stefano Di Carlo
,
Cristiano Pegoraro Chenet
,
Juanjo Costa
,
Andreu Girones
,
Dimitris Gizopoulos
,
Vasileios Karakostas
,
Beatriz Otero
,
George Papadimitriou
,
Eva Rodríguez
,
Alessandro Savino
Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective.
CoRR
(2023)