List of 2020 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2020” to “2020”, Structure name or id is : “hycomes”
Number of occurrences founded : 11.
Criteria : Publication year >= “2020” to “2020”, Structure name or id is : “hycomes”
Number of occurrences founded : 11.
- titre
- Mixed Nondeterministic-Probabilistic Interfaces
- auteur
- Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet
- article
- [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
- titre
- An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
- auteur
- Aurélien Lamercerie, Benoît Caillaud
- article
- FDL 2020 – Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
- titre
- Transduction sémantique pour la modélisation de système
- auteur
- Aurélien Lamercerie
- article
- PFIA 2020 – Plate-Forme de l’Intelligence Artificielle (PFIA), rencontres RJCIA, Jun 2020, Angers, France. pp.1-6
- titre
- Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
- auteur
- Benoit Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
- titre
- Implicit structural analysis of multimode DAE systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
- titre
- The Mathematical Foundations of Physical Systems Modeling Languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9334, Inria. 2020, pp.112
- titre
- Implicit Structural Analysis of Multimode DAE Systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- [Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
- titre
- ARES : un extracteur d’exigences pour la modélisation de systèmes
- auteur
- Aurélien Lamercerie
- article
- EGC 2020 – Extraction et Gestion des Connaissances (Atelier – Fouille de Textes – Text Mine), Jan 2020, Bruxelles, Belgique. pp.1-4
- titre
- The mathematical foundations of physical systems modeling languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
- titre
- Unveiling the implicit knowledge, one scenario at a time
- auteur
- Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Bruno Arnaldi, Benoît Caillaud
- article
- The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
- titre
- Ordered Functional Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9333, Inria. 2020
