A. Griffault

Proof of Peterson’s algorithm for mutual exclusion∗

A. Griffault, 2016 .

Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms

Antoine Rauzy, Marc-Michel Corsini, Alain Griffault, 1993, LPAR.

The AltaRica Formalism for Describing Concurrent Systems

Antoine Rauzy, Alain Griffault, André Arnold, 1999, Fundam. Informaticae.

ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

Pierre Bieber, Sylvain Metge, Marco Bozzano, 2006 .

Symbolic computation of minimal cuts for AltaRica models

Alain Griffault, Aymeric Vincent, Fabien Kuntz, 2011 .

Graph based algorithms for computing cuts

Alain Griffault, Tran Thanh Tung, T. T. Tung, 2011 .