Search - Archive ouverte HAL Access content directly

Filter your results

70 Results

Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle

Taha Triki , Lydie Du Bousquet , Yves Ledru
AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134
Conference papers hal-00857296v1
Image document

Approche formelle pour une Ingénierie des Modèles sûre

Akram Idani , Yves Ledru , Pierre-Yves Schobbens
Atelier LMO/SafeModel, 2009, Nancy
Conference papers hal-00953591v1

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B

Akram Idani , Mohamed-Amine Labiadh , Yves Ledru
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (3), pp.87-112
Journal articles hal-00953399v1

Validation of Security-Design Models using Z

Muhammad Nafees Qamar , Yves Ledru , Akram Idani
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⟩
Conference papers istex hal-00860804v1
Image document

Requirements for a Trace Property Language for Medical Devices

Yves Ledru , Yoann Blein , Lydie Du Bousquet , Roland Groz , Arnaud Clere , et al.
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
Conference papers hal-02004396v1
Image document

Extending specification patterns for verification of parametric traces

Yoann Blein , Yves Ledru , Lydie Du-Bousquet , Roland Groz
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
Conference papers hal-02004378v1

Tobias on-line tool for combinatorial software testing (poster and demo)

Lydie Du Bousquet , Yves Ledru , Taha Triki , German Eduardo Vega Baez
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
Conference papers hal-00953274v1

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling

Amira Radhouani , Akram Idani , Yves Ledru , Narjes Ben Rajeb
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2015, 10, pp.131-152
Journal articles hal-01420652v1

B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster)

Akram Idani , Yves Ledru , Mohamed-Amine Labiadh
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
Conference papers hal-00974766v1

Alliance of model-driven engineering with a proof-based formal approach

Akram Idani , Yves Ledru , German Vega
Innovations in Systems and Software Engineering, 2020, 16 (3-4), pp.289-307. ⟨10.1007/s11334-020-00366-3⟩
Journal articles hal-02976221v1

Extensions du diagramme d'activité pour la spécification de politiques RBAC

Salim Chehida , Akram Idani , Yves Ledru , Mustapha Kamel Rahmouni
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2016, 21 (2), pp.11-37
Journal articles hal-01418403v1
Image document

Model-Based Filtering of Combinatorial Test Suites

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Conference papers hal-00935067v1

Taking into Account Functional Models in the Validation of IS Security Policies

Yves Ledru , Akram Idani , Jérémy Milhau , Muhammad Nafees Qamar , Régine Laleau , et al.
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⟩
Conference papers hal-00860806v1

Using String Distances for Test Case Prioritisation

Yves Ledru , Alexandre Petrenko , Sergiy Boroday
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009, Auckland, New Zealand. pp.510-514, ⟨10.1109/ASE.2009.23⟩
Conference papers hal-00953593v1

Using Computer Science Modeling Techniques for Airport Security Certification

Régine Laleau , Yves Ledru , Didier Bert , Fabrice Bouquet , Michel Lemoine , et al.
RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, Jan 2007, X, France. pp.61-72
Conference papers hal-01125403v1
Image document

The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report

Nicolas Balacheff , Béatrice Buccio , Patrick Chapuis , Jacky Coutin , Joëlle Coutaz , et al.
2011
Reports hal-00773168v1

Visual animation of B specifications using executable DSLs

Asfand Yar , Akram Idani , Yves Ledru , Simon Collart Dutilleul
19th Workshop on model driven engineering, verification and validation (MoDeVVa 2022), Oct 2022, Montréal, Canada
Conference papers hal-03968732v1

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

Abderrahim Ait Wakrime , Rahma Ben Ayed , Simon Collart-Dutilleul , Yves Ledru , Akram Idani
Model and Data Engineering - 8th International Conference, (MEDI), Oct 2018, Marrakesh, Morocco. pp.321-330
Conference papers hal-02004414v1

Actes des troisièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel

Yves Ledru , Anne-Françoise Le Meur , Olivier Caron
Laboratoire LIFL - UMR CNRS 8022. Université des Sciences et Technologies de Lille / LIFL, pp.224, 2011
Books inria-00637826v1

B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo)

Akram Idani , Yves Ledru , Mohamed-Amine Labiadh
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
Conference papers hal-00853723v1

Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B

Akram Idani , Yves Ledru , Mohamed-Amine Labiadh
INFORSID 2009, 2009, Toulouse, pp.261-276
Conference papers hal-00953596v1

A UML profile for security concepts

Jacky Akoka , Tatiana Aubonnet , Jean-Sylvain Bucumi , Isabelle Comyn-Wattiau , Akram Idani , et al.
[Research Report] CEDRIC-11-2343, CEDRIC Lab/CNAM. 2011
Reports hal-01126027v1

Validation of Security Policies by the Animation of Z Specifications

Yves Ledru , Muhammad Nafees Qamar , Akram Idani , Jean-Luc Richier , Mohamed-Amine Labiadh
SACMAT 2011 - Symposium on Access Control Models and Technologies, Jun 2011, Innsbruck, Austria. pp.155-164, ⟨10.1145/1998441.1998471⟩
Conference papers hal-00860805v1
Image document

Improving Trace Generation and Analysis for Medical Devices

Yoann Blein , Arnaud Clere , Fabrice Bertrand , Yves Ledru , Roland Groz , et al.
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⟩
Conference papers hal-01657553v1

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki , et al.
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
Conference papers hal-00953275v1

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool

Bahareh Afshinpour , Roland Groz , Massih-Reza Amini , Yves Ledru , Catherine Oriat
NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
Conference papers hal-03275244v1

TASCCC - Project and Testing Tool (poster)

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Lydie Du Bousquet , Taha Triki , et al.
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
Conference papers hal-00974765v1

Evaluating RBAC Supported Techniques and their Validation and Verification

Muhammad Nafees Qamar , Yves Ledru , Akram Idani
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⟩
Conference papers hal-00860802v1

From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis

Yves Ledru , Jean-Luc Richier , Akram Idani , Mohamed-Amine Labiadh
SAR-SSI 2011 - Conference on Network and Information Systems Security, May 2011, La Rochelle, France. pp.157-164, ⟨10.1109/SAR-SSI.2011.5931378⟩
Conference papers hal-00860807v1

Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Yves Ledru , Anne-Françoise Le Meur , Olivier Caron
Ledru, Yves and Le Meur, Anne-Françoise and Caron, Olivier. Université de Lille, pp.230, 2011
Books hal-00860809v1