- titre
- A Process-Centric Approach to Insider Threats Identification in Information Systems
- auteur
- Akram Idani, Yves Ledru, German Vega
- article
- 18th International Conference on Risks and Security of Internet and Systems, Dec 2023, Rabat, Morocco
- titre
- DroidSecTester: Vers une modélisation contextuelle et une détection des vulnérabilités dans les applications Android
- auteur
- Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andre, Yves Ledru
- article
- 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE, Oct 2023, Florence, France. pp.136-141, ⟨10.1109/ISSREW60843.2023.00063⟩
- titre
- DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities
- auteur
- Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andre, Yves Ledru
- article
- IWSR 2023 - The 7th International Workshop on Software Faults, IEEE, Oct 2023, Florence, Italy
- titre
- Visual animation of B specifications using executable DSLs
- auteur
- Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul
- article
- 19th Workshop on model driven engineering, verification and validation (MoDeVVa 2022), Oct 2022, Montréal, Canada
- titre
- An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties
- auteur
- Salim Chehida, Yves Ledru, Yoann Blein, German Eduardo Vega Baez
- article
- International Journal of Critical Computer-Based Systems, 2021, ⟨10.1504/IJCCBS.2021.117997⟩
- titre
- Alliance of model-driven engineering with a proof-based formal approach
- auteur
- Akram Idani, Yves Ledru, German Vega
- article
- Innovations in Systems and Software Engineering, 2020, 16 (3-4), pp.289-307. ⟨10.1007/s11334-020-00366-3⟩
- titre
- Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool
- auteur
- Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
- article
- NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
- titre
- Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire
- auteur
- Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
- article
- AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
- 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
- Incremental Development of a Safety Critical System Combining formal Methods and DSMLs
- auteur
- Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben ayed, Simon Collart-Dutilleul
- article
- International Conference on Formal Methods for Industrial Critical Systems (FMICS), 2019, Amsterdam, Netherlands. pp.93-109, ⟨10.1007/978-3-030-27008-7_6⟩
- titre
- An Environment for the ParTraP Trace Property Language (Tool Demonstration)
- auteur
- Ansem Ben Cheikh 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, ⟨10.1007/978-3-030-03769-7_26⟩
- 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, ⟨10.1145/3193992.3193998⟩
- 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. ⟨10.1145/3194696.3194699⟩
- 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, ⟨10.1109/QRS-C.2017.135⟩
- titre
- Extensions du diagramme d'activité pour la spécification de politiques RBAC
- auteur
- Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2016, 21 (2), pp.11-37. ⟨10.3166/isi.21.2.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 Kamel 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
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 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, 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, 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
- 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
- Extensions du diagramme d’activité pour contrôler l’accès au SI
- auteur
- Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
- article
- INFORSID 2015, 2015, Biarritz, France. pp.151-165
- 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, 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
- 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 Du 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, 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, 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
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 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, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
- 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
- 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
- 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, 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 Du 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 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
- 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
- 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
- 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
- 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, 2010, 15 (3), pp.87-112
- 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, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩
- 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
- 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
- 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
- [Rapport de recherche] CEDRIC-10-2344, CEDRIC Lab/CNAM. 2010
- 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
- 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
- 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
- Actes des 1ères journées du GDR CNRS Génie de la Programmation et du Logiciel (GPL 2009), Toulouse, 28-30 janvier 2009
- auteur
- Marc Pantel, Yves Ledru
- article
- IRIT, pp.1--289, 2009, 978-2917490044
- 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, 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, 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