 | 2007 |
|---|
| 6 |       | Norbert Giambiasi,
Jean-Luc Paillet:
DECM with Min-Max Delays.
CDES 2007: 127-136 |
| 2004 |
|---|
| 5 | | Frédéric Châne,
Norbert Giambiasi,
Jean-Luc Paillet:
From DEVS Model to Timed Automata.
Software Engineering Research and Practice 2004: 498-504 |
| 2003 |
|---|
| 4 |  | Norbert Giambiasi,
Jean-Luc Paillet,
Frédéric Châne:
Simulation and verification II: from timed automata to DEVS models.
Winter Simulation Conference 2003: 923-931 |
| 3 | | Watcharee Jumpamule,
Jean-Luc Paillet,
Norbert Giambiasi:
Using Simulation for the Validation of High Level Specifications of Control Systems.
Journal of Intelligent and Robotic Systems 38(3-4): 345-375 (2003) |
| 2002 |
|---|
| 2 | | Jean-Luc Paillet,
Norbert Giambiasi:
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.
Journal of Intelligent and Robotic Systems 34(1): 27-81 (2002) |
| 1979 |
|---|
| 1 | | Jean-Luc Paillet:
A threshold property for intersections in a finite set.
J. Comb. Theory, Ser. B 26(2): 150-153 (1979) |
