Travelled to:1 × France
1 × Germany
1 × Italy
1 × Taiwan
1 × USA
Collaborated with:P.L.Guernic J.Talpin T.Gautier P.Amagbégnon Y.Ma H.Yu J.Ouy V.C.Ngo M.Heitz Y.Glouche A.Toom O.Laurent
Talks about:polychron (2) system (2) architectur (1) polychroni (1) transform (1) implement (1) synchron (1) isochron (1) composit (1) softwar (1)
Person: Loïc Besnard
DBLP: Besnard:Lo=iuml=c
Contributed to:
2013
2012
20112008
1995Wrote 5 papers:
- DATE-2013-MaYGGTBH #analysis #architecture #towards #validation
- Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
- IFM-2012-NgoTGGB #compilation #equation #verification
- Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
- SAC-2011-YuMGTBGGTL #using
- System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
- DATE-2008-TalpinOBG #composition #design
- Compositional design of isochronous systems (JPT, JO, LB, PLG), pp. 928–933.
- PLDI-1995-AmagbegnonBG #data flow #implementation
- Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.