Jean-Luc Paillet

Publication Activity (10 Years)

Years Active: 1978-2007
Publications (10 Years): 0

Publications

Norbert Giambiasi, Jean-Luc Paillet
DECM with Min-Max Delays. CDES (2007)
Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet
From DEVS Model to Timed Automata. Software Engineering Research and Practice (2004)
Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi
Using Simulation for the Validation of High Level Specifications of Control Systems. J. Intell. Robotic Syst. 38 (3-4) (2003)
Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne
Simulation and verification II: from timed automata to DEVS models. WSC (2003)
Jean-Luc Paillet, Norbert Giambiasi
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. J. Intell. Robotic Syst. 34 (1) (2002)
Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet
A System for Modelling and Proving Circuits. ED&TC (1996)
Jean-Luc Paillet
Utilisation d'un micro-processeur specialise dans le calcul. Bull. dInformatique Approfondie et Appl. 7 (1984)
Jean-Luc Paillet
A threshold property for intersections in a finite set. J. Comb. Theory, Ser. B 26 (2) (1979)
Jean-Luc Paillet
Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires. Math. Log. Q. 24 (1-6) (1978)