Pierre Roux
发表
Susana Sargento,
Nuno Carapeto,
Filipe Cabral Pinto,
2011,
2011 IEEE Symposium on Computers and Communications (ISCC).
Mohamed Kamoun,
Pierre Roux,
2011,
2011 Future Network & Mobile Summit.
Sriram Sankaranarayanan,
Pierre Roux,
Yuen-Lam Voronin,
2016,
SAS.
Sylvain Conchon,
Pierre Roux,
Mohamed Iguernlala,
2018,
TACAS.
Pierre Roux,
Mounir Kellil,
Abdelmadjid Bouabdallah,
2019,
2019 Wireless Days (WD).
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2012,
HSCC '12.
Pierre Roux,
2015,
Journal of Automated Reasoning.
Pierre Roux,
Karine Gosse,
Pierrick Seite,
2008,
IEEE Wireless Communications.
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2016,
HSCC.
Pierre Roux,
Pierre-Loïc Garoche,
Xavier Thirioux,
2018,
2018 Forum on Specification & Design Languages (FDL).
Pierre Roux,
Pierre-Loïc Garoche,
2014,
FM.
Zdenek Becvar,
Pierre Roux,
Pavel Mach,
2012,
EURASIP J. Wirel. Commun. Netw..
Sriram Sankaranarayanan,
Pierre Roux,
Yuen-Lam Voronin,
2018,
Formal Methods Syst. Des..
Abdelmadjid Bouabdallah,
Pierre Roux,
Mounir Kellil,
2012,
NEW2AN.
Michael Dierkes,
Pierre Roux,
Pierre-Loïc Garoche,
2013,
FMICS.
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992,
PARLE.
Abdelmadjid Bouabdallah,
Pierre Roux,
Mounir Kellil,
2020,
2020 11th International Conference on Network of the Future (NoF).
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2015,
Formal Methods Syst. Des..
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992,
TOOLS.
Rachid Guerraoui,
Pierre Roux,
Agnes Lanusse,
1992,
ECOOP.
Abdelmadjid Bouabdallah,
Pierre Roux,
Mounir Kellil,
2020,
NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium.
Abdelmadjid Bouabdallah,
Enrico Natalizio,
Pierre Roux,
2013,
2013 IEEE International Conference on Distributed Computing in Sensor Systems.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2013,
ATVA.
Pierre Roux,
Günther Drevin,
Vincent Mattana,
2015,
GREC.
Marc Boyer,
Pierre Roux,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
Pierre Roux,
Érik Martin-Dorel,
P. Roux,
2017,
CPP.
Pierre Roux,
Radu Siminiceanu,
2010,
NASA Formal Methods.
Pierre Roux,
Érik Martin-Dorel,
Guillaume Bertholon,
2019,
ITP.
Pierre Roux,
Pierre-Loïc Garoche,
Rémi Delmas,
2010,
Electron. Notes Theor. Comput. Sci..
Pierre Roux,
Pierre-Loïc Garoche,
Romain Jobredeaux,
2015,
HSCC.
Marc Boyer,
Pierre Roux,
Lucien Rakotomalala,
2021,
NFM.
Pierre Roux,
Delphine Salort,
P. Roux,
2021,
Kinetic & Related Models.
Pierre Roux,
Alexis Leculier,
P. Roux,
2021,
Acta Applicandae Mathematicae.
Pierre Roux,
Gautier Hattenberger,
Xavier Thirioux,
2021,
FMICS.
Pierre Roux,
Danielle Hilhorst,
Masayasu Mimura,
2021
.
Marc Boyer,
Pierre Roux,
2016
.
Pierre Roux,
2017
.
Pierre Roux,
Pierre-Löıc Garoche,
2013
.