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
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 Larsen
article
Foundations and Trends in Electronic Design Automation, Now Publishers, 2018, 12 (2-3), pp.124-400
Accès au bibtex
BibTex