Filter your results
- 58
- 12
- 47
- 15
- 4
- 3
- 1
- 2
- 65
- 4
- 1
- 1
- 2
- 2
- 4
- 1
- 3
- 6
- 4
- 7
- 10
- 11
- 7
- 5
- 1
- 1
- 2
- 2
- 59
- 11
- 64
- 9
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 23
- 15
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
70 Results
Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelleAFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134
Conference papers
hal-00857296v1
|
|||
|
Approche formelle pour une Ingénierie des Modèles sûreAtelier 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 BRevue 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 ZICFEM 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
|
|||
|
Requirements for a Trace Property Language for Medical Devicesthe International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
Conference papers
hal-02004396v1
|
||
|
Extending specification patterns for verification of parametric tracesthe 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)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 ModelingLNCS 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)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 approachInnovations 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 RBACRevue 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
|
|||
|
Model-Based Filtering of Combinatorial Test SuitesFASE'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 PoliciesWISSE 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 Prioritisation24th 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 CertificationRCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, Jan 2007, X, France. pp.61-72
Conference papers
hal-01125403v1
|
|||
|
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report2011
Reports
hal-00773168v1
|
||
Visual animation of B specifications using executable DSLs19th 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-BModel 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 LogicielLaboratoire 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)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 BINFORSID 2009, 2009, Toulouse, pp.261-276
Conference papers
hal-00953596v1
|
|||
A UML profile for security concepts[Research Report] CEDRIC-11-2343, CEDRIC Lab/CNAM. 2011
Reports
hal-01126027v1
|
|||
Validation of Security Policies by the Animation of Z SpecificationsSACMAT 2011 - Symposium on Access Control Models and Technologies, Jun 2011, Innsbruck, Austria. pp.155-164, ⟨10.1145/1998441.1998471⟩
Conference papers
hal-00860805v1
|
|||
|
Improving Trace Generation and Analysis for Medical DevicesIEEE 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)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 ToolNLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
Conference papers
hal-03275244v1
|
|||
TASCCC - Project and Testing Tool (poster)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 VerificationSecSE 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 AnalysisSAR-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 LogicielLedru, Yves and Le Meur, Anne-Françoise and Caron, Olivier. Université de Lille, pp.230, 2011
Books
hal-00860809v1
|