Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Albert Benveniste
Loosely Time-Triggered Architectures
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
A Unifying View of Loosely Time-Triggered Architectures
Structural Analysis of Multi-Mode DAE Systems
Variability Modeling and QoS Analysis of Web Services Orchestrations
Document Based Modeling of Web Services Choreographies Using Active XML
Pairwise Testing of Dynamic Composite Services
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multiscale System Theory
