Travelled to:1 × France
2 × USA
Collaborated with:F.Singhoff J.Legrand L.Nana D.L'Her P.L.Parc
Talks about:schedul (2) framework (1) sequenti (1) function (1) automata (1) program (1) flexibl (1) cheddar (1) analysi (1) requir (1)
Person: Lionel Marcé
DBLP: Marc=eacute=:Lionel
Contributed to:
20052004
1998Wrote 3 papers:
- SIGAda-2005-SinghoffLNM #analysis #memory management #requirements #scheduling
- Scheduling and memory requirements analysis with AADL (FS, JL, LN, LM), pp. 1–10.
- SIGAda-2004-SinghoffLNM #flexibility #framework #named #realtime #scheduling
- Cheddar: a flexible real time scheduling framework (FS, JL, LN, LM), pp. 1–8.
- WIA-1998-LHerPM #automaton #proving #source code #using
- Proving Sequential Function Chart Programs Using Automata (DL, PLP, LM), pp. 149–163.