Raúl Pardo
发表
J. Tapiador,
Raúl Pardo,
Pablo Picazo-Sanchez,
2017
.
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019
.
O. Kulyk,
Raúl Pardo,
Louis Halvorsen,
2022,
IWSPA@CODASPY.
A. Wasowski,
Raúl Pardo,
A. Alami,
2022,
IEEE Transactions on Software Engineering.
Christian W. Probst,
T. Lumley,
A. Wasowski,
2022,
DPM/CBT@ESORICS.
Gerardo Schneider,
Pablo Picazo-Sanchez,
Raúl Pardo,
2017,
SEC.
G. Schneider,
Raúl Pardo,
2015
.
Gerardo Schneider,
Raúl Pardo,
G. Schneider,
2014,
SEFM.
Daniel Le Métayer,
Raúl Pardo,
Raúl Pardo,
2019,
DBSec.
Gerardo Schneider,
Pablo Picazo-Sanchez,
Raúl Pardo,
2020,
J. Log. Algebraic Methods Program..
Gerardo Schneider,
Musard Balliu,
Raúl Pardo,
2017,
J. Log. Algebraic Methods Program..
Gordon J. Pace,
Joshua Ellul,
Wolfgang Ahrendt,
2019,
FSEN.
Gordon J. Pace,
Wolfgang Ahrendt,
Raúl Pardo,
2019
.
Raúl Pardo,
Rasmus C. Ronneberg,
Andrzej Wasowski,
2023,
SEFM.
Patrizio Pelliccione,
Gerardo Schneider,
Piergiuseppe Mallozzi,
2018,
2018 Second IEEE International Conference on Robotic Computing (IRC).
Victor Morel,
Ra'ul Pardo,
Raúl Pardo,
2019,
WPES@CCS.
Victor Morel,
Ra'ul Pardo,
Raúl Pardo,
2019,
ArXiv.
Christian W. Probst,
Raúl Pardo,
Willard Rafnsson,
2020,
ArXiv.
César Sánchez,
Gerardo Schneider,
Raúl Pardo,
2018,
FM.
G. Schneider,
Raúl Pardo,
César Sánchez,
2017,
ArXiv.
Andrzej Wasowski,
Willard Rafnsson,
Raúl Pardo,
2020,
ESORICS.