Oct 022015

Argos is a  pure synchronous language inspired by Statecharts. It is a synchronous language in which basic programs are explicit Mealy machines, and the compositions operators are the parallel composition and the hierarchic composition. Automata in the Family of Synchronous Languages is a presentation that contains a good summary of Argos.

Students and Main Collaborations:

  • PhD Students: Muriel Vachon, Yann Rémond, Lionel Morel
  • Collaborations: Airbus, EsterelTechnologies, Schneider Electric, …

Main Publications:

External References to this Work:

Oct 022006

Students and collaborations:

  • David Stauch (PhD 2006)
  • Karine Altisen

Main Publications:

Sep 302000

Projects, Students and Main Collaborations:

  • Projects: ARESA, ARESA2
  • PhD Students: Ludovic Samper, Nicolas Berthier
  • Collaborations: Orange Labs
  • Other Verimag people involved: Laurent Mounier, Karine Altisen, Stéphane Devismes, Pascal Lafourcade

Main Publications: