List of 2022 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2022” to “2022”, Structure name or id is : “hycomes”
Number of occurrences founded : 8.
Criteria : Publication year >= “2022” to “2022”, Structure name or id is : “hycomes”
Number of occurrences founded : 8.
- titre
- From Hybrid Automata to DAE-Based Modeling
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
- titre
- Characterizing Positively Invariant Sets: Inductive and Topological Methods
- auteur
- Khalil Ghorbal, Andrew Sogokon
- article
- Journal of Symbolic Computation, 2022
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- titre
- Constraint System Decomposition
- auteur
- Joan Thibault
- article
- [Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
- titre
- Hypercontracts
- auteur
- Inigo Incer, Albert Benveniste, Sanjit Seshia, Alberto Sangiovanni-Vincentelli
- article
- NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-06773-0_36⟩
- titre
- Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9459, Inria Rennes – Bretagne Atlantique. 2022, pp.1-46
- titre
- Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
- auteur
- Albert Benveniste, Jean-Baptiste Raclet
- article
- [Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52
- titre
- On Covering Smooth Manifolds with a Q-arrangement of Simplicies: An inductive Characterization of Q-matrices
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2022