Searching for authors named "Albert Benveniste" – sorted by Relevance.
53 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
