| Some ways to reduce the space dimension in polyhedra computations | 14 | 0.64 | 2006 |
| A synchronous language at work: the story of Lustre | 21 | 0.95 | 2005 |
| Automatic testing of reactive systems | 68 | 5.54 | 1998 |
| Non - functional requirements in the software development process | 1 | 0.35 | 1996 |
| An implementation of three algorithms for timing verification based on automata emptiness | 65 | 5.73 | 1992 |
| Minimal state graph generation | 54 | 6.91 | 1992 |
| Specifying, programming and verifying real-time systems using a synchronous declarative language | 21 | 12.68 | 1989 |
