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 × USA
2 × United Kingdom
Collaborated with:
S.Abbes M.L.Borgne P.L.Guernic T.Bourke B.Caillaud M.Pouzet
Talks about:
probabilist (2) system (2) hybrid (2) time (2) architectur (1) synchron (1) structur (1) trigger (1) languag (1) concurr (1)

Person: Albert Benveniste

DBLP DBLP: Benveniste:Albert

Contributed to:

LCTES 20112011
DATE 20102010
FOSSACS 20092009
FoSSaCS 20052005
ESOP 19921992

Wrote 5 papers:

LCTES-2011-BenvenisteBCP #compilation #hybrid
Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
DATE-2010-Benveniste #architecture #cyber-physical
Loosely Time-Triggered Architectures for Cyber-Physical Systems (AB), pp. 3–8.
FoSSaCS-2009-AbbesB #algebra #concurrent #probability
Concurrency, σ-Algebras, and Probabilistic Fairness (SA, AB), pp. 380–394.
FoSSaCS-2005-AbbesB #branch #probability
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.
ESOP-1992-BenvenisteBG #hybrid #realtime
SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.

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.