annual_reports/2022
- P4S - annual report - 2022
- 1. Faits marquants :
- 2. Des chiffres et faits :
- a - Arrivées
- b - Départs
- c - Thèses et HDR soutenues
- d - Thèses commencées
- e - Nouveaux contrats ou projets
- f - Projets soumis avec résultat
- g - Nouvelles collaborations
- h - Prix obtenus
- i - Rayonnement : séminaire invité, talk, exposé, …
- j - Rayonnement : jury de thèse ou HDR
- k - Rayonnement : comité de conférences, comité de selection de projet, comité de recrutement
- l - Relecture de dossier, évaluation de projets
- m - Conférences/événements organisés
- n - Relecture, évaluation d’article ou d’artefacts
P4S - annual report - 2022
1. Faits marquants :
a - Scientifiques
b - Publications majeures, prix
Practical multiverse debugging through user-defined reductions. Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux and Loic Lagadec, MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Dolmen: FPGA Swarm for Safety and Liveness Verification. Emilien Fournier, Ciprian Teodorov, and Loïc Lagadec. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
c - Contrats, collaborations
- TwinCoBot : Inter-Carnot avec Mines Alès.
- Début du CPER Industrie du Futur (achat du matériel, premières expérimentations avec des projets d’étudiants)
d - Organisation de conférences, workshop, …
2. Des chiffres et faits :
a - Arrivées
- Chahrazed Boudjelmila (doctorante 01/01/2022)
- Gaëlic Béchu (ingénieur de recherche 01/01/2022)
- Bruno Mateu (doctorant 1/3/2022)
- Ihab Benamer (ingénieur de recherche 01/04/2022)
- Éric Cariou (Maître de conférences 01/10/2022)
- Valéry Monthé (post doc //2022)
- Arnaud Allemang-Trivalle (doctorant, //2022)
b - Départs
- Tithnara Nicolas Sun (thèse soutenue)
- Émilien Fournier (thèse soutenue)
- Paul Perrotin (thèse soutenue)
c - Thèses et HDR soutenues
- Soutenance de Tithnara Nicolas Sun (Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées)
- Soutenance de Émilien Fournier (thèse soutenue le 5/05/2022, Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables)
- Soutenance de Paul Perrotin (thèse soutenue le 14/12/2022, Analyse de la vulnérabilité humaine dans le cadre des systèmes de systèmes socio-techniques)
d - Thèses commencées
- Chahrazed Boudjemila, thèse cofinancée par le PEC et des fonds propres. débute le 1/1/2022. Directeur : Fabien Dagnat. Évolution continue et sécurisée des systèmes logiciels.
- Bruno Mateu, thèse cifre avec Quarkslab. débute le 1/3/2022. Directeur : Fabien Dagnat. Traçabilité des transformations dans les compilateurs obfuscants.
e - Nouveaux contrats ou projets
- DECART 2022-25: projet Européen de 3 ans. Designing higher Education Curricula for Agility, Resilience & Transformation. Partenariat de coopération pour l’enseignement supérieur (coordination, Siegfried Rouvrais), avec Reykjavik University, Vilnius University, Rennes School of Business, University of Kwala Zulu Natal, IT DEL (www.decartproject.eu)
- TwinCoBot : projet interCarnot en collaboration avec les Mines d’Alès. Conception de jumeaux numériques pour un habitat intelligent et une interaction humain-robot.
- CPER Industrie du Futur (Financement région Bretagne CBTA21035) 2021-2027 : achat de serveurs pour déployer un service dédié au jumeau numérique. Achat d’une usine Fischertechnik et d’un écran géant pour démontrer un jumeau numérique.
f - Projets soumis avec résultat
- Livraison du rapport final du projet Européen de renforcement des capacités EASTEM, “Industry Engagement and Competence Integration in STEM programs” (www.eastemproject.eu).
- Fin du projet SSE4Space (avec Telindus et l’ESA)
- Montage du projet européen CHIVAS qui sera soumis en 2023 (projet soumis précédemment, classé 8/77, etc. TODO)
- JCJC de Salvador, refusé (TODO)
- CORMORANT (TODO)
g - Nouvelles collaborations
- Siegfried Rouvrais: implication dans le Groupe de travail Curriculum Agility du réseau CDIO Européen, avec Umeå Universitet, KTH Royal Institute of Technology, Queen’s University Belfast, Chalmers University of Technology
- Caroline et Salvador en Australie (TODO)
h - Prix obtenus
i - Rayonnement : séminaire invité, talk, exposé, …
- Siegfried Rouvrais: retour d’expérience pour une réunion d’information à dimension régionale sur les partenariats de coopération Erasmus+ (Plateforme projets européens 2PE – Bretagne)
j - Rayonnement : jury de thèse ou HDR
- Antoine Beugnard (rapporteur) : Antoine Beugnard : Yuwei WANG (TSP), Evolution of Microservice-based Applications: Modelling and Safe Dynamic Updating, 27/10/2022
- Antoine Beugnard (examinateur) : Faezeh Khorram (Nantes), A Testing Framework for Executable Domain- Specific Languages, 12/12/2022
k - Rayonnement : comité de conférences, comité de selection de projet, comité de recrutement
- Siegfried Rouvrais: evaluateur expert pour la CTI (Commission des Titres d’Ingénieur: standards pour l’accréditation des écoles d’ingénieurs) Audits 2022 d’écoles Belges et Ukrainiennes.
l - Relecture de dossier, évaluation de projets
- Participation au comité MRSEI de l’ANR
m - Conférences/événements organisés
n - Relecture, évaluation d’article ou d’artefacts
- Siegfried Rouvrais: évaluation d’articles pour CDIO 2022, IEEE iSTEM-Ed et European journal of engineering education,