 |
 |
|
|
||
|---|---|---|
|
hal-00860805v1
Communication dans un congrès
Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications Ruth Breu, Jason Crampton, Jorge Lobo. SACMAT 2011 - Symposium on Access Control Models and Technologies, Jun 2011, Innsbruck, Austria. ACM, pp.155-164, 2011, <10.1145/1998441.1998471> |
||
|
hal-00760013v1
Communication dans un congrès
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. <http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30>. <10.1007/978-3-642-28872-2_30> |
||
|
hal-00953275v1
Communication dans un congrès
Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki et al. TASCCC - Project and Testing Tool (poster and demo) Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012 |
||
|
hal-00953273v1
Communication dans un congrès
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012 |
||
|
hal-00912639v1
Communication dans un congrès
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Eduardo Vega Baez et al. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, <10.1109/ICST.2013.60> |
||
|
hal-00860804v1
Communication dans un congrès
Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z Shengchao Qin, Zongyan Qiu. ICFEM 2011 - 13th International Conference on Formal Engineering Methods, Oct 2011, Durham, United Kingdom. Springer, 6991, pp.259-274, 2011, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-24559-6_19> |
||
|
inria-00637826v1
Direction d'ouvrage, Proceedings
Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel Laboratoire LIFL - UMR CNRS 8022. Université des Sciences et Technologies de Lille / LIFL, pp.224, 2011 |
||
|
hal-00712942v1
Article dans une revue
Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413 |
||
|
inria-00512764v1
Direction d'ouvrage, Proceedings
Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel Université de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010 |
||
|
hal-00953402v1
Ouvrage (y compris édition critique et traduction)
Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel Cariou, Eric and Duchien, Laurence and Ledru, Yves. Université de Pau et des Pays de l'Adour, 2010 |
||
|
hal-00860809v1
Direction d'ouvrage, Proceedings
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 Ledru, Yves and Le Meur, Anne-Françoise and Caron, Olivier. Université de Lille, pp.230, 2011 |
||
|
|
||
