List of 2018 publications
Search Results –> Url version détaillée , Url version formatée
Criteria : Publication year >= “2018” to “2018”, Structure name or id is : “hycomes”
Number of occurrences founded : 6.
Criteria : Publication year >= “2018” to “2018”, Structure name or id is : “hycomes”
Number of occurrences founded : 6.
- titre
- Building a Hybrid Systems Modeler on Synchronous Languages Principles
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
- article
- Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 – 1592. ⟨10.1109/JPROC.2018.2858016⟩
- titre
- Vector Barrier Certificates and Comparison Systems
- auteur
- Andrew T Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
- article
- FM 2018 – 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
- titre
- Analyse formelle d’exigences en langue naturelle pour la conception de systèmes cyber-physiques
- auteur
- Aurélien Lamercerie
- article
- TALN 2018 – Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13
- titre
- Competencies mining with LookinLabs
- auteur
- William Dedzoe, Jean Hany, Albert Benveniste
- article
- [Research Report] RR-9158, Inria Rennes Bretagne Atlantique. 2018, pp.1-27
- titre
- The Signal synchronous language: the principles beyond the language and how to exploit and extend them
- auteur
- Albert Benveniste, Thierry Gautier
- article
- École thématique. France. 2018, pp.1-68
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen
- article
- Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
