Elaborating, Structuring and Expressing Formal Requirements of Composite Systems. - Eric Dubois 001; Philippe Du Bois; André Rifaut (CAiSE, 1992)

Elicitating and Formalising Requirements for C.I.M. Information Systems - Eric Dubois 001; Philippe Du Bois; Michaël Petit (CAiSE, 1993)

O-O Requirements Analysis: an Agent Perspective. - Eric Dubois 001; Philippe Du Bois; Michaël Petit (ECOOP, 1993)

Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems. - Marc Derroitte; Eric Dubois 001; Philippe Du Bois; Michaël Petit; Jean-Pol Michel (DIISM, 1993)

Animating Formal Requirements Specifications of Cooperative Information Systems. - Eric Dubois 001; Philippe Du Bois; Frédéric DuBru (CoopIS, 1994)

ALBERT: An Agent-Oriented Language for Building and Eliciting Requirements for Real-Time Systems. - Eric Dubois 001; Philippe Du Bois; Michaël Petit (HICSS (4), 1994)

From Organization Models to System Requirements: A 'Cooperating Agents' Approach. - Eric S. K. Yu; Philippe Du Bois; Eric Dubois 001; John Mylopoulos (CoopIS, 1995)

On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem. - Philippe Du Bois; Eric Dubois 001; Jean-Marc Zeippen (RE, 1997)

On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem. - Philippe Du Bois; Eric Dubois 001; Jean-Marc Zeippen (Requir. Eng., 1997)

Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems. - Jean-Marc Zeippen; Eric Dubois 001; Philippe Du Bois (ISORC, 1998)