List of 2015 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2015” to “2015”, Structure name or id is : “hycomes”
Number of occurrences founded : 6.
Criteria : Publication year >= “2015” to “2015”, Structure name or id is : “hycomes”
Number of occurrences founded : 6.
- titre
- Robust Simulation for Hybrid Systems Chattering Path Avoidance
- auteur
- Ayman Aljarbouh, Benoît Caillaud
- article
- The 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
- titre
- Loosely Time-Triggered Architectures: Improvements and Comparisons
- auteur
- Guillaume Baudart, Timothy Bourke, Albert Benveniste
- article
- Proceedings of the 12th International Conference on Embedded Software (EMSOFT ’15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩
- titre
- Contracts for Schedulability Analysis
- auteur
- Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
- article
- 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain
- titre
- On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems
- auteur
- Ayman Aljarbouh, Benoît Caillaud
- article
- Baltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49
- titre
- Contracts for Systems Design: Theory
- auteur
- Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
- titre
- Contracts for Systems Design: Methodology and Application cases
- auteur
- Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
