On a Prolog Environment for Protocol Analysis. - Giorgos Papapanagiotakis; Pierre Azéma; Brigitte Pradin-Chezalviel (ICDCS, 1986)

Axioms of Communication Using Temporal Logic with Past. - Brigitte Pradin-Chezalviel; Michel Diaz (PSTV, 1989)

Scenario durations characterization of t-timed Petri nets using linear logic. - Brigitte Pradin-Chezalviel; Robert Valette; Luis Allan Künzle (PNPM, 1999)

Reachability and Temporal Conflicts in t-Time Petri Nets. - Nicolas Rivière; Brigitte Pradin-Chezalviel; Robert Valette (PNPM, 2001)