Yves Ledru
发表
Lydie du Bousquet,
Yves Ledru,
Yoann Blein,
2018,
2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS).
Yves Ledru,
Marie-Laure Potet,
1995,
Formal Methods for Industrial Applications.
Paul Klint,
Yves Ledru,
P. Klint,
2011
.
Julien Botella,
Frédéric Dadeau,
Lydie du Bousquet,
2012,
FASE.
Lydie du Bousquet,
Yves Ledru,
L. D. Bousquet,
2006,
ASE.
Application of Requirements Analysis Techniques to the analysis of civil aviation security standards
Régine Laleau,
Catherine Dubois,
Fabien Peureux,
2005
.
Yves Ledru,
1996,
Proceedings of the 11th Knowledge-Based Software Engineering Conference.
Nadine Mandran,
Alexandre Petrenko,
Sergiy Boroday,
2011,
Automated Software Engineering.
Yves Ledru,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.
Yves Ledru,
Akram Idani,
Amira Radhouani,
2014,
Ingénierie des Systèmes d Inf..
Rahma Ben Ayed,
Yves Ledru,
Simon Collart Dutilleul,
2015,
Tech. Sci. Informatiques.
Julien Botella,
Bruno Legeard,
Frédéric Dadeau,
2012
.
Régine Laleau,
Nafees Qamar,
Yves Ledru,
2011,
CAiSE Workshops.
Johannes Mayer,
Yves Ledru,
Neelam Gupta,
2006,
FSE 2006.
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1990,
VDM Europe.
Simon Collart-Dutilleul,
Philippe Bon,
Yves Ledru,
2015
.
Narjes Ben Rajeb,
Yves Ledru,
Akram Idani,
2015,
Trans. Petri Nets Other Model. Concurr..
Régine Laleau,
Fabrice Bouquet,
Catherine Dubois,
2007,
RCIS.
Lydie du Bousquet,
Olivier Maury,
Yves Ledru,
2004,
FASE.
Jean-Louis Lanet,
Lydie du Bousquet,
Olivier Maury,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Marc Frappier,
Régine Laleau,
Yves Ledru,
2011,
Innovations in Systems and Software Engineering.
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1991,
ICSE '90.
Yves Ledru,
Akram Idani,
2006,
Inf. Softw. Technol..
Yves Ledru,
2009
.
Fabrice Bouquet,
Yves Ledru,
Didier Bert,
2006,
ReMo2V.
Régine Laleau,
Nafees Qamar,
Yves Ledru,
2015,
Int. J. Inf. Syst. Model. Des..
Nafees Qamar,
Yves Ledru,
Jean-Luc Richier,
2011,
SACMAT '11.
Lydie du Bousquet,
Yves Ledru,
Taha Triki,
2011,
ICST 2011.
Yves Ledru,
Didier Bert,
Akram Idani,
2006,
2006 30th Annual IEEE/NASA Software Engineering Workshop.
Sophie Dupuy-Chessa,
Lydie du Bousquet,
Yves Ledru,
2005,
DSV-IS.
Pierre-Yves Schobbens,
Yves Ledru,
Christine Lafontaine,
1990,
[1990] Proceedings. 12th International Conference on Software Engineering.
Lydie du Bousquet,
Yves Ledru,
2012
.
Sophie Dupuy-Chessa,
Yves Ledru,
Monique Chabre-Peccoud,
2000,
CAiSE.
Yves Ledru,
Salim Chehida,
Akram Idani,
2016,
2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS).
Frédéric Dadeau,
Lydie du Bousquet,
Yves Ledru,
2007,
ASE '07.
Yves Ledru,
Didier Bert,
Akram Idani,
2005,
ICFEM.
Yves Ledru,
1995,
Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
Yves Ledru,
Akram Idani,
2007,
Formal Methods Syst. Des..
Nafees Qamar,
Yves Ledru,
Akram Idani,
2011,
2011 Sixth International Conference on Availability, Reliability and Security.
Yves Ledru,
Y. Ledru,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Laurence Duchien,
Yves Ledru,
2012,
Tech. Sci. Informatiques.
Rahma Ben Ayed,
Abderrahim Ait Wakrime,
Yves Ledru,
2019,
RSSRail.
Acm Sigsoft,
Yves Ledru,
Johannes Mayer,
2006
.
Yves Ledru,
Akram Idani,
Mohamed-Amine Labiadh,
2010
.
Frédéric Dadeau,
Lydie du Bousquet,
Yves Ledru,
2007,
MBT.
Jean-Louis Lanet,
Olivier Maury,
Yves Ledru,
2004
.
Jacky Akoka,
Isabelle Comyn-Wattiau,
Tatiana Aubonnet,
2010
.
Yves Ledru,
Frédéric Dadeau,
Lydie Du Bousquet,
2007,
RT '07.
Neelam Gupta,
Yves Ledru,
Johannes Mayer,
2006,
SOQUA.
Yves Ledru,
Didier Bert,
Akram Idani,
2007,
Tech. Sci. Informatiques.
Yves Ledru,
Akram Idani,
Akram Idani,
2015,
ICFEM.
Lydie du Bousquet,
Olivier Maury,
Yves Ledru,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Rahma Ben Ayed,
Abderrahim Ait Wakrime,
Yves Ledru,
2019,
RSSRail.
Yves Ledru,
Mehdi Kessis,
Gérard Vandome,
2005,
SEM '05.
Jean-Louis Lanet,
Lydie du Bousquet,
Olivier Maury,
2010,
Journal of Automated Reasoning.
Lydie du Bousquet,
Yves Ledru,
Taha Triki,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Yves Ledru,
Akram Idani,
Mohamed-Amine Labiadh,
2010,
Ingénierie des Systèmes d Inf..
Nafees Qamar,
Yves Ledru,
Akram Idani,
2011,
ICFEM.
Yves Ledru,
Jean-Luc Richier,
Akram Idani,
2015,
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Yves Ledru,
Akram Idani,
Mohamed-Amine Labiadh,
2009,
INFORSID.
Frédéric Dadeau,
Lydie du Bousquet,
Yves Ledru,
2007,
Electron. Notes Theor. Comput. Sci..
Yves Ledru,
Marie-Hélène Liégeois,
Y. Ledru,
1992,
Proceedings of the Seventh Knowledge-Based Software Engineering Conference.
Narjes Ben Rajeb,
Yves Ledru,
Akram Idani,
2014,
FMS @ Petri Nets.
Lydie du Bousquet,
Yves Ledru,
Yoann Blein,
2018,
RV.
Pierre-Yves Schobbens,
Yves Ledru,
Pierre-Yves Schobbens,
1990,
Formal Methods in Software Development.
Yves Ledru,
Salim Chehida,
Akram Idani,
2015,
INFORSID.
Sophie Dupuy-Chessa,
Yves Ledru,
Monique Chabre-Peccoud,
2000,
Obj. Logiciel Base données Réseaux.
Yves Ledru,
Y. Ledru,
2004,
Automated Software Engineering.
Adil Anwar,
Yves Ledru,
Akram Idani,
2013,
BMMDS/EMMSAD.
Yves Ledru,
2006,
ReMo2V.
Régine Laleau,
Fabien Peureux,
Michel Lemoine,
2006,
Softw. Process. Improv. Pract..
Nafees Qamar,
Johannes Faber,
Yves Ledru,
2012,
FHIES.
Yves Ledru,
Salim Chehida,
Akram Idani,
2016,
Ingénierie des Systèmes d Inf..
Rahma Ben Ayed,
Abderrahim Ait Wakrime,
Yves Ledru,
2018,
MEDI.
Alexandre Petrenko,
Sergiy Boroday,
Yves Ledru,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Lydie du Bousquet,
Yves Ledru,
Taha Triki,
2012
.
Jean-Marie Favre,
Yves Ledru,
Rémy Sanlaville,
2001,
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.
Michael R. Lowry,
Christopher A. Welty,
Yves Ledru,
2004,
Automated Software Engineering.
Lydie du Bousquet,
Yves Ledru,
2012,
Tech. Sci. Informatiques.
Rahma Ben Ayed,
Yves Ledru,
Simon Collart Dutilleul,
2014,
ABZ.
Sophie Dupuy-Chessa,
Yves Ledru,
Hind Fadil,
2004,
CAiSE Workshops.
Yves Ledru,
Jean-Luc Richier,
Akram Idani,
2011,
2011 Conference on Network and Information Systems Security.
Régine Laleau,
Yves Ledru,
Sylvie Vignes,
2007,
Ingénierie des Systèmes d Inf..
Julien Botella,
Frédéric Dadeau,
Safouan Taha,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Yves Ledru,
Akram Idani,
2005,
Electron. Notes Theor. Comput. Sci..
Lydie du Bousquet,
Yves Ledru,
Yoann Blein,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Lydie du Bousquet,
Yves Ledru,
Yoann Blein,
2018,
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Ajitha Rajan,
Lydie du Bousquet,
Yves Ledru,
2010,
MOMPES '10.
David F. Redmiles,
Yves Ledru,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Yves Ledru,
1994,
FME.
Yves Ledru,
Pierre Collette,
Y. Ledru,
1994,
Refine.
Yves Ledru,
1991,
IWSSD '91.
Régine Laleau,
Fabien Peureux,
Michel Lemoine,
2006,
CAiSE Forum.
Yves Ledru,
Akram Idani,
German Vega,
2020,
Innovations in Systems and Software Engineering.
Yves Ledru,
Y. Ledru,
1996,
Proceedings of IEEE 18th International Conference on Software Engineering.
Yves Ledru,
Yoann Blein,
Germán Vega,
2021,
Int. J. Crit. Comput. Based Syst..
Yves Ledru,
Yoann Blein,
German Vega,
2021,
International Journal of Critical Computer-Based Systems.