Frédéric Boulanger
CentraleSupélec LMF, UMR CNRS 9021
Département informatique Laboratoire Méthodes Formelles
Bât Breguet, 3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Téléphone : +33 [0]1 69 85 14 84
Télécopie : +33[0]1 69 85 14 99
frederic.boulanger@centralesupelec.fr frederic.boulanger@universite-paris-saclay.fr
Logiciel

Divers

  • VergilMac.dmg une version pour Mac OS de l'application Vergil (éditeur de modèles de Ptolemy II)
    Cette version permet de glisser-déposer un fichier .xml, .moml ou .html sur l'icône de l'application pour l'ouvrir.
  • BouMaton une application Java pour calculer les transformations du boulanger et du photomaton sur des images
  • PhotoPrint une application Java pour sélectionner des photos à tirer et les imprimer avec pdfTeX grâce à la classe de document photoprint pour LaTeX
  • Objets synchrones du code très ancien issu de mes travaux de thèse sur les langages synchrones et les objets
  • Mac du code très ancien issu de l'époque où MacOS n'était pas un système Unix

LaTeX

  • beamercs un style beamer pour CentraleSupélec
  • suprapint une classe de document pour les rapports internes
  • systematic une classe de document pour les projets System@tic
  • docparts pour la compilation partielle de documents LaTeX
  • pdfbooklet un package pour convertir un document A4 en un livret recto-verso A6
  • photoprint une classe de document pour imprimer des photos et des planches contact
  • abcintex un package pour incorporer la notation ABC dans des documents LaTeX
  • flightlg une classe de document pour tenir un carnet de vol
  • grades un package pour saisir des notes d'examen
  • paye une classe de document pour établir des feuilles de paye