Sharing Trees for "on-the-fly" Verification. - François Gagnon; Jean-Charles Grégoire; D. Zampuniéris (FORTE, 1995)

An Efficient Algorithm to Compute the Synchronized Product. - D. Zampuniéris; Baudouin Le Charlier (MASCOTS, 1995)

Distributed audit trail analysis. - Abdelaziz Mounji; Baudouin Le Charlier; D. Zampuniéris; Naji Habra (NDSS, 1995)