On-Set Realization of Fail-Safe Sequential Machines. - Michel Diaz; Jean Claude Geffroy; Marc Courvoisier (IEEE Trans. Computers, 1974)

Task Synchronization in Distributed Real Time Control Systems. - Marc Courvoisier; Robert Valette; J. Golinski; Hamid Demmou (RTSS, 1981)

A Matrix-Based Implementation of Generalized Petri Nets. - Marc Courvoisier (European Workshop on Applications and Theory of Petri Nets, 1982)

Control of Flexible Production Systems and Petri Nets. - Robert Valette; Marc Courvoisier; D. Mayeux (European Workshop on Applications and Theory of Petri Nets, 1982)

A varied strategy programmable arbiter. - Marc Courvoisier (ICPP, 1982)

Cascaded Self-Checking Bus Arbiters for Multicomputer Systems. - Marc Courvoisier; Jean Claude Geffroy (RTSS, 1982)

Issues for concurrent programming in real-time systems. - Nacéra Ould-Kaddour; Marc Courvoisier (ICRA, 1987)

Joining Petri nets and knowledge based systems for monitoring purposes. - A. Sahraoui; H. Atabakhche; Marc Courvoisier; Robert Valette (ICRA, 1987)