Accéder directement au contenu
Accéder directement à la navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Revues
Documentation
Sciencesconf.org
Support
Connexion
Connexion
Connexion avec ORCID
se connecter avec Fédération
Créer un compte
Mot de passe oublié ?
Login oublié ?
Page d'accueil
Consultation
Périodes
Auteurs
Projets Européens
Projets ANR
Page d'accueil
Derniers dépôts
Luc Lesoil, Mathieu Acher, Arnaud Blouin, Jean-Marc Jézéquel. Deep Software Variability: Towards Handling Cross-Layer Configuration. VaMoS'21, Feb 2021, Krems, Austria. ⟨10.1145/3442391.3442402⟩. ⟨hal-03084276v1⟩
Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote. On Reversible Transducers. ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017.113⟩. ⟨hal-02926244⟩
Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek. Ingénierie Dirigée par les Modèles : des concepts à la pratique.... Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963. ⟨hal-00648489⟩
Pierre Laperdrix, Gildas Avoine, Benoit Baudry, Nick Nikiforakis. Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting. Detection of Intrusions and Malware, and Vulnerability Assessment - 16th International Conference, 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings, pp.43-66, 2019, ⟨10.1007/978-3-030-22038-9_3⟩. ⟨hal-02881632⟩
Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems. 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩. ⟨hal-02149584⟩
Recherche
Publications en texte intégral
1 190
Références bibliographiques
364