Marc Phalippou

According to our database, Marc Phalippou authored at least 10 papers between 1988 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

Standardization of Formal Methods in Conformance Testing of Communication Protocols.

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou

Comput. Networks ISDN Syst., 1996

1994

Abstract testing and concrete testers.

Marc Phalippou

Proceedings of the Protocol Specification, 1994

Test sequence generation using Estelle or SDL structure information.

Marc Phalippou

Proceedings of the Formal Description Techniques VII, 1994

1993

Executable Testers.

Marc Phalippou

Proceedings of the Protocol Test Systems, 1993

Formal Methods for Conformance Testing: Results and Perspectives.

Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou

Proceedings of the Protocol Test Systems, 1993

1992

The Limited Power of Testing.

Marc Phalippou

Proceedings of the Protocol Test Systems, V, 1992

Combination of conformance and interoperability testing.

Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka

Proceedings of the Formal Description Techniques, 1992

1990

From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.

Marc Phalippou, Roland Groz

Proceedings of the Formal Description Techniques, 1990

1989

Functional Specification for an ISDN Switching System: an Experience using Estelle.

Marc Phalippou

Proceedings of the Protocol Specification, 1989

1988

Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol.

Marc Phalippou, Roland Groz

Proceedings of the Formal Description Techniques, 1988