Aller au contenu principal
en
INTRANET
Menu du compte de l'utilisateur
Navigation principale
Laboratoire
Qui sommes nous ?
Missions
Historique
Accès & Contact
Recherche
Organisation
Départements/Equipes
Axes de recherche
Les plateformes
Production scientifique
Rayonnement scientifique
Partenariat académique
Valorisation & Innovation
Transfert d'innovation
Différents modes de collaboration
Au coeur d'un riche écosystème
Formation
Universités & Grandes écoles
Faire un doctorat à l'IRISA
Faire un stage à l'IRISA
Médiation scientifique
Recrutement
Les métiers
Offres d'emploi
Offres de thèses
Nouveaux arrivants
Agenda des événements
Thèse
- 21 déc 2021 - 14:00
Thèse
déc 21
14:00
2021
Developing new techniques for packing detection and unpacking to stop malware propagation
Lamine NOUREDDINE (DiverSE)
Salle Petri-Turing
de 14:00 à 17:00
Thèse
- 17 déc 2021 - 10:00
Thèse
déc 17
10:00
2021
Simplifier la création, la maintenance et l'évolution des APIs REST
Antoine CHERON (DiverSE)
Salle Aurigny
de 10:00 à 13:00
Thèse
- 16 déc 2021 - 14:00
Thèse
déc 16
14:00
2021
Assistance à la spécification de contraintes OCL dans les métamodèles
Elyes CHERFA (DIVERSE)
Amphithéâtre 103 Bâtiment DSEG à Vannes
de 14:00 à 18:00
Thèse
- 16 déc 2021 - 10:00
Thèse
déc 16
10:00
2021
Machine learning for performance modelling on colossal software configuration spaces
Hugo MARTIN (DIVERSE)
Salle Métivier
de 10:00 à 13:00
Thèse
- 09 déc 2021 - 10:00
Thèse
déc 09
10:00
2021
Les jeux de congestion dans les réseaux sous l’angle de la vérification
Suman SADHUKHAN (SUMO)
Métivier
de 10:00 à 13:00
Thèse
- 03 déc 2021 - 15:00
Thèse
déc 03
15:00
2021
Histoire d'un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel
Léo Henry (SUMO)
Petri-Turing
de 15:00 à 19:00
Thèse
- 01 déc 2021 - 14:00
Thèse
déc 01
14:00
2021
Compilation vérifiée et sécurisée contre les canaux cachés temporels
Rémi HUTIN (CELTIQUE)
Salle du conseil - ENS RENNES - Campus de Ker Lan
de 14:00 à 17:00
HDR
- 16 nov 2021 - 15:00
HDR
nov 16
15:00
2021
Modelling, Reverse Engineering, and Learning Software Variability - Soutenance HDR Mathieu ACHER
Mathieu ACHER ( DiverSE)
Métivier
de 15:00 à 17:00
Thèse
- 11 oct 2021 - 15:00
Thèse
oct 11
15:00
2021
Connected Multi-Agent Path Finding - How Robots Get Away with Texting and Driving
Arthur QUEFFELEC
Salle Métivier
de 15:00 à 18:00
Conférence
- 19 avr 2021 - 14:00
Conférence
avr 19
14:00
2021
ICPE 2021 12th ACM/SPEC International Conference on Performance Engineering
du 19 avr 14:00 au 23 avr 19:00
Thèse
- 26 fév 2021 - 15:00
Thèse
fév 26
15:00
2021
Optimisation de l’utilisation des énergies renouvelables : Un Jumeau Numérique pour les micro-grilles
Alexandre RIO
Salle Petri-Turing
de 15:00 à 18:00
Thèse
- 15 déc 2020 - 10:00
Thèse
déc 15
10:00
2020
Automatic Verification of Higher-Order Functional Programs using Regular Tree Languages
Timothée HAUDEBOURG
Pétri-Turing
de 10:00 à 14:00
Pagination
«
« First
‹
‹‹
1
2
3
4
›
››
»
Last »