Searching for authors named "Albert Benveniste" – sorted by Relevance.
-
Some synchronization issues when designing embedded systems from components
- Some synchronization issues when designing embedded systems from components Albert Benveniste 1
- Cited by 7 (4 self) – Add To MetaCart
-
Compositional and Uniform Modelling of Hybrid Systems
- Compositional and Uniform Modelling of Hybrid Systems Albert Benveniste Abstract This paper
- Cited by 10 (0 self) – Add To MetaCart
-
II. A General Hybrid Systems Model
- Compositional and Uniform Modelling of Hybrid Systems Albert Benveniste Abstract This paper
- Add To MetaCart
-
Convergence Rates for Eigenstructure Identification Using Subspace Methods
- Albert Benveniste IRISA, Campus de Beaulieu, 35042 Rennes cedex, France, benveniste
- Add To MetaCart
-
Branching cells as local states for event structures and nets: Probabilistic applications
- Abbes ⋆ and Albert Benveniste ⋆⋆ IRISA Campus de Beaulieu, 35042 Rennes Cedex. France Abstract. We study
- Cited by 5 (2 self) – Add To MetaCart
-
Toward an approximation theory for computerised control
- Toward an Approximation Theory for Computerised Control ⋆ Paul Caspi 1 , Albert Benveniste 2 1
- Cited by 8 (2 self) – Add To MetaCart
-
Algebraic techniques for timed systems
- Algebraic Techniques for Timed Systems* Albert Benveniste 1, Claude Jard 2, and St~phane Gaubert 3
- Cited by 3 (1 self) – Add To MetaCart
-
Using Local Tests to Estimate Convergence Rates for Identification
- Using local tests to estimate convergence rates for identi cation Albert Benveniste IRISA, Campus
- Cited by 1 (1 self) – Add To MetaCart
-
The synchronous approach to reactive and real-time systems
- The Synchronous Approach to Reactive and Real-Time Systems _ _ ~ ALBERT BENVENISTE, FELLOW, IEEE
- Cited by 295 (8 self) – Add To MetaCart
-
Workshop on Formal Design Of Safety Critical Embedded Systems
- are particularly grateful to our sponsors, BMW, GMD, INRIA, and SIEMENS. Enjoy the meeting. Albert Benveniste, Axel
- Add To MetaCart

