CentraleSupélecDépartement informatique
Plateau de Moulon
3 rue Joliot-Curie
F-91192 Gif-sur-Yvette cedex
Free Software by the Department of Computer Science at CentraleSupelec
  • ModHel'X – A framework for multi-paradigm modeling and simulation
  • TESL – A language for specifying relations between clocks and their time scales
  • TemporalOCL – Temporal OCL Plugin for Eclipse
  • ADLV – Application Description Language for Verification
  • IRIS – Users identification system using infra-red badges
  • RiseClipse – Using MDE tools for IEC standards
  • aSHIIP – A generator of random topologies for the interdomain
  • CAHIER – Creating Adaptive Hypermedia by reusing Existing Resources
  • SIPOP – Post Office Protocol (POP3) server for education*
  • OntoEventB — A Generator of EventB contextes from ontologies
  • Stages – Offres de stage