Bonjour à tous,
Beaucoup de sujets lors de la réunion des responsables d’équipes ce matin :
* Pour ceux qui ne l'ont pas fait
* posez vos congés entre Noël et Nouvel An
* Sinon: demande motivée
* Suivi des actions (ex: jurys de thèse): à centraliser au niveau des équipes + pensez à maintenir un CV à jour avec ces infos
* Déménagement: faites les cartons pour être prêt le moment venu. La logistique déplace les cartons - planifié d'ici le 24/12
* Info calcul de primes: pas d'évolution depuis le GT primes piloté par Etienne Renault
* Publications: %age de co-auteurs à donner, un tableau sera envoyé
* Pensez à envoyer vos faits marquants à Elodie afin qu'ils soient intégrés à la dernière newsletter de l'année
Excellente journée à tous !
Pierre
[Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/>
Pierre PARREND
LRE – Laboratoire de Recherche de l’EPITA – Directeur Adjoint
Resp Equipe Sécu-Systèmes
Professeur HDR
[cid:image002.png@01DA2C3F.EB5C56B0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA2C3F.EB5C56B0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA2C3F.EB5C56B0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA2C3F.EB5C56B0] <https://twitter.com/epita> [cid:image006.png@01DA2C3F.EB5C56B0] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg>
03 67 18 04 01
[cid:image008.png@01DA2C3F.EB5C56B0]
______________________
Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//
Chers collègues,
J'espère que ce message vous trouve bien. Je voulais vous informer qu'hier, nous avons rencontré un problème de résolution DNS qui a affecté la connectivité Internet de certains appareils dans notre réseau. Je tiens à vous assurer que l'équipe technique a pris des mesures immédiates pour résoudre ce problème.
La bonne nouvelle est que le problème a été résolu avec succès hier à 14h. Cependant, pour vous assurer que vos appareils sont à jour avec les dernières informations DNS, nous vous recommandons de suivre les étapes ci-dessous. Avant de commencer, assurez-vous de sauvegarder votre travail et fermez toutes les applications en cours d'exécution.
Instructions pour vider le cache DNS :
1. Redémarrage du PC :
Avant d'effectuer les étapes ci-dessous, nous vous recommandons de redémarrer votre PC. Si cela ne suffit pas alors voir l'étape 2.
2. Vider le cache du navigateur :
Assurez-vous de vider le cache de votre navigateur pour garantir que les anciennes informations ne sont pas conservées. Si cela ne suffit pas alors voir l'étape 3.
3. Vider le cache DNS :
Windows :
Ouvrez l'invite de commandes en tant qu'administrateur.
Tapez la commande suivante : ipconfig /flushdns
Linux (utilisant systemd-resolved) :
Ouvrez le terminal.
Tapez la commande suivante : sudo systemd-resolve --flush-caches
macOS :
Ouvrez le Terminal.
Tapez la commande suivante : sudo dscacheutil -flushcache
Veuillez effectuer ces opérations dans l'ordre indiqué pour vous assurer que vos appareils bénéficient des dernières mises à jour DNS. Si vous avez des questions ou si vous rencontrez des difficultés, n'hésitez pas à contacter notre équipe technique.
Nous vous remercions de votre compréhension et de votre coopération.
Cordialement,
Vincent
______________________
Current mailing list -- current(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr//
______________________
Permanents mailing list -- permanents(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr//
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.strasbourg mailing list -- perms.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.strasbourg.ml.lre.epita.f…
Bonjour à tous,
La réunion d'équipe de ce jeudi est annulée (7/12).
Il y a une formation TeachingLab la semaine prochaine (14/12) et la soutenance des projets bachelor l'après-midi, je propose donc qu'on décale la réunion à un autre jour. Quelles sont vos dispos ?
https://framadate.org/DdskNRWmpv1mgelf
(on sait déjà que Marc n'est pas là le vendredi donc créneau peu problable).
Bonne après-midi !
pierre
______________________
Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//
Bonjour,
Des erreurs à corriger rapidement svp, en fin de mail.
Priorités aux articles à partir de 2012.
Merci d'avance,
Bonne journée,
Théo
* il manque le champ "lrdeteam" dans ces entrées :
[cid:a5d1f0e8-b81f-4064-9104-dcf92ed72efb]
* il manque le champ "month" dans ces entrées :
[cid:4971bfb5-148c-4915-98c8-011b53c63207]
* ces entrées n'ont pas de type précis (article, inproceedings, etc.) :
[cid:2e657714-4b02-467a-afc4-8f59ec0d8995]
* ces entrées n'ont pas d'entrée "lrderank" :
[cid:9cbd010c-85c2-452e-bb45-600fdadd8925]
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.strasbourg mailing list -- perms.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.strasbourg.ml.lre.epita.f…
________________________________
De : akheireddine <akheireddine(a)lrde.epita.fr>
Envoyé : mercredi 6 décembre 2023 10:45
À : Annonces du LRDE <annonce(a)lrde.epita.fr>
Objet : [Lrde] [Lrde Annonce] Soutenance de thèse de Anissa Kheireddine
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Contributions au Bounded model-checking basé sur SAT
La soutenance sera présentée en français.
Elle aura lieu le mardi 19 décembre 2023 à partir de 10h00 (heure de
Paris),
en Amphi 401, EPITA, 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre.
Vous êtes cordialement invité au pot qui suivra.
Composition du jury:
Rapporteur: Vijay Ganesh, Professeur, GT, Georgia Institute of
Technology.
Rapporteur: Ahmed Bounekkar, Maître de Conférences, ERIC,
Université Claude Bernard Lyon 1.
Examinatrice: Laure Petrucci, Professeure, LIPN, Université Sorbonne
Paris Nord.
Examinatrice: Emmannuelle Encrenaz, Professeure, LIP6, Sorbonne
Université.
Directeur: Souheib Baarir, Enseignant-Chercheur, LRE, EPITA.
Encadrant: Étienne Renault, SiPearl.
Résumé :
Les systèmes informatiques sont devenus omniprésents dans notre vie
quotidienne. Garantir la fiabilité
et la robustesse de ces systèmes est une nécessité absolue. La
Vérification de Modèles (Model Checking)
est l'une des approches dédiées à cette fin. Son objectif est de prouver
l'absence de défaillances ou
d'identifier d'éventuelles erreurs.
Le model checking se décline en plusieurs techniques. Parmi celles-ci,
on trouve la Vérification de
Modèles Bornée (Bounded Model Checking - BMC), une technique qui repose
sur la satisfiabilité
booléenne (SAT). L'idée centrale derrière le BMC est de vérifier qu'un
modèle, limité à des exécutions
bornées par un entier k, satisfait sa spécification, définie comme un
ensemble d'expressions logiques
temporelles. Dans cette approche, les comportements du système sont
exprimés sous forme de problèmes SAT.
Contrairement à d'autres méthodes de vérification formelle, le BMC basé
sur SAT n'est généralement pas
sensible au problème de l'explosion de l'espace d'états, ce qui peut
poser problème lors de la conception
de systèmes impliquant des millions de variables et de contraintes.
Cependant, le compromis réside dans
la complexité temporelle, car les problèmes SAT sont connus pour être
NP-complets.
Au cours des dernières décennies, d'importantes avancées ont été
réalisées dans la résolution séquentielle
de problèmes SAT. Ces développements se sont principalement concentrés
sur l'utilisation d'informations
dynamiques, acquises lors du processus de résolution (par exemple,
l'apprentissage de clauses binaires) ou
d'informations statiques, extraites de la structure inhérente du
problème SAT (par exemple, la structure
en communauté). Toutefois, moins d'attention a été accordée aux
informations structurelles du problème
initial. Par exemple, lorsque qu'un problème BMC est réduit à une
formule booléenne, des données
cruciales sont perdues lors de la traduction. Comme le souligne cette
thèse, la réintégration de ces
informations perdues peut considérablement améliorer le processus de
résolution. Ce travail explore des
moyens d'améliorer la résolution de problèmes BMC basés sur SAT, tant
dans des contextes séquentiels que
parallèles, en exploitant et en valorisant les informations pertinentes
extraites des caractéristiques
inhérentes du problème. Cela peut impliquer l'amélioration
d'heuristiques génériques existantes ou la
décomposition efficace de la formule en partitions.
Cordialement,
Anissa Kheireddine
______________________
Annonce mailing list -- annonce(a)lrde.epita.fr
https://lists.lrde.epita.fr/postorius/lists/annonce.lrde.epita.fr//
______________________
Lrde mailing list -- lrde(a)lrde.epita.fr
https://lists.lrde.epita.fr/postorius/lists/lrde.lrde.epita.fr//
______________________
Current mailing list -- current(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr//
______________________
Permanents mailing list -- permanents(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr//
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.strasbourg mailing list -- perms.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.strasbourg.ml.lre.epita.f…