Yannick Moy
发表
José F. Ruiz,
Cyrille Comar,
Yannick Moy,
2012,
Ada-Europe.
Yannick Moy,
Nikolai Kosmatov,
Claude Marché,
2016,
ISoLA.
Yannick Moy,
Nikolai Kosmatov,
Julien Signoles,
2012
.
Yannick Moy,
Alejandro R. Mosteo,
Zaragoza Zaragoza,
2018,
ROSCon Madrid 2018.
Yannick Moy,
Pierre Courtieu,
Maria-Virginia Aponte,
2012,
FM.
Yannick Moy,
Andrei Paskevich,
Georges-Axel Jaloyan,
2018,
ArXiv.
Yannick Moy,
S. Tucker Taft,
Florian Schanda,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Yannick Moy,
Claude Marché,
Yannick Moy,
2009
.
Yannick Moy,
2018,
ALET.
Yannick Moy,
Amin Elmrabti,
Valentin Brossard,
2018
.
Yannick Moy,
Jérôme Guitton,
Johannes Kanig,
2011,
Softwaretechnik-Trends.
Yannick Moy,
Clément Fumex,
Romain Béguet,
2018
.
Yannick Moy,
Claude March,
2007
.
Yannick Moy,
Claude Marché,
David Hauzar,
2018,
J. Log. Algebraic Methods Program..
Yannick Moy,
Yannick Moy,
2018,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Yannick Moy,
Nicolas Setton,
2015,
ALET.
Yannick Moy,
2011,
ALET.
Yannick Moy,
Claire Dross,
Yannick Moy,
2016,
RSSRail.
Yannick Moy,
Yannick Moy,
2008,
VMCAI.
Yannick Moy,
Johannes Kanig,
David Lesens,
2013
.
Yannick Moy,
Johannes Kanig,
Johannes Kanig,
2013
.
Yannick Moy,
Claire Dross,
David Lesens,
2014
.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2006
.
Yannick Moy,
Zhi Zhang,
Pierre Courtieu,
2017,
SEFM.
Yannick Moy,
2011,
ALET.
Yannick Moy,
Andrei Paskevich,
Claire Dross,
2018,
ICFEM.
Yannick Moy,
Claude Marché,
David Hauzar,
2016,
IEEE International Conference on Software Engineering and Formal Methods.
Yannick Moy,
Claude Marché,
Clément Fumex,
2017,
VSTTE.
Cyrille Comar,
Yannick Moy,
Johannes Kanig,
2012,
Automotive - Safety & Security.
Yannick Moy,
2018,
ALET.
Yannick Moy,
2018,
ALET.
Yannick Moy,
Virginie Wiels,
Benjamin Monate,
2013,
IEEE Software.
Yannick Moy,
2007
.
Yannick Moy,
Claude Marché,
Sylvain Dailler,
2018,
F-IDE@FLoC.
Yannick Moy,
Benjamin M. Brosgol,
Claire Dross,
2019,
2019 IEEE Cybersecurity Development (SecDev).
Yannick Moy,
Jean-Christophe Filliâtre,
Claire Dross,
2011,
TAP@TOOLS.
Yannick Moy,
Roderick Chapman,
Angela Wallenburg,
2014,
International Journal on Software Tools for Technology Transfer.
Yannick Moy,
2018,
ALET.
Yannick Moy,
Claude Marché,
Jean-Christophe Filliâtre,
2008
.
Jérôme Hugues,
Cyrille Comar,
Yannick Moy,
2014
.
Cyrille Comar,
Yannick Moy,
Johannes Kanig,
2012
.
Yannick Moy,
2012,
ALET.
Yannick Moy,
S. Tucker Taft,
Maroua Maalej,
2018,
Ada-Europe.
Yannick Moy,
Claude Marché,
Clément Fumex,
2017
.
Yannick Moy,
Claude Marché,
2010,
J. Symb. Comput..
Yannick Moy,
Claire Dross,
Yannick Moy,
2017,
NFM.
Yannick Moy,
Yannick Moy,
2010
.
Yannick Moy,
2012,
ALET.
Yannick Moy,
2018,
ALET.
Cyrille Comar,
Yannick Moy,
Jérôme Guitton,
2014,
TAP@STAF.
Yannick Moy,
Kyriakos Georgiou,
Paul Butcher,
2021,
ArXiv.
Yannick Moy,
Kyriakos Georgiou,
Guillaume Cluzel,
2021,
2021 IEEE Secure Development Conference (SecDev).
Yannick Moy,
2021,
Electronic Proceedings in Theoretical Computer Science.
Yannick Moy,
Yannick Moy,
2010
.
Yannick Moy,
Yannick Moy,
2007
.