Mardi 22 octobre 2024

Master 1 Informatique

Stage sur la logique Bunched Implication (juin–juillet 2024)

• Rapport (source)

UE S7 Complexité et calculabilité

• Programme pour le problème Couverture par sommets
• Programme pour le problème Arbre à k feuilles

UE S8 Introduction à la vérification

• Automate de l’algorithme de Peterson
• Algorithme de raffinement de système de transitions

Licence 3 Informatique

Stage sur GenGraph (mai–juin 2023)

• Manuel : HTML, PDF
• Dépôt
• Rapport : HTML, PDF

UE S5 Algorithmique des graphes

• Application de visualisation (dépôt)

UE S5 Modèles de la programmation et du calcul

• Application de visualisation (dépôt)

UE S5 Programmation orientée objet

• Introduction au Java
• Générateur de graphe d’héritage de classes Java
• Le projet UBomb codé en C sur le GitLab du CREMI

UE S5 Programmation système

• Améliorations apportées au Mini-Shell