Travelled to:1 × Switzerland
2 × France
Collaborated with:∅ N.Halbwachs P.Raymond J.Forget F.Boniol C.Pagetti
Talks about:architectur (1) parameter (1) process (1) network (1) languag (1) control (1) automat (1) analysi (1) system (1) static (1)
Person: David Lesens
DBLP: Lesens:David
Contributed to:
2010
2010
1997Wrote 3 papers:
- SAC-2010-ForgetBLP #architecture #design #embedded #multi #realtime
- A real-time architecture design language for multi-rate embedded control systems (JF, FB, DL, CP), pp. 527–534.
- SAS-2010-Lesens #question #static analysis #using #why
- Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.
- POPL-1997-Halbwachs #automation #linear #network #process #verification
- Automatic Verification of Parameterized Linear Networks of Processes (DL, NH, PR), pp. 346–357.