List of 2014 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2014” to “2014”, Structure name or id is : “hycomes”
Number of occurrences founded : 7.
Criteria : Publication year >= “2014” to “2014”, Structure name or id is : “hycomes”
Number of occurrences founded : 7.
- titre
- On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- [Research Report] RR-8630, Inria. 2014, pp.30
- titre
- Domain Globalization: Using Languages to Support Technical and Social Coordination
- auteur
- Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
- article
- International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
- titre
- Application of branching cells to QoS aware service orchestrations
- auteur
- Albert Benveniste, Claude Jard, Samy Abbes
- article
- Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
- titre
- A Type-Based Analysis of Causality Loops in Hybrid Modelers
- auteur
- Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- HSCC ’14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
- titre
- Efficient Monte Carlo simulation of stochastic hybrid systems
- auteur
- Marc Bouissou, Hilding Elmqvist, Martin Otter, Albert Benveniste
- article
- The 10th International Modelica Conference 2014, Hubertus Tummescheit; Karl-Erik Årzén, Mar 2014, Lund, Sweden. ⟨10.3384/ECP14096715⟩
- titre
- A Unifying View of Loosely Time-Triggered Architectures
- auteur
- Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi
- article
- [Research Report] RR-8494, INRIA. 2014, pp.14
- titre
- Compositional Contract Abstraction for System Design
- auteur
- Albert Benveniste, Dejan Nickovic, Thomas Henzinger
- article
- [Research Report] RR-8460, INRIA. 2014
