Publications HAL du labo/EPI Hycomes
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, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. 〈https://ieeexplore.ieee.org/document/8466987/〉. 〈10.1109/JPROC.2018.2858016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01879026/file/hybridsyncieee.pdf BibTex
titre
Vector Barrier Certificates and Comparison Systems
auteur
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
article
FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. Springer, FM 2018: Formal Methods, 10951, pp.418-437, 2018, LNCS. 〈10.1007/978-3-319-95582-7_25〉
Accès au bibtex
BibTex
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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01970134/file/TALN%202018%20-%20Analyse%20exigences%20LN%20pour%20conception%20SCP.pdf BibTex