A generic virtual machine approach for programming microcontrollers: the OMicroB project S Varoumas, B Vaugon, E Chailloux 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018 | 13 | 2018 |
Concurrent Programming of Microcontrollers, a Virtual Machine Approach S Varoumas, B Vaugon, E Chailloux 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016 …, 2016 | 11 | 2016 |
Wcet of ocaml bytecode on microcontrollers: An automated method and its formalisation S Varoumas, T Crolard 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019 …, 2019 | 5 | 2019 |
OCaLustre: une extension synchrone d'OCaml pour la programmation de microcontrôleurs S Varoumas, B Vaugon, E Chailloux JFLA 2017-Vingt-huitièmes Journées Francophones des Langages Applicatifs, 2017 | 4 | 2017 |
Programming microcontrollers through high-level abstractions S Varoumas, B Pesin, B Vaugon, E Chailloux Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual …, 2020 | 3 | 2020 |
Low cost high integrity platform T Lecomte, D Déharbe, D Sabatier, E Prun, P Péronne, E Chailloux, ... arXiv preprint arXiv:2005.07191, 2020 | 3 | 2020 |
Programming microcontrollers through high-level abstractions: The OMicroB project S Varoumas, B Pesin, B Vaugon, E Chailloux Journal of Computer Languages 77, 101228, 2023 | 1 | 2023 |
La programmation de microcontrôleurs dans des langages de haut niveau-Cours invité S Varoumas, B Vaugon, E Chailloux JFLA 2018-Journées Francophones des Langages Applicatifs, 2018 | 1 | 2018 |
La programmation de microcontrôleurs dans des langages de haut niveau S Varoumas, B Vaugon, E Chailloux Journées Francophones des Langages Applicatifs 2018, 5, 2018 | 1 | 2018 |
Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources S Varoumas Sorbonne Université, 2019 | | 2019 |
proposition de stage de M2: Garanties d’exécution de programmes OCaLustre et OCaml pour microcontrôleurs E Chailloux, S Varoumas | | |