Publications HAL de Yves,LEDRU de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Yves,LEDRU", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 66.

titre
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
auteur
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
article
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp173-190, ⟨10.1007/978-3-030-18744-6_11⟩
titre
Towards a tool-based domain specific approach for railway systems modeling and validation
auteur
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
article
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp23-40, ⟨10.1007/978-3-030-18744-6_2⟩
titre
Towards a tool-based domain specific approach for railway systems modeling and validation
auteur
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
article
RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp23-40, ⟨10.1007/978-3-030-18744-6_2⟩
titre
A separation of concerns approach for the verified modelling of railway signalling rules
auteur
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
article
RssRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Jun 2019, Lille, France. pp173-190, ⟨10.1007/978-3-030-18744-6_11⟩
titre
An Environment for the ParTraP Trace Property Language (Tool Demonstration)
auteur
Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, Lydie Du Bousquet
article
Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446
titre
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B
auteur
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru, Akram Idani
article
Model and Data Engineering - 8th International Conference, (MEDI), Oct 2018, Marrakesh, Morocco. pp.321-330
titre
Extending specification patterns for verification of parametric traces
auteur
Yoann Blein, Yves Ledru, Lydie Du-Bousquet, Roland Groz
article
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19
titre
Requirements for a Trace Property Language for Medical Devices
auteur
Yves Ledru, Yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
article
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden
titre
Improving Trace Generation and Analysis for Medical Devices
auteur
Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie Du Bousquet
article
IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600
titre
Extensions du diagramme d'activité pour la spécification de politiques RBAC
auteur
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Rahmouni
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2016, 21 (2), pp.11-37
titre
Combining UML and B for the specification and validation of RBAC policies in business process activities
auteur
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Rahmouni
article
Tenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Jun 2016, Grenoble, France
titre
GenISIS : un outil de recherche d’attaques d’initié en Systèmes d’Information (Article court)
auteur
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
article
AFADL’16 : Approches Formelles dans l’Assistance au Développement de Logiciels, 2016, Besançon, France. pp.19-26
titre
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires
auteur
Rahma Ben-Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
article
Technique et Science Informatiques, Hermès-Lavoisier, 2015, 34 (5), p495-521. ⟨10.3166/TSI.34.495-521⟩
titre
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling
auteur
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
article
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2015, 10, pp.131-152
titre
Validation of IS Security Policies featuring Authorisation Constraints
auteur
Yves Ledru, Akram Idani, Jérémy Milhau, Muhammad Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
article
International Journal of Information System Modeling and Design, IGI Global, 2015, 6 (1), pp.24-46
titre
Validation of a security policy by the test of its formal B specification - a case study
auteur
Yves Ledru, Akram Idani, Jean-Luc Richier
article
Third FME Workshop on Formal Methods in Software Engineering (Formalise’15), 2015, Firenze, Italy. pp.6-12
titre
Extensions du diagramme d’activité pour contrôler l’accès au SI
auteur
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Rahmouni
article
INFORSID 2015, 2015, Biarritz, France. pp.151-165
titre
B for Modeling Secure Information Systems - The B4MSecure Platform (démo)
auteur
Akram Idani, Yves Ledru
article
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods (ICFEM 2015), 2015, Paris, France. pp.312-328
titre
Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure.
auteur
Akram Idani, Yves Ledru, Amira Radhouani
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, 19 (6), pp.33-61
titre
Extraction of Insider Attack Scenarios from a Formal Information System Modeling
auteur
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
article
Formal Methods for Security, Jun 2014, Tunis, Tunisia. pp.5-19
titre
Modélisation et validation formelle des règles d'exploitation ferroviaires
auteur
Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, France. 15p
titre
B Formal Validation of ERTMS/ETCS Railway Operating Rules
auteur
Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
article
4th International ABZ Conference, Jun 2014, France. p124-129
titre
A rigorous reasoning about model transformations using the B method
auteur
Akram Idani, Yves Ledru, Adil Anwar
article
EMMSAD 2013 - International Conference on Exploring Modelling Methods for Systems Analysis and Design (held at CAiSE 2013), Jun 2013, Valencia, Spain. pp.426-440, ⟨10.1007/978-3-642-38484-4_30⟩
titre
B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo)
auteur
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
article
AFADL 2013 - Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, LORIA et le centre Inria Nancy Grand-Est, Apr 2013, Nancy, France. pp.85-89
titre
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha
article
ICST 2013 - IEEE 6th International Conference on Software Testing, Verification and Validation, Yves Le Traon, Mar 2013, Luxembourg, Luxembourg. pp.431-438, ⟨10.1109/ICST.2013.60⟩
titre
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha
article
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.NC, ⟨10.1109/ICST.2013.60⟩
titre
Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle
auteur
Taha Triki, Lydie Du Bousquet, Yves Ledru
article
AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134
titre
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha
article
ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431 - 438
titre
TASCCC - Project and Testing Tool (poster)
auteur
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard
article
Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198
titre
B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster)
auteur
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
article
Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.211
titre
Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL
auteur
Laurence Duchien, Yves Ledru
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
titre
Prioritising Test Cases with String Distances
auteur
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
article
Automated Software Engineering, Springer Verlag, 2012, 19 (1), pp.65-95. ⟨10.1007/s10515-011-0093-0⟩
titre
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test
auteur
Yves Ledru, Lydie Du Bousquet
article
Technique et Science Informatiques, Hermès-Lavoisier, 2012, 31 (6), pp.743-767. ⟨10.3166/tsi.31.743-767⟩
titre
Test Suite Selection Based on Traceability Annotations
auteur
Yves Ledru, German Eduardo Vega Baez, Taha Triki, Lydie Du Bousquet
article
ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.342-345, ⟨10.1145/2351676.2351742⟩
titre
Automated Reviewing of Healthcare Security Policies
auteur
Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
article
FHIES 2012 - 2nd International Symposium on the Foundations of Health Information Engineering and Systems, Aug 2012, Paris, France. pp.176-193, ⟨10.1007/978-3-642-39088-3_12⟩
titre
Model-Based Filtering of Combinatorial Test Suites
auteur
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
article
FASE 2012 - International Conference on Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. pp.439-454, ⟨10.1007/978-3-642-28872-2_30⟩
titre
Model-Based Filtering of Combinatorial Test Suites
auteur
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
article
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
titre
Nouveaux mécanismes de filtrage de tests basés sur le modèle
auteur
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella
article
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
titre
TASCCC - Project and Testing Tool (poster and demo)
auteur
Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Bernet Julien, David Rouillard
article
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
titre
Tobias on-line tool for combinatorial software testing (poster and demo)
auteur
Lydie Du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez
article
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.217
titre
Combining UML, ASTD and B for the formal specification of an access control filter
auteur
Jeremy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, M. Frappier
article
Innovations in Systems and Software Engineering, Springer Verlag, 2011, 7 (4), pp.303-313. ⟨10.1007/s11334-011-0166-z⟩
titre
Validation of Security-Design Models using Z
auteur
Muhammad Nafees Qamar, Yves Ledru, Akram Idani
article
ICFEM 2011 - 13th International Conference on Formal Engineering Methods, Oct 2011, Durham, United Kingdom. pp.259-274, ⟨10.1007/978-3-642-24559-6_19⟩
titre
Evaluating RBAC Supported Techniques and their Validation and Verification
auteur
Muhammad Nafees Qamar, Yves Ledru, Akram Idani
article
SecSE 2011 - 5th International Workshop on Secure Software Engineering (in conjunction with ARES 2011), Aug 2011, Vienna, Austria. pp.734-739, ⟨10.1109/ARES.2011.112⟩
titre
Taking into Account Functional Models in the Validation of IS Security Policies
auteur
Yves Ledru, Akram Idani, Jérémy Milhau, Muhammad Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
article
WISSE 2011 - 1st International Workshop on Information Systems Security Engineering (in CAiSE 2011), Jun 2011, London, United Kingdom. pp.592-606, ⟨10.1007/978-3-642-22056-2_62⟩
titre
Validation of Security Policies by the Animation of Z Specifications
auteur
Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh
article
SACMAT 2011 - Symposium on Access Control Models and Technologies, Jun 2011, Innsbruck, Austria. pp.155-164, ⟨10.1145/1998441.1998471⟩
titre
From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis
auteur
Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh
article
SAR-SSI 2011 - Conference on Network and Information Systems Security, May 2011, La Rochelle, France. pp.157-164, ⟨10.1109/SAR-SSI.2011.5931378⟩
titre
Tobias a tool for combinatorial software testing (poster)
auteur
Lydie Bousquet, Yves Ledru, Taha Triki
article
Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), 2011, Berlin, Germany
titre
Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel
auteur
Yves Ledru, Anne-Françoise Le Meur, Olivier Caron
article
Ledru, Yves and Le Meur, Anne-Françoise and Caron, Olivier. Université de Lille, pp.230, 2011
titre
Actes des troisièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel
auteur
Yves Ledru, Anne-Françoise Le Meur, Olivier Caron
article
Laboratoire LIFL - UMR CNRS 8022. Université des Sciences et Technologies de Lille / LIFL, pp.224, 2011
titre
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
auteur
Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, James L. Crowley, Yves Denneulin, Lydie Du Bousquet, Andrzej Duda, Rachid Echahed, Marie-Christine Fauvet, Catherine Garbay, Eric Gaussier, Isabelle Guillet, Christian Laugier, Yves Ledru, Arnaud Legrand, Nadine Mandran, Hervé Martin, Jean-François Méhaut, Thierry Morturier, Brigitte Plateau, Elisabeth Pons, Joëlle Prévost, Frédéric Prost, Vincent Quint, Patrick Reignier, Franck Rousseau, Marie-Christine Rousset, Eric Rutten, Michel Vacher
article
2011
titre
A UML profile for security concepts
auteur
Jacky Akoka, Tatiana Aubonnet, Jean-Sylvain Bucumi, Isabelle Comyn-Wattiau, Akram Idani, Mohamed Amine Labiadh, Nadira Lammari, Yves Ledru, Jean-Luc Richier
article
[Research Report] CEDRIC-11-2343, CEDRIC Lab/CNAM. 2011
titre
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
auteur
Lydie Du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
article
Journal of Automated Reasoning, Springer Verlag, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
titre
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B
auteur
Akram Idani, Mohamed-Amine Labiadh, Yves Ledru
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2010, 15 (3), pp.87-112
titre
Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles
auteur
Mohamed-Amine Labiadh, Akram Idani, Yves Ledru
article
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.197-212
titre
De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet
auteur
Yves Ledru, Lydie Du Bousquet
article
Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.117-131
titre
Assertion-based test oracles for home automation systems
auteur
Ajitha Rajan, Lydie Du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier
article
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. pp.45-52, ⟨10.1145/1865875.1865882⟩
titre
Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel
auteur
Eric Cariou, Laurence Duchien, Yves Ledru
article
Université de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010
titre
Intégration des propriétés de sécurité dans UML
auteur
Jacky Akoka, Tatiana Aubonnet, Jean-Sylvain Bucumi, Isabelle Comyn-Wattiau, Akram Idani, Mohamed Amine Labiadh, Nadira Lammari, Yves Ledru, Jean-Luc Richier
article
[Research Report] CEDRIC-10-2344, CEDRIC Lab/CNAM. 2010
titre
Using String Distances for Test Case Prioritisation
auteur
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
article
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009, Auckland, New Zealand. pp.510-514, ⟨10.1109/ASE.2009.23⟩
titre
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B
auteur
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
article
INFORSID 2009, 2009, Toulouse, pp.261-276
titre
Approche formelle pour une Ingénierie des Modèles sûre
auteur
Akram Idani, Yves Ledru, Pierre-Yves Schobbens
article
Atelier LMO/SafeModel, 2009, Nancy
titre
Modeling Airport Security Regulations
auteur
Yves Ledru
article
Seidenstat, Paul and X. Splane, Francis. Protecting Airline Passengers in the Age of Terrorism, 12, Greenwood Publishing Group, Praeger Security International, pp.228-246, 2009
titre
Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel
auteur
Yves Ledru, Marc Pantel
article
Ledru, Yves and Pantel, Marc. IRIT Press, 2009, 978-2-917490-04-4
titre
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports
auteur
Yves Ledru, Régine Laleau, Sylvie Vignes
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (4), pp.133--157
titre
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards
auteur
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
article
Software Process: Improvement and Practice, Wiley, 2006, 11 (5), pp.487-503
titre
Application of Requirements Analysis Techniques to the analysis of civil aviation security standards
auteur
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
article
SREP'05 - Proceedings of the First International Workshop on Situational Requirements Engineering Processes: Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes. Organized by IFIP WG8.1 Method Engineering Task Group, In conjunction with the 13th IEEE International Requirements Engineering Conference, 2005, Paris, France. pp.91--106