Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires. - Jean-Luc Paillet (Math. Log. Q., 1978)

A threshold property for intersections in a finite set. - Jean-Luc Paillet (J. Comb. Theory B, 1979)

Utilisation d'un micro-processeur specialise dans le calcul. - Jean-Luc Paillet (Bull. dInformatique Approfondie et Appl., 1984)

A System for Modelling and Proving Circuits. - Michel Allemand; Solange Coupet-Grimal; Line Jakubiec; Jean-Luc Paillet (ED&TC, 1996)

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. - Jean-Luc Paillet; Norbert Giambiasi (J. Intell. Robotic Syst., 2002)

Simulation and verification II: from timed automata to DEVS models. - Norbert Giambiasi; Jean-Luc Paillet; Frédéric Châne (WSC, 2003)

Using Simulation for the Validation of High Level Specifications of Control Systems. - Watcharee Jumpamule; Jean-Luc Paillet; Norbert Giambiasi (J. Intell. Robotic Syst., 2003)

From DEVS Model to Timed Automata. - Frédéric Châne; Norbert Giambiasi; Jean-Luc Paillet (Software Engineering Research and Practice, 2004)

DECM with Min-Max Delays. - Norbert Giambiasi; Jean-Luc Paillet (CDES, 2007)