Jean-Pierre Elloy

According to our database, Jean-Pierre Elloy authored at least 7 papers between 1981 and 2005.

Collaborative distances:

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

2005

Ensuring High Quality in Specifications for Automotive Embedded Control Systems.

Eva Rakotomalala, Jean-Pierre Elloy, Pierre Molinaro, Bernard Bavoux, Didier Jampi

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

1995

Sémantique du parallélisme et du choix du langage electre.

Marc Huou, Jean-Pierre Elloy

RAIRO Theor. Informatics Appl., 1995

A distributed transaction processing facility for the MMS specification.

Y. Dakroury, Jean-Pierre Elloy

Proceedings of the Proceedings IEEE Symposium on Computers and Communications, 1995

Specification of a Secured Multi-Server MMS Protocol.

Y. Dakroury, Jean-Pierre Elloy, R. Ricordel

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1986

Electre: A Language for Control Structuring in Real Time.

Jean-Pierre Elloy, Olivier F. Roux

Comput. J., 1986

1985

ELECTRE: A language using control structure expressions to specify synchronization.

Olivier F. Roux, Jean-Pierre Elloy

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1981

A real time monitor and its representation by Petri Nets.

C. Chaudouard, Jean-Pierre Elloy

Microprocessing and Microprogramming, 1981