Publications

Journals and Conferences Proceedings

  • A. Griffault, S. Gaudan, F. Kuntz, E. Laurent, G. Point and C. Sannino. Model-based diagnosis for avionics systems using minimal cuts. In 22nd International Workshop on Principles of Diagnosis – DX 2011, Allemagne (2011).
  • A. Griffault and A. Vincent. The Mec 5 model-checker. In Proceedings of the 16th International Conference on Computed Aided Verification (CAV 2004), Boston, MA, USA, July 13-17, 2004.
  • A. Arnold, A. Griffault, G. Point and A. Rauzy. The AltaRica formalism for describing concurrent systems. Fundam. Inf. 40, issue 2-3, pages 109-124, IOS Press, 2000.
  • G. Point and A. Rauzy. AltaRica. Constraint automata as a description language.
    European Journal on Automation, 33(8-9):1033-1052, Hermes, 1999.
  • S. Lajeunesse, G. Point, A. Rauzy, J.-P. Signoret and P. Thomas. Le langage AltaRica. In Actes du 11ième colloque national de Fiabilité et Maintenabilité, Lambda-Mu’11. pp 119–125, 1998.
  • A. Griffault, G. Point, A. Rauzy, J.P. Signoret and P. Thomas. The AltaRica Language. In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Conference, ESREL’98. 1998.

Thesis

Research and Technical Reports