Filtrer vos résultats
- 8
- 1
- 6
- 1
- 1
- 1
- 9
- 4
- 1
- 2
- 2
- 7
- 2
- 7
- 2
- 2
- 1
- 9
- 5
- 2
- 2
- 2
- 1
9 résultats
|
|
triés par
|
|
CkTail: Model Learning of Communicating Systems15th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, France. pp.27-38, ⟨10.5220/0009327400270038⟩
Communication dans un congrès
hal-02884776v1
|
||
|
Reverse Engineering Behavioural Models of IoT Devices31st International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2019, Lisbon, Portugal
Communication dans un congrès
hal-02134046v1
|
||
|
Formal Analysis of Combinations of Secure Protocols2017
Pré-publication, Document de travail
hal-01558552v5
|
||
|
Using Model Learning for the Generation of Mock ComponentsTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Chapitre d'ouvrage
hal-03048336v1
|
||
Vérification de Recommandations sur les Objets Connectés19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020, 2020, Vannes, France
Communication dans un congrès
hal-02884818v1
|
|||
|
Formal Analysis of Combinations of Secure ProtocolsFPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩
Communication dans un congrès
hal-01596010v2
|
||
|
COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Communication dans un congrès
hal-01803916v1
|
||
|
COnfECt: An Approach to Learn Models of Component-based SystemsProceedings of the 13th International Conference on Software Technologies, ICSOFT, Jul 2018, porto, Portugal
Communication dans un congrès
hal-01803923v1
|
||
|
Model generation of component-based systemsSoftware Quality Journal, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩
Article dans une revue
hal-02458451v1
|