BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Besnard:Lo=iuml=c

Contributed to:

DATE 20132013
IFM 20122012
SAC 20112011
DATE 20082008
PLDI 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.