Alexandre Bartel
发表
Jacques Klein,
Yves Le Traon,
Somesh Jha,
2013
.
Yves Le Traon,
Monperrus Martin,
Alexandre Bartel,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Jacques Klein,
Yves Le Traon,
Alexandre Bartel,
2012,
SOAP '12.
Matthew L. Dering,
P. Mcdaniel,
S. Jha,
2016,
POPL.
Jacques Klein,
Li Li,
Daoyuan Li,
2015
.
Jacques Klein,
Yves Le Traon,
Somesh Jha,
2013,
USENIX Security Symposium.
Jacques Klein,
Li Li,
Daoyuan Li,
2015,
2015 IEEE International Conference on Software Quality, Reliability and Security.
Jacques Klein,
Li Li,
Yves Le Traon,
2017,
Inf. Softw. Technol..
Jacques Klein,
Yves Le Traon,
Benoit Baudry,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Yuriy Brun,
Jacques Klein,
Max E. Kramer,
2018,
Empirical Software Engineering.
Yves Le Traon,
Alexandre Bartel,
E. Bodden,
2022,
ACM Transactions on Software Engineering and Methodology.
Jacques Klein,
Yves Le Traon,
Eric Bodden,
2014,
PLDI.
Jacques Klein,
Li Li,
Yves Le Traon,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Jacques Klein,
Li Li,
Yves Le Traon,
2017,
ArXiv.
Alexandre Bartel,
Tegawend'e F. Bissyand'e,
Tegawend'e F. Bissyand'e,
2020,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Alexandre Bartel,
Alexandre Bartel,
2014
.
Jacques Klein,
Yves Le Traon,
Alexandre Bartel,
2012,
ArXiv.
Yves Le Traon,
Alexandre Bartel,
Martin Monperrus,
2012,
1208.4536.
Jacques Klein,
Li Li,
Yves Le Traon,
2014,
2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications.
Eric Bodden,
Philipp Holzinger,
Alexandre Bartel,
2016,
CCS.
Alexandre Bartel,
Sabine Houy,
Philipp Schmid,
2023,
ACM Computing Surveys.
Eric Bodden,
William Enck,
Alexandre Bartel,
2019,
CODASPY.
Alexandre Bartel,
E. Bodden,
Y. Le Traon,
2022,
ACM Trans. Softw. Eng. Methodol..
Yves Le Traon,
Alexandre Bartel,
Mike Papadakis,
2021,
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS).
Jacques Klein,
Alexandre Bartel,
Yves Le Traon,
2019,
IEEE Transactions on Information Forensics and Security.
Jacques Klein,
Li Li,
Yves Le Traon,
2016,
POPL.
Alexandre Bartel,
John Doe,
Alexandre Bartel,
2018
.