Ban3

Informations sur l'auteur

Yves Ledru

http://membres-lig.imag.fr/ledru/YLVersionF.html

http://pistou.imag.fr/site/author/239

  
Équipe(s) :
VASCO Du 01/01/2007 au 31/12/2099 		 

Publications de l'auteur

La liste contient 104 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2012
1
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran.
Prioritising Test Cases with String Distances.
Journal of Automated Software Engineering, 19(1):65-95, 2012. Note: DOI 10.1007/s10515-011-0093-0.
bibtex/ html
2011
2
J. Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, M. Frappier.
Combining UML, ASTD and B for the formal specification of an access control filter.
Innov. Syst. Softw. Eng., 7:303--313, dec 2011.
Www-128x128
bibtex/ html
2010
3
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet.
Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies.
Journal of Automated Reasoning, Springer, 45(4), 2010.
bibtex/ html
2007
4
Akram Idani, Yves Ledru.
Object Oriented Concepts Identification from Formal B Specifications.
International Journal of Formal Methods in System Design, Springer, 30(3):217--232, juin 2007.
Www-128x128
bibtex/ html
2006
5
Akram Idani, Yves Ledru.
Dynamic Graphical UML Views from Formal B Specifications.
Int. Journal of Information and Software Technology, 48(3):154--169, mar 2006.
bibtex/ html
6
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux.
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Software Process: Improvement and Practice (SPIP), 11(5):487--503, 2006.
bibtex/ html
1997
7
Yves Ledru.
Specification and animation of a bank transfer using KIDS/VDM.
Automated Software Engineering, 4:33--51, 1997.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
8
Muhammad Nafees Qamar, Yves Ledru, Akram Idani.
Evaluating RBAC Supported Techniques and Their Validation and Verification.
Fifth International Workshop on Secure Software Engineering (SecSE'11) in conjunction with 6th IEEE International Conference on Availability, Reliability and Security (ARES'11), Vienna, Austria, aug 2011. Note: to appear.
bibtex/ html
9
Muhammad Nafees Qamar, Yves Ledru, Akram Idani.
Validation of Security-Design Models using Z.
Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), 6991:259-274, LNCS, Durham, United Kingdom, oct 2011.
bibtex/ html
10
Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh.
Ruth Breu, Jason Crampton, Jorge Lobo.
Validation of Security Policies by the Animation of Z Specifications.
SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, :155--164, Innsbruck, Austria, jun 2011.
bibtex/ html
11
Yves Ledru, Akram Idani, J. Milhau, Muhammad Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh.
Camille Salinesi, Oscar Pastor.
Taking into account functional models in the validation of IS security policies.
WISSE 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, 83:592--606, Lecture Notes in Business Information Processing, London, UK, jun 2011.
bibtex/ html
12
Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh.
From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis.
Conference on Network and Information Systems Security (SAR-SSI 2011), :157-164, La Rochelle, France, may 2011.
Www-128x128
bibtex/ html
2010
13
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier.
Assertion-based test oracles for home automation systems.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, :45--52, MOMPES'10, New York, NY, USA, 2010.
Www-128x128 Www-128x128
bibtex/ html
2009
14
Yves Ledru, Alexandre Petrenko, Sergiy Boroday.
J. Grundy, M. Heimdahl, G. Taentzer.
Using String Distances for Test Case Prioritisation.
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), short paper (5 pages), November 16-20, 2009, Auckland, New Zealand, 2009.
bibtex/ html
2008
15
Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet.
Generation of test programs for the assertion-based verification of TLM models.
Design and Test Workshop, 2008. IDT 2008. 3rd International, :237-242, dec 2008.
Www-128x128 Www-128x128
bibtex/ html
2007
16
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet.
Measuring a Java Test Suite Coverage using JML Specifications.
Third Workshop on Model-Based Testing (MBT), Braga, Portugal, mar 2007.
bibtex/ html
17
Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti.
A Case Study in Matching Test and Proof Coverage.
Third Workshop on Model-Based Testing (MBT), Braga, Portugal, mar 2007.
bibtex/ html
18
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabrice Bouquet.
Using Computer Science Modeling Techniques for Airport Security Certification.
Proc. of the First International Conference on Research Challenges in Information Science, Ouarzazate, Maroc, apr 2007.
bibtex/ html
19
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet.
Directed random reduction of combinatorial test suites.
RT'07: Proceedings of the 2nd international workshop on Random testing, :18--25, New York, NY, USA, 2007.
Www-128x128
bibtex/ html
2006
20
Yves Ledru.
Using Jaza to animate RoZ specifications of UML class diagrams.
Proceedings of Int. Z User Meeting (ZUM'06), USA, apr 2006.
bibtex/ html
21
Akram Idani, Yves Ledru, Didier Bert.
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.
30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, apr 2006.
bibtex/ html
22
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux.
N. Boudjlida, N. Guelfi.
An attempt to combine UML and formal methods to model airport security.
CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, :47--50, Presses universitaires de Namur, Luxembourg, juin 2006.
bibtex/ html
2005
23
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru.
Test of the ICARE platform fusion mechanism.
LNCS, 2005. Note: 12th International Workshop on Design, Specification and Verification of Interactive Systems.
Pdf-128x128
bibtex/ html
24
Akram Idani, Yves Ledru, Didier Bert.
Derivation of UML Class Diagrams as Static Views of Formal B Developments.
ICFEM'05 - Int. Conf. On Formal Engineering Methods, :37-51, Manchester, nov 2005.
bibtex/ html
25
Mehdi Kessis, Yves Ledru, Gérard Vandome.
Experiences in Coverage Testing of a Java Middleware.
Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), :39--45, Lisbonne, sep 2005.
bibtex/ html
26
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Viguié Donzeau-Gouge, Catherine Dubois, Fabien Peureux.
Application of Requirements Analysis Techniques to the analysis of civil aviation security standards.
First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, aug 2005.
bibtex/ html
2004
27
Akram Idani, Yves Ledru.
Object Oriented Concepts Identification from Formal B Specifications.
Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, :159--174, Linz, sep 2004.
Www-128x128
bibtex/ html
28
Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron.
Filtering TOBIAS combinatorial test suites.
Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, :281--294, Barcelona, 2004.
bibtex/ html
29
Yves Ledru, Sophie Dupuy, Hind Fadil.
Towards Computer-Aided Design of OCL Constraints.
Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, :329--338, Riga, jun 2004.
bibtex/ html
2003
30
Olivier Maury, Yves Ledru, Lydie du Bousquet.
Intégration de TOBIAS et UCASTING pour la génération.
16th International Conference Software and Systems and their applications-ICSSEA, Paris, 2003. Note: 7 pages.
bibtex/ html
2002
31
Olivier Maury, Yves Ledru, Pierre Bontron, Lydie du Bousquet.
Using TOBIAS for the automatic generation of VDM test cases.
Third VDM Workshop (in conjunction with FME2002), Copenhagen, Danemark, 2002. Note: 15 pages.
bibtex/ html
2001
32
Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet.
Test purposes: adapting the notion of specification to testing.
Proceedings of the 16th International Conference on Automated Software Engineering, :127--134, San Diego, nov 2001.
bibtex/ html
33
Pierre Bontron, Olivier Maury, Lydie du Bousquet, Yves Ledru, Catherine Oriat, Marie-Laure Potet.
TOBIAS~: un environnement pour la création d'objectifs de test à partir de schémas de test.
14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2001, Paris, France, 2001. Note: 7 pages.
bibtex/ html
34
Yves Ledru, Sophie Dupuy.
From UML to Z, a support for requirements engineering with RoZ.
Formal Methods Europe 2001, 2001. Note: Tutorial.
bibtex/ html
35
Rémy Sanlaville, Jean-Marie Favre, Yves Ledru.
Helping Various Stakeholders to Understand a Very Large Component-Based Software.
Euromicro Workshop on Component-Based Software Engineering, :104--113, Warsaw, 2001.
bibtex/ html
2000
36
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
An Overview of RoZ : a Tool for Integrating UML and Z Specifications.
12th Conference on Advanced information Systems Engineering-CAiSE'2000, 1789, Lecture Notes in Computer Science, Stockholm, Suède, 2000.
bibtex/ html
37
Yves Ledru, Rémy Sanlaville, Jacky Estublier.
Defining an Architecture Description Language for Dassault Systèmes.
Position paper for the 4th International Software Architecture Workshop, Limerick, Ireland, jun 2000.
bibtex/ html
38
Sophie Dupuy, J-C. Freire, Monique Chabre-peccoud, Yves Ledru.
Formal and Informal Specifications: a proposal for a coupling.
13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, dec 2000.
bibtex/ html
39
S.T. Nguyen, J.M. Favre, Yves Ledru, Jacky Estublier.
Exploring Large Software Products.
13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, dec 2000.
bibtex/ html
40
Songsakdi Rongviriyapanish, Nicole Lévy.
Pierre Berlioux, Yves Ledru.
Variations sur le style architectural em Pipe & Filter}.
Actes du 3ème Colloque sur les Approches Formelles dans l'Assistance au Développement de Logiciels AFADL'2000 (Grenoble, France), :81--95, Grenoble, jan 2000.
bibtex/ html
1999
41
Yves Ledru, Marie-Laure Potet, Rémy Sanlaville.
VDM modules.
Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
bibtex/ html
42
Jacky Estublier, Yves Ledru, Pierre-Yves Cunin.
The architecture of federations -- from process to software.
Position paper for the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999.
bibtex/ html
1998
43
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
Translating the OMT dynamic model into Object-Z.
11th Int. Conf. of Z Users-ZUM'98, 1493, Lecture Notes in Computer Science, Berlin, Germany, 1998.
bibtex/ html
44
Yves Ledru.
Identifying pre-conditions with the Z/EVES theorem prover.
Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, oct 1998.
bibtex/ html
1997
45
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
A. Evans, K. Lano.
Integrating OMT and Object-Z.
Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, Dept. of Computing, Imperial College, London, UK, jun 1997.
bibtex/ html
46
Charles Pecheur.
Michael Lowry, Yves Ledru.
Specification and Verification of the CO4 Distributed Knowledge System Using LOTOS.
Proceedings of the 12th IEEE International Conference on Automated Software Engineering ASE-97 (Incline Village, Nevada, USA), nov 1997. Note: Extended version available as INRIA Research Report~RR-3259.
bibtex/ html
1996
47
Yves Ledru.
Using KIDS as a Tool Support for VDM.
Proceedings of the 18th International Conference on Software Engineering, :236--245, Berlin (Germany), 1996.
bibtex/ html
48
Yves Ledru.
Complementing semi-formal specifications with Z.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, :52--61, 1996.
bibtex/ html
1995
49
Yves Ledru.
Specification and animation of a bank transfer.
Proceedings of the 10th Knowledge-Based Software Engineering Conference, :192--199, Boston, MA, 1995.
bibtex/ html
50
Yves Ledru, Yves Chiaramella.
Henri Habrias.
Integrating and Teaching ZSP and Z.
Proceedings of ``Z twenty years on - what is its future?'', Nantes, 1995.
bibtex/ html
Short communications [COM] and posters [AFF] in conferences and workshops
2009
51
Akram Idani, Yves Ledru, Pierre-Yves Schobbens.
Approche formelle pour une Ingénierie des Modèles sûre.
Atelier LMO/SafeModel, Nancy, 2009.
Www-128x128
bibtex/ html
2008
52
Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine.
Extending the use of rigorous methods with aeronautics.
Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club, 2008.
bibtex/ html
53
Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine.
Aeronautical Regulations Should Be Rigorously Developed Too!.
Proceedings of The Sixth NASA Langley Formal Methods Workshop, NASA/CP-2008-215309:41-43, may 2008.
bibtex/ html
2007
54
Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose.
R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer.
Mastering combinatorial explosion with the Tobias-2 test generator.
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, :535-536, 2007. Note: Demonstration.
bibtex/ html
55
Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, Sylvie Vignes.
EDEMOI : a methodology for security of air transport system.
2nd European Conference on Aerospace Sciences (EUCASS), 2007.
bibtex/ html
56
Yves Ledru.
Régine Laleau, Michel Lemoine.
A Formalisation of the Soccer Substitution Rules.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, 241, CEUR Workshop Proceedings, 2007.
bibtex/ html
57
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes.
Régine Laleau, Michel Lemoine.
Validation of Regulation Documents by Automated Analysis of Formal Models.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, 241, CEUR Workshop Proceedings, 2007.
bibtex/ html
2006
58
Yves Ledru, Lydie du Bousquet.
Tobias-Z: An executable formal specification of a test generator.
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, :353-354, 2006. Note: Demonstration.
bibtex/ html
2005
59
Mehdi Kessis, Yves Ledru, Gérard Vandome.
Test de couverture des serveurs J2EE : Etude du serveur J2EE JOnAS et de sa suite de tests.
18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, Paris, nov 2005. Note: 8 pages.
bibtex/ html
60
Yves Ledru.
Conformance Test Generation with JML.
Paris, 2005. Note: TAROT Summer School Tutorial.
bibtex/ html
2004
61
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet.
A case study in JML-based software validation (short paper).
Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), :294--297, Linz, sep 2004.
bibtex/ html
2002
62
Yves Ledru.
The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper).
2002. Note: 5 pages.
bibtex/ html
63
Yves Ledru, D. Redmiles.
Report on the Workshop on State of the Art in Automated Software Engineering.
:307--308, 17th International Conference on Automated Software Engineering, IEEE Computer Society Press, Edinburgh, UK, 2002.
bibtex/ html
2001
64
Yves Ledru.
Introduction à la journée ``Architecture Logicielle''.
Paris, 2001.
bibtex/ html
Scientific books and chapter [OS]
2009
65
Yves Ledru.
Paul Seidenstat, Francis X. Splane.
Protecting Airline Passengers in the Age of Terrorism.
Modeling Airport Security Regulations, :228-246, Greenwood Publishing Group, Praeger Security International, 2009.
bibtex/ html
2004
66
P. Gruenbacher, Yves Ledru.
Special issue.
Volume 58, ERCIM News on Automated Software Engineering, jul 2004. Note: \\ http://www.ercim.org/publication/Ercim\_News/enw58/.
bibtex/ html
2001
67
Yves Ledru, Marie-Laure Potet.
Numéro spécial - Approches formelles pour l'aide au développement de logiciels.
Volume 20(7), Technique et Science Informatiques, 2001.
bibtex/ html
1999
68
Christopher Welty, Michael Lowry, Yves Ledru.
Guest Editorial - special issue on ASE'97.
6:327--328, Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
bibtex/ html
1996
69
Yves Ledru, Marie-Laure Potet.
A VDM specification of the steam-boiler problem.
:283--317, Springer, 1996.
bibtex/ html
National peer reviewed journal [ACLN]
2010
70
Akram Idani, Mohamed-Amine Labiadh, Yves Ledru.
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B.
Ingénierie des Systèmes d'Information, 15(3):87-112, 2010.
bibtex/ html
2008
71
Yves Ledru, Régine Laleau, Sylvie Vignes.
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.
Ingénierie des Systèmes d'Information, RSTI, série ISI, 13(4):133--157, 2008.
bibtex/ html
2007
72
Akram Idani, Yves Ledru, Didier Bert.
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B .
Technique et Science Informatiques, RSTI, série TSI, 26, 2007.
bibtex/ html
2005
73
Mehdi Kessis, Yves Ledru, Gérard Vandome.
Test de couverture des serveurs J2EE : Etude du serveur JOnAS et de sa suite de tests.
Génie Logiciel, 74:37--42, 2005.
bibtex/ html
2000
74
Sophie Dupuy, Yves Ledru, Monique Chabre-peccoud.
Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z.
L'Objet, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2012
75
Taha Triki, Lydie du Bousquet, Yves Ledru.
Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle.
Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, :120-134, Grenoble, jan 2012.
bibtex/ html
2010
76
Mohamed-Amine Labiadh, Akram Idani, Yves Ledru.
Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles.
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, :197-212, Poitiers, jun 2010.
bibtex/ html
77
Yves Ledru, Lydie du Bousquet.
De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet.
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, :117-131, Poitiers, jun 2010.
bibtex/ html
2009
78
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh.
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B .
INFORSID 2009, Toulouse, may 2009.
bibtex/ html
2007
79
Yves Ledru, Régine Laleau, Sylvie Vignes.
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports.
Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007, :155-170, 2007.
bibtex/ html
2006
80
Akram Idani, Yves Ledru, Didier Bert.
Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B.
Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, :9--24, ENST, Paris, mar 2006.
bibtex/ html
2003
81
Yves Ledru, Sophie Dupuy-Chessa.
Expressing dynamic properties of static diagrams in Z.
Approches Formelles Pour le Développement des Logiciels - AFADL'2003, 2003.
Pdf-128x128
bibtex/ html
2001
82
Yves Ledru, Olivier Maury, Catherine Oriat.
J. Souquières.
Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML.
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, :23--38, LORIA, Nancy, juin 2001.
bibtex/ html
2000
83
Francis Cave, Didier Bert.
Yves Ledru.
Itérateurs pour le langage B.
Actes de l'Atelier AFADL'2000, :111--126, LSR-IMAG, Grenoble, France, jan 2000.
bibtex/ html
84
Didier Bert.
Yves Ledru.
Spécification algébrique et prototypage du contrôle d'accès en LPG.
Actes de l'Atelier AFADL'2000, :142--157, LSR-IMAG, Grenoble, France, jan 2000.
bibtex/ html
1998
85
Yves Ledru, Catherine Oriat, Marie-Laure Potet.
Nicole Lévy.
Le raffinement vu comme primitive de spécification --- une comparaison de VDM, B et Specware.
Actes de l'Atelier AFADL'98, :63--76, LISI/ENSMA, Futuroscope, Poitiers, France, sep 1998.
Postscript-128x128
bibtex/ html
86
Yves Ledru, Rémy Sanlaville.
Description d'architecture logicielle par connexion de machines abstraites.
2ème atelier AFADL, Poitiers, sep 1998.
bibtex/ html
Book or Proceedings editing [DO]
2011
87
Yves Ledru, Anne-Françoise Le Meur, Olivier Caron.
Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel.
Université de Lille, jun 2011.
bibtex/ html
2010
88
Eric Cariou, Laurence Duchien, Yves Ledru.
Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel.
Université de Pau et des Pays de l'Adour, mar 2010.
bibtex/ html
2009
89
Yves Ledru, Marc Pantel.
Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel.
IRIT Press, Toulouse, jan 2009.
bibtex/ html
2006
90
Neelam Gupta, Yves Ledru, Johannes Mayer.
Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006).
ACM Press, Portland (OR), nov 2006.
bibtex/ html
2000
91
Yves Ledru.
Actes de l'atelier Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000).
IMAG, Grenoble, jan 2000.
bibtex/ html
Other Publications [AP]
2011
92
bibtex/ html
2004
93
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil.
Towards computer-aided design of OCL constraints.
2004. Note: Latvia.
Pdf-128x128
bibtex/ html
2003
94
Yves Ledru, Sophie Dupuy.
Jean-Marc Jezequel.
RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences.
IRISA, Rennes, jan 2003. Note: Tutoriel.
bibtex/ html
95
Yves Ledru.
RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information.
Nancy, mar 2003.
bibtex/ html
2002
96
Yves Ledru.
Panel on Future Research Directions in Automated Software Engineering.
Edinburgh, UK, 2002.
bibtex/ html
1997
97
Paul Jacquet, Yves Ledru, Xavier Nicollin, Marie-Laure Potet.
Logiciels critiques : Catalogue d'une exposition bibliographique.
Technique et Science Informatique, Vol.16, No 6, 1997.
bibtex/ html
1996
98
Paul Jacquet, Yves Ledru, Xavier Nicollin, Marie-Laure Potet.
Catalogue de l'exposition logiciels critiques.
Technical Report, IMAG, 1996.
bibtex/ html
99
Yves Ledru.
Utilisation de KIDS comme support pour VDM.
Journée groupe ADER - Paris, 1996.
bibtex/ html
100
Yves Ledru.
Enrichissement de spécifications semi-formelles avec Z.
Journée groupe AFCET zéro-défaut, Paris, 1996.
bibtex/ html
1995
101
Yves Ledru.
Proof-based development of specifications with KIDS/VDM.
Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.
bibtex/ html
102
Yves Ledru.
Développement prouvé de prototypes de spécifications avec KIDS/VDM.
Journée groupe ADER, Paris, 1995.
bibtex/ html
103
Yves Ledru.
An introduction to Z and formal methods.
Technical Report, Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.
bibtex/ html
104
Yves Ledru.
Utilisation pratique des spécifications formelles.
Tutoriel Congrès INFORSID 95, Grenoble, 1995.
bibtex/ html