Jean-Luc Paillet

According to our database, Jean-Luc Paillet authored at least 9 papers between 1978 and 2007.

Collaborative distances:

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

2007

DECM with Min-Max Delays.

Norbert Giambiasi, Jean-Luc Paillet

Proceedings of the 2007 International Conference on Computer Design, 2007

2004

From DEVS Model to Timed Automata.

Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

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

Simulation and verification II: from timed automata to DEVS models.

Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2002

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

1996

A System for Modelling and Proving Circuits.

Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet

Proceedings of the 1996 European Design and Test Conference, 1996

1984

Utilisation d'un micro-processeur specialise dans le calcul.

Jean-Luc Paillet

Bull. dInformatique Approfondie et Appl., 1984

1979

A threshold property for intersections in a finite set.

Jean-Luc Paillet

J. Comb. Theory, Ser. B, 1979

1978

Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires.

Jean-Luc Paillet

Math. Log. Q., 1978