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

• Fabien Kuntz. Une approche basée modèle pour l’optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic. Thèse de l’Université Bordeaux I, 2013.
• Romain Bernard. Analyses de sûreté de fonctionnement multi-systèmes. Thèse de l’Université Bordeaux I, 2009.
• Laurent Sagaspe. Allocation sûre dans les systèmes aéronautiques: Modélisation, Vérification et Génération. Thèse de l’Université Bordeaux I, 2008.
• Christophe Kehren. Motifs formels d’architectures de systèmes pour la sûreté de fonctionnement. Thèse de l’Ecole Nationale Supérieure de l’Aéronautique et de l’Espace (SUPAERO), 2005.
• Claire Pagetti. Extension temps réel d’AltaRica. Thèse de l’Ecole Centrale de Nantes. ECN Université de Nantes, 2004.
• Aymeric Vincent. Conception et réalisation d’un vérificateur de modèles AltaRica. Thèse de l’Université Bordeaux I, 2003.
• Gérald Point. AltaRica: Contribution à l’unification des méthodes formelles et de la Sûreté de fonctionnement. Thèse de l’Université Bordeaux I, 2000.

Research and Technical Reports

• Alain Griffault, Fabien Kuntz, Gérald Point and Aymeric Vincent. Symbolic computation of minimal cuts for AltaRica models. Research Report n°1456-11. LaBRI – Université Bordeaux I, Sep. 2011.
• Alain Griffault and Gérald Point. On the partial translation of Lustre programs into the AltaRica language and vice versa. Research Report n°1415-06. LaBRI – Université Bordeaux I, Nov. 2006.
• André Arnold, Alain Griffault, Gérald Point and Antoine Rauzy. AltaRica: Manuel méthodologique, 2005.