Benoit Baudry

IRISA
Campus universitaire de Beaulieu, 35042 Rennes, France
tel : + 33 2 99 84 72 98
fax : + 33 2 99 84 71 71
bbaudry @ irisa.fr

Home | Publications | Teaching | Professional services

Professional services

International collaborations

2008-2009: Associated researcher to the SENSORIA IP project.
2008-2011: Equipe associee MoCCA in collaboration with Colorado State University - SAL.
2007-2008: Visiting researcher at the Computer Science Department, Colorado State University.
2006-2009: Equipe associee MATT in collaboration with Colorado State University - SAL. This is a three year program funded by INRIA - DREI.
2005: Grant from the INRIA - DREI to collaborate with Sudipto Ghosh and Robert France from the CSU - SAL Collaboration on model composition, model transformation and model testing.
August 2003: visit Sita Ramakrishnan in Monash University, Melbourne in August 2003 to collaborate on mutation analysis of object-oriented programs.
Collaboration with Lionel Briand and Yvan Labiche from the SQUALL lab in Carleton University, Ottawa on design by contract for testing object oriented software. Visited a month in 2001 and 2002.

Projects

2008 - 2011: IST (European Union) STREP project DiVA: Dynamic variability in complex, adaptive systems
2007 - 2009: ANR DOMINO. French project funded by the french agency for research. This project aims at defining methods and evironments for validation in a model-driven development context.
2006 - 2008: OpenDevFactory. French project funded by the french agency for research in the cluster System@tic. In this project, we aim at integrating a requirements engineering module in a software factory for model-driven development.
2004 - 2008: European network of excellence AOSD (Aspecy Oriented Software Development). In this network we have developped a collaboration with the Trinity College of Dublin (A. Jackson and S. Clarke) that focuses on testing issues for aspect-oriented modelling.
2004 - 2005: French project Mutation 2 (part of the Carroll consortium) on automatic test generation from textual requirements
2004 : AS - CNRS MDA: a french working group on MDA.
2001 - 2003: European project ITEA-CAFE on software product lines.

PhD students

2007 - 2010: Freddy Munoz (co-advisor with Jean-Marc Jézéquel). Validation of Models at Runtime.
2006 - 2009: Sagar Sen (co-advisor with Hans Vangheluwe, Mc Gill University and Jean-Marc Jézéquel). Automatic Model Synthesis for Test Models Selection.
2006 - 2009: Romain Delamare (co-advisor with Yves Le Traon). Testing functionnal and extra-functionnal aspects in component-based architecture
2005 - 2008: Jean-Marie Mottu (co-advisor with Yves Le Traon). Model transformation testing: criteria, qualification and oracle for MDA components
2005 - 2008: Erwan Brottier (co-advisor with Yves Le Traon). Requirements-base validation: suimulation and test generation.
2003 - 2006: Franck Fleurey (co-advisor with Yves Le Traon) Yves Le Traon. Method and language for reliable Model-Driven Engineering.

Invited talks

April 2009: 4thh International School for Distributed Realtime Embedded Systems MDD4DRES. Testing Model Transformations: A case for Test Generation from Input Domain Models
January 2009: AOM day in Toulouse. "A summary on Aspect-oriented modelling". The slides are available here.
September 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Volgenau School of Information Technology and Engineering of George Mason University.
June 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Modeling, Simulation and Design Lab of Mc Gill University.
April 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Department of Computer Science and Engineering of University of Nebraska-Lincoln.

Conferences

PC member for MODELS'10
Organizational chair for AOSD'10
Steering committee vice-chair and PC member for IEEE ICST'10
PC member for MODELS'09
PC member for the MoDeVVa'09 workshop associated to MODELS'09
PC member for the MoDSE - MCCM'09 workshop associated to MODELS'09
Steering committee vice-chair and PC member for IEEE ICST'09
Co-organisor of the Mutation'09 workshop in association with IEEE ICST'09
PC member and publicity chair for MODELS'08.
Steering committee vice-chair, workshop chair and PC member for IEEE ICST'08 (first IEEE Int. Conf. on Software Testing verification and validation).
PC member for the SECTEST'08 workshop at ICST'08.
PC member for the MODEVVA'08 workshop at ICST'08.
PC member for the AMOST'08 workshop at ICST'08.
External reviewer and fast abstract PC member for ISSRE'07
PC member of ADVCOMP'07.
Co-organizer of the 4th MoDeVVa workshop associated to MoDELS'07.
PC member of M-ADAPT'07 workshop associated to ECOOP'07.
PC member of A-MOST'07 workshop associated to ISSTA'07.
PC member of Mutation'07 workshop associated to Taic-Part'07.
Co-organizer of the 3rd MoDeVa workshop associated to MoDELS'06.
Co-organizer and PC member of the 2nd Workshop on Mutation Analysis associated with ISSRE'06.
PC member of the 1st Workshop on Quality in Modeling associated to MoDELS'06.
PC member of IDM'06.
Co-organizer and PC member of the 2nd MoDeVa workshop associated to MoDELS'05.
Workshop co-chair for SPLC 2005: Rennes, France, September 2005.
PC member and workshop chair for ISSRE 2004 : Saint-Malo, France, November 2004.
PC member for the first International workshop on software quality (SOQUA 2004)

Journals

Reviewer for STVR (Software Testing, Verification and Reliability), IEEE Software, IEEE Transactions on Software Engineering, IEEE Computer, SoSym (Software and System Modeling), Software Quality Journal and IST (Information and Software Technologies).