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: Benveniste:Albert
Contributed to:
2011
2010
20092005
1992Wrote 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.