Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

CkTail: Model Learning of Communicating Systems

 Sébastien Salva , Elliott Blot
15th 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
Image document

Reverse Engineering Behavioural Models of IoT Devices

 Sébastien Salva , Elliott Blot
31st International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2019, Lisbon, Portugal
Communication dans un congrès hal-02134046v1
Image document

Formal Analysis of Combinations of Secure Protocols

 Elliott Blot , Jannik Dreier , Pascal Lafourcade
2017
Pré-publication, Document de travail hal-01558552v5
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing 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és

 Blot Elliott , Sébastien Salva
19è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
Image document

Formal Analysis of Combinations of Secure Protocols

 Elliott Blot , Jannik Dreier , Pascal Lafourcade
FPS 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
Image document

COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système

 Elliott Blot , Patrice Laurencot , Sébastien Salva
17è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
Image document

COnfECt: An Approach to Learn Models of Component-based Systems

 Sébastien Salva , Elliott Blot
Proceedings of the 13th International Conference on Software Technologies, ICSOFT, Jul 2018, porto, Portugal
Communication dans un congrès hal-01803923v1
Image document

Model generation of component-based systems

 Sébastien Salva , Elliott Blot
Software Quality Journal, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩
Article dans une revue hal-02458451v1
Page :