Yves Le Traon

Home

Yves Le Traon is professor at Faculty of Science, Technology and Communication at University of Luxembourg, Campus Kirchberg, in the domain of software engineering, reliability, validation and security. He is also a member of the Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the joint (with Telecom Bretagne) research group SERVAL (SEcuRity and VALidation of services and networks).

His research interests also include OO testing, design for testability, model-driven validation, model based testing, evolutionary algorithms and software measurement. Currently, he his focusing on two main appliocation domains: web-systems and SOA, adaptive and ambient systems.

Professor Le Traon received his engineering degree and his PhD in Computer Science at the “Institut National Polytechnique” in Grenoble, France, in 1997. From 1998 to 2004, he was an associate professor at the University of Rennes, in Brittany, France, where he joined the IRISA Computer Science joint laboratory. He is the co-founder of the Triskell INRIA team, which focuses on innovating design, modeling and testing techniques, such as Model-driven Engineering.

During this period, Professor Le Traon studied design for testability techniques, validation and diagnosis of object-oriented programs and component-based systems. From 2004 to 2006, he was an expert in Model-Driven Architecture and Validation in the EXA team (Requirements Engineering and Applications) at “France Télécom R&D”.

In 2006, he became professor at Telecom Bretagne (Ecole Nationale des Télécommunications de Bretagne) and led the SERVAL team (Validation and Security of Services and Networks), where he pioneered the application of testing for security assessment of web-applications, P2P systems and the promotion of intrusion detection systems using contract-based techniques.

He is author of more than 90 publications in international journals and conferences.

Google Scholar Citations

Ongoing

Award of the Ten-Year Most Influential paper at IEEE/ACM MODELS conference for the paper "Refactoring UML models".

Member of the editorial board of the Software Testing, Verification and Reliability (STVR) journal.

PC member of IEEE ICST 2012 in Montreal.
PC member of VOLT (Verification of mOdel Transformations) workshop co-located with ICST 2012.
PC member of the 7th International Workshop on Mutation Analysis (Mutation 2012) workshop co-located with ICST 2012.
PC member of the ACM SAC 2012 Track on Software Verification and Testing, in Riva del Garda (Trento, Italy)
PC member of the 12th International Conference on Quality Software (QSIC 2012), that will be held in Xi’an China on August 27-28,
2012.
PC member of the 2nd Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST 2012) co-located with ICST 2012.

Key research interests

Software testing, Validation and Verification, security testing, Model Based Testing
SBSE, search-based Software Engineering
MDE, Model-Driven Engineering, Model-driven security, model composition
design for security,

Current PhD Supervision

Kevin Allix, "Convergence of code and model based approaches for security flaw detection" (starting date 2011)
Christopher Hénard, "Similarity-based testing and SBSE for test optimization" (starting date 2011- with CETREL company)
Alexandre Bartel, "Static and dynamic analysis of Android permission-based security"(starting date 2011)
Donia El Kateb, "Extra-functional optimization of access-control based architectures" (starting date 2010)
Jorge Augusto Meira, " Testing Large-Scale Distributed Applications" (starting date: 2010)
Erwan Abgrall, "Detection of XSS attacks" (starting date 2010 - with Kereval Company))
Jean-Francois Capuron, "Automating security testing of cryptographic components" (DGA engineer) (starting date 2008)
Thomas Demongeot – "Vigilance and security of SOA" (DGA thesis) (starting date 2008)

Past PhD

Tejeddine Mouelhi – "Security and testing : security fault models formalization, definition of test criteria and test generation algorithms" (Defense 2010)
Vincent Féru – "Identification, formalization and integration of urbanisation patterns (enterprise architecture) for telecom architectures : Application to the QoS and Security of telecommunication networks " - thesis financed by France Télécom R&D
Romain Delamare – « Testing functional and extra-functional aspects for component-based systems », (Defense: 2009)
Erwan Brottier – « Using Model-driven engineering to check consistency of operational requirements » – thesis financed by France Télécom R&D (Defense: 2009)
Jean-Marie Mottu – « Validation in the context of model-driven engineering » (Defense: 2008)
Marouane Himdi – « Component-based systems : functional and extra-functional diagnosis using probe injection » – thesis financed by Kereval company (Defense: 2007)
Franck Fleurey – « language and method for reliable model-driven engineering » (Defense: 2006)
Clémentine Nebut – « Automated test generation from requirement : application to software product-lines » (Defense: 2004)
Benoit Baudry– “ Testable assembling and validation of software components » (Defense: 2003)
Vu Le Hanh – “ Test and UML models : integration testing and planning » (Defense: 2002)