Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. - Marc Phalippou; Roland Groz (FORTE, 1988)

Functional Specification for an ISDN Switching System: an Experience using Estelle. - Marc Phalippou (PSTV, 1989)

From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. - Marc Phalippou; Roland Groz (FORTE, 1990)

Combination of conformance and interoperability testing. - Noriyasu Arakawa; Marc Phalippou; Nathalie Risser; Terunao Soneoka (FORTE, 1992)

The Limited Power of Testing. - Marc Phalippou (Protocol Test Systems, 1992)

Formal Methods for Conformance Testing: Results and Perspectives. - Ana R. Cavalli; Jean Philippe Favreau; Marc Phalippou (Protocol Test Systems, 1993)

Executable Testers. - Marc Phalippou (Protocol Test Systems, 1993)

Test sequence generation using Estelle or SDL structure information. - Marc Phalippou (FORTE, 1994)

Abstract testing and concrete testers. - Marc Phalippou (PSTV, 1994)

Standardization of Formal Methods in Conformance Testing of Communication Protocols. - Ana R. Cavalli; Jean Philippe Favreau; Marc Phalippou (Comput. Networks ISDN Syst., 1996)