Frédéric Boulanger
CentraleSupélec LMF, UMR CNRS 9021
Computer Science Departement Formal Methods Laboratory
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
Telephone : +33 [0]1 69 85 14 84
Fax : +33[0]1 69 85 14 99
frederic.boulanger@centralesupelec.fr frederic.boulanger@universite-paris-saclay.fr
Software

Miscellaneous

  • VergilMac.dmg a Mac OS version of the Vergil application (Ptolemy II model editor)
    This version supports the drag and drop of .xml, .moml or .html files on the application icon for opening them.
  • BouMaton a Java application for computing the baker and photobooth transforms on pictures
  • PhotoPrint a Java application for selecting photographs to print and print them with pdfTeX using the photoprint document class for LaTeX
  • Synchronous Objects some very old code from my PhD work on synchronous languages and object-oriented programming
  • Mac some very old code from the time when MacOS was not a Unix system

LaTeX

  • beamercs a beamer style for CentraleSupélec
  • suprapint a document class for internal reports
  • systematic a document class for System@tic projects
  • docparts for the partial compilation of LaTeX documents
  • pdfbooklet a package for converting an A4 document into an A6 two-sided booklet
  • photoprint a document class for printing photographs and contact sheets
  • abcintex a package for using the ABC notation in LaTeX documents
  • flightlg a document class for making flight logs
  • grades a package for giving exam grades
  • paye a document class for making pay sheets