2020 publications

List of 2020 publications


Publications HAL de la structure hycomes

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.

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
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
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
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

Comments are closed.