| 2006 |
|---|
| 9 | | Loïc Plassart,
Philippe Le Parc,
Frank Singhoff,
Lionel Marcé:
Performance evaluation of a controlled flow-shop system with a timed petri net model.
ICINCO-RA 2006: 494-499 |
| 2005 |
|---|
| 8 | EE | Frank Singhoff,
Jérôme Legrand,
Laurent Nana,
Lionel Marcé:
Scheduling and memory requirements analysis with AADL.
SIGAda 2005: 1-10 |
| 2004 |
|---|
| 7 | EE | Frank Singhoff,
Jérôme Legrand,
Laurent Nana,
Lionel Marcé:
Cheddar: a flexible real time scheduling framework.
SIGAda 2004: 1-8 |
| 2001 |
|---|
| 6 | EE | Dominique L'Her,
Philippe Le Parc,
Lionel Marcé:
Proving sequential function chart programs using timed automata.
Theor. Comput. Sci. 267(1-2): 141-155 (2001) |
| 1999 |
|---|
| 5 | | Philippe Le Parc,
Dominique L'Her,
J.-L. Scharbarg,
Lionel Marcé:
Grafcet revisited with a synchronous data-flow language.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(3): 284-293 (1999) |
| 1998 |
|---|
| 4 | EE | Dominique L'Her,
Philippe Le Parc,
Lionel Marcé:
Proving Sequential Function Chart Programs Using Automata.
Workshop on Implementing Automata 1998: 149-163 |
| 1993 |
|---|
| 3 | EE | Éric Rutten,
Lionel Marcé:
An imperative language for task-level planning: Definition in temporal logic.
AI in Engineering 8(4): 235-251 (1993) |
| 1989 |
|---|
| 2 | | Philippe Even,
Lionel Marcé,
Joël Morillon,
Raymond Fournier:
The Modelling System PYRAMIDE as an Interactive Help for the Guidance of the Inspection Vehichle CENTAURE.
ISER 1989: 347-361 |
| 1 | | Éric Rutten,
Lionel Marcé:
Temporal Logics and Structured Plans.
SCAI 1989: 901-912 |
