Filtrer vos résultats
- 59
- 13
- 48
- 15
- 4
- 3
- 1
- 1
- 2
- 67
- 4
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 3
- 6
- 4
- 8
- 9
- 11
- 7
- 6
- 1
- 1
- 2
- 2
- 61
- 11
- 66
- 9
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 72
- 23
- 15
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 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
72 résultats
|
|
Actes des 1ères journées du GDR CNRS Génie de la Programmation et du Logiciel (GPL 2009), Toulouse, 28-30 janvier 2009IRIT, pp.1--289, 2009, 978-2917490044
Proceedings/Recueil des communications
hal-04326349v1
|
||
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
Communication dans un congrès
hal-00857296v1
|
|||
|
|
Approche formelle pour une Ingénierie des Modèles sûreAtelier LMO/SafeModel, 2009, Nancy
Communication dans un congrès
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
Article dans une revue
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⟩
Communication dans un congrès
istex
hal-00860804v1
|
|||
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⟩
Communication dans un congrès
hal-00860805v1
|
|||
A UML profile for security concepts[Research Report] CEDRIC-11-2343, CEDRIC Lab/CNAM. 2011
Rapport
hal-01126027v1
|
|||
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-BModel and Data Engineering - 8th International Conference, (MEDI), Oct 2018, Marrakesh, Morocco. pp.321-330
Communication dans un congrès
hal-02004414v1
|
|||
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
Communication dans un congrès
hal-00953275v1
|
|||
|
|
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⟩
Communication dans un congrès
hal-01657553v1
|
||
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
Communication dans un congrès
hal-00853723v1
|
|||
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
Ouvrages
inria-00637826v1
|
|||
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et BINFORSID 2009, 2009, Toulouse, pp.261-276
Communication dans un congrès
hal-00953596v1
|
|||
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
Article dans une revue
hal-01420652v1
|
|||
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02004378v1
|
||
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
Communication dans un congrès
hal-00974766v1
|
|||
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
Communication dans un congrès
hal-00953274v1
|
|||
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⟩
Article dans une revue
hal-02976221v1
|
|||
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
Communication dans un congrès
hal-01125403v1
|
|||
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00953593v1
|
|||
Visual animation of B specifications using executable DSLs19th Workshop on model driven engineering, verification and validation (MoDeVVa 2022), Oct 2022, Montréal, Canada
Communication dans un congrès
hal-03968732v1
|
|||
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
Article dans une revue
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
Communication dans un congrès
hal-00935067v1
|
||
|
|
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report2011
Rapport
hal-00773168v1
|
||
An attempt to combine UML and formal methods to model airport securityCAISE06 Forum, Jan 2006, X, France
Communication dans un congrès
hal-01125236v1
|
|||
A separation of concerns approach for the verified modelling of railway signalling rulesRSSRail 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⟩
Communication dans un congrès
hal-02043174v1
|
|||
Combining UML and B for the specification and validation of RBAC policies in business process activitiesTenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Jun 2016, Grenoble, France
Communication dans un congrès
hal-01418428v1
|
|||
|
|
B Formal Validation of ERTMS/ETCS Railway Operating Rules4th International ABZ Conference, Jun 2014, France. p124-129
Communication dans un congrès
hal-01066368v1
|