Lionel Marcé

12 papers A 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2006 — conf
Performance evaluation of a controlled flow-shop system with a timed petri net model.
ICINCO-RA
Loïc Plassart, Philippe Le Parc, Frank Singhoff, Lionel Marcé
2005 — conf
Scheduling and memory requirements analysis with AADL.
SIGAda
Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé
2004 — conf
Cheddar: a flexible real time scheduling framework.
SIGAda
Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé
2001 J jnl
Proving sequential function chart programs using timed automata.
Theor. Comput. Sci.
Dominique L'Her, Philippe Le Parc, Lionel Marcé
1999 J jnl
Grafcet revisited with a synchronous data-flow language.
IEEE Trans. Syst. Man Cybern. Part A
Philippe Le Parc, Dominique L'Her, Jean-Luc Scharbarg, Lionel Marcé
1998 — conf
Proving Sequential Function Chart Programs Using Automata.
Workshop on Implementing Automata
Dominique L'Her, Philippe Le Parc, Lionel Marcé
1997 A conf
Semantics and implementation of a language for telerobotics.
IROS
Erwan Le Rest, Jean Luc Fleureau, Lionel Marcé
1994 — conf
A software architecture for telerobotics.
RTS
Erwan Le Rest, Lionel Marcé
1993 J jnl
An imperative language for task-level planning: Definition in temporal logic.
Artif. Intell. Eng.
Éric Rutten, Lionel Marcé
1989 — conf
Temporal Logics and Structured Plans.
SCAI
Éric Rutten, Lionel Marcé
1989 — conf
The Modelling System PYRAMIDE as an Interactive Help for the Guidance of the Inspection Vehichle CENTAURE.
ISER
Philippe Even, Lionel Marcé, Joël Morillon, Raymond Fournier
1988 A conf
Pyramide : An Interactive Tool For Modelling Of Teleoperation Environments.
IROS
Philippe Even, Lionel Marcé