English version
Yves LEDRU
Laboratoire d'Informatique de Grenoble
(LIG)
Bureau 242
LIG - Bâtiment IMAG
Université Grenoble Alpes
CS 40700
F-38058 Grenoble Cedex 9
France
Tel : (+33) 4 57 42 15 21
Adresse électronique : Yves.Ledru@imag.fr
Fonctions
Fonctions précédentes
Domaines de recherche
- Génie logiciel (Modélisation et Spécification, Architecture
Logicielle, Test)
- Méthodes formelles - (notamment JML,
VDM
, Z)
- Outils développés dans l'équipe: RoZ,
B4MSecure, Tobias,
ParTraP
Projets récents
- ANR Philae (2018-2022)
- ANR MODMED (2015-2019)
- Projet NExTRegio de l'IRT Railenium (2015-2019)
- PEPS INS3PECT
(2017)
- ANR TASCCC
(2009-2012)
- ANR Selkis
(2008-2012)
Responsabilités
- Membre du comité de programme des conférences Crisis 2024, MEDI 2023, RSSRail
2023, MEDI 2022,
CAL'22,
SCPS'21, AFADL 2021,
MEDI 2021,
SecureMDE
2020, AFADL
2020, AFADL 2019,
WETICE'19, MEDI
2019, SecureMDE2018,
MEDI 2018, FM
2018, AFADL2018, SAC 2018, WETICE
2017, CIEL
2017, MEDI
2017, AFADL
2017, FormaliSE
2017, SAC2017/SVT
track, MEDI'16,
WETICE'16,
CAL2016,
FM 2016, AFADL'16,
WISSE'16, MEDI2016, FormaliSE
2016, INFORSID 2016,
MEDI2015, AFADL
2015, WISSE
2015, FM 2015, FormaliSE 2015, JLDP
2014, FHIES/SEHC
2014, WETICE/FVSBS
2014, WISSE 2014,
AFADL2014, FormaliSE2014, FM
2014, ERTS 2014, JLDP 2013, MEDI
2013, CAL 2013, WETICE/FVSBS
2013, WISSE 2013, FormaliSE 2013,
AFADL'13,
JLDP 2012, CAL'12,
WISSE'12, MEDI'12, AFADL'12, ERTS2012, Journée
Lignes de Produits 2011, MEDI
2011, WISSE'11,
CAL'11, Scenarios'11,
CAL'10, ERTS
2010, AFADL 2010,
FM2009, AWSEC09,
LMO'09, AFADL'09,
CAL'09, ABZ08, REMOD08
, CAL 08, ERTS08,
ISOLA07,
SOQUA'07, INFORSID'07,
ZUM2007,
AFADL 2007,
- Membre de l'Expert Review Panel de ASE
2009, ASE 2010, ASE 2011, ASE 2012
- Membre de 1997 à 2013 du comité de pilotage de la conférence ASE
(Automated Software Engineering) (président de ce comité de 2001 à 2007)
et membre du comité de pilotage de SOQUA (2005-2008)
Supports de cours
Direction de thèses
- Sophie Dupuy (2000)
- Rémy Sanlaville (2002)
- Pierre Bontron (2005)
- Olivier Maury (2005)
- Akram Idani (2006)
- Eduardo Lopez-Ruiz (2010)
- Nafees Qamar (2011)
- Taha Triki (2013)
- Amira Radhouani (2017)
- Yoann Blein (2019)
- Asfand Yar (2023)
- Alexandre Monnier (en cours)
Quelques pointeurs intéressants
Quelques évènements passés auxquels j'ai contribué ...
Autres liens
English version