المؤلفون: Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Susungi, Adilla, Conchon, Sylvain

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2005.07191

المؤلفون: Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Huawei Technologies Research & Development Cambridge, Université Paris Sciences et Lettres (PSL), Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone (Parkas), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Armadillo, Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), This work has been partially supported by the Systematic Paris-Region Cluster (LCHIP project), and partly performed at the IRILL center for Free Software Research and Innovation in Paris, France.

المصدر: ISSN: 2590-1184 ; Journal of Computer Languages ; https://hal.sorbonne-universite.fr/hal-04279767 ; Journal of Computer Languages, 2023, 77, pp.101228. ⟨10.1016/j.cola.2023.101228⟩.

مصطلحات موضوعية: Microcontrollers, Virtual machine, High-level programming, OCaml, Functors, Synchronous programming, [INFO]Computer Science [cs]

الاتاحة: https://hal.sorbonne-universite.fr/hal-04279767
https://hal.sorbonne-universite.fr/hal-04279767v1/document
https://hal.sorbonne-universite.fr/hal-04279767v1/file/cola.pdf
https://doi.org/10.1016/j.cola.2023.101228

المؤلفون: Lecomte, Thierry, Déharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Susungi, Adilla, Conchon, Sylvain

المساهمون: ClearSy Systems Engineering, Universidade Federal do Rio Grande do Norte Natal (UFRN), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Centre de Recherche en Informatique (CRI), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)

المصدر: ERTS 2020 - 10th European Congress on Embedded Real Time Systems ; https://hal.science/hal-02446132 ; ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France

مصطلحات موضوعية: Certification, Safety, Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

جغرافية الموضوع: Toulouse, France

الاتاحة: https://hal.science/hal-02446132
https://hal.science/hal-02446132v1/document
https://hal.science/hal-02446132v1/file/Low_Cost_High_Integrity_Platform.pdf

المؤلفون: Varoumas, Steven, Crolard, Tristan

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), CEDRIC. Systèmes sûrs (CEDRIC - SYS), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM)-Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Sebastian Altmeyer

المصدر: 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
https://hal.science/hal-02340245
19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019), Jul 2019, Stuttgart, Germany. pp.5:1--5:12, ⟨10.4230/OASIcs.WCET.2019.5⟩

مصطلحات موضوعية: bytecode, synchronous programming, microcontrollers, Computer systems organization → Real-time systems Keywords and phrases Worst-case execution time, OCaml, 2012 ACM Subject Classification Computer systems organization → Embedded software, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Stuttgart, Germany

Relation: hal-02340245; https://hal.science/hal-02340245; https://hal.science/hal-02340245/document; https://hal.science/hal-02340245/file/OASIcs-WCET-2019-5.pdf

الاتاحة: https://hal.science/hal-02340245
https://hal.science/hal-02340245/document
https://hal.science/hal-02340245/file/OASIcs-WCET-2019-5.pdf
https://doi.org/10.4230/OASIcs.WCET.2019.5

المؤلفون: Varoumas, Steven, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Armadillo

المصدر: Proceedings of the 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) ; 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) ; https://hal.sorbonne-universite.fr/hal-01705825 ; 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France ; https://www.erts2018.org/

مصطلحات موضوعية: Microcontroller, Virtual Machine, Portability, OCaml, Embedded System, OMicroB, Static Analysis, Synchronous Language, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Toulouse, France

Relation: hal-01705825; https://hal.sorbonne-universite.fr/hal-01705825; https://hal.sorbonne-universite.fr/hal-01705825/document; https://hal.sorbonne-universite.fr/hal-01705825/file/ERTS_2018_paper_109.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01705825
https://hal.sorbonne-universite.fr/hal-01705825/document
https://hal.sorbonne-universite.fr/hal-01705825/file/ERTS_2018_paper_109.pdf

المؤلفون: Varoumas, Steven, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Algorithmes, Programmes et Résolution (APR), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Armadillo

المصدر: JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs ; https://hal.science/hal-01446225 ; JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Gourette, France

Relation: hal-01446225; https://hal.science/hal-01446225; https://hal.science/hal-01446225/document; https://hal.science/hal-01446225/file/JFLA_2017_paper_21-2.pdf

الاتاحة: https://hal.science/hal-01446225
https://hal.science/hal-01446225/document
https://hal.science/hal-01446225/file/JFLA_2017_paper_21-2.pdf

المؤلفون: Varoumas, Steven, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Algorithmes, Programmes et Résolution (APR), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)

المصدر: Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) ; 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) ; https://hal.science/hal-01292266 ; 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720 ; http://www.erts2016.org/

مصطلحات موضوعية: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: TOULOUSE, France

Relation: hal-01292266; https://hal.science/hal-01292266; https://hal.science/hal-01292266/document; https://hal.science/hal-01292266/file/paper_76.pdf

الاتاحة: https://hal.science/hal-01292266
https://hal.science/hal-01292266/document
https://hal.science/hal-01292266/file/paper_76.pdf

المؤلفون: Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone (Parkas), Département d'informatique - ENS-PSL (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Armadillo

المصدر: VMIL 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages ; VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages ; https://hal.science/hal-03154265 ; VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, Nov 2020, Chicago / Virtual, United States. pp.5-14, ⟨10.1145/3427765.3428495⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Chicago / Virtual, United States

الاتاحة: https://hal.science/hal-03154265
https://doi.org/10.1145/3427765.3428495

المؤلفون: Harrison, Joseph Richard, Thompson, Simon, Varoumas, Steven, Rowe, Reuben

مصطلحات موضوعية: QA 76 Software, computer programming

وصف الملف: application/pdf

Relation: https://kar.kent.ac.uk/100124/1/OCaml_workshop2020.pdf; Harrison, Joseph Richard, Thompson, Simon, Varoumas, Steven, Rowe, Reuben (2020) API migration: compare transformed. In: OCaml workshop 2020, 28 Aug 2020, virtual. (Unpublished) (KAR id:100124 )

الاتاحة: https://kar.kent.ac.uk/100124/
https://kar.kent.ac.uk/100124/1/OCaml_workshop2020.pdf
https://ocaml.org/workshops/ocaml-workshop-2020

المؤلفون: Varoumas, Steven

المساهمون: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Sorbonne Université, Tristan Crolard

المصدر: Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS394⟩

مصطلحات موضوعية: Synchronous programming, OCaml, Machine virtuelle, Microcontrôleurs, Preuves, Microcontrollers, Virtual machine, Proofs, Programmation synchrone, WCET, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::453a85a0ff4e932fa2409b2acebefa42
https://tel.archives-ouvertes.fr/tel-02426454v2/document

المؤلفون: Varoumas, Steven

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Sorbonne Université, Tristan Crolard

المصدر: Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français
Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS394⟩

مصطلحات موضوعية: preuves, OCaml, synchronous programming, virtual machine, proofs, machine virtuelle, programmation synchrone, microcontrôleurs, microcontrollers, WCET, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::453a85a0ff4e932fa2409b2acebefa42
https://tel.archives-ouvertes.fr/tel-02426454/document

المؤلفون: Varoumas, Steven, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Armadillo

المصدر: JFLA 2018 - Journées Francophones des Langages Applicatifs ; https://hal.sorbonne-universite.fr/hal-01762414 ; JFLA 2018 - Journées Francophones des Langages Applicatifs , Jan 2018, BANYULS, France

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: BANYULS, France

Relation: hal-01762414; https://hal.sorbonne-universite.fr/hal-01762414

الاتاحة: https://hal.sorbonne-universite.fr/hal-01762414

المؤلفون: Varoumas, Steven

المساهمون: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Sorbonne Université, Tristan Crolard

المصدر: https://theses.hal.science/tel-02426454 ; Informatique et langage [cs.CL]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS394⟩.

مصطلحات موضوعية: Microcontrollers, Virtual machine, OCaml, Synchronous programming, WCET, Proofs, Microcontrôleurs, Machine virtuelle, Programmation synchrone, Preuves, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Relation: NNT: 2019SORUS394; tel-02426454; https://theses.hal.science/tel-02426454; https://theses.hal.science/tel-02426454v2/document; https://theses.hal.science/tel-02426454v2/file/VAROUMAS_Steven_2019.pdf

الاتاحة: https://theses.hal.science/tel-02426454
https://theses.hal.science/tel-02426454v2/document
https://theses.hal.science/tel-02426454v2/file/VAROUMAS_Steven_2019.pdf

المؤلفون: Varoumas, Steven

المساهمون: Sorbonne université, Crolard, Tristan

مصطلحات موضوعية: Microcontrôleurs, Machine virtuelle, OCaml, Programmation synchrone, WCET, Preuves, Microcontrollers, Virtual machine, Synchronous programming, Proofs, 005.13

Relation: http://www.theses.fr/2019SORUS394/document

الاتاحة: http://www.theses.fr/2019SORUS394/document

المؤلفون: Varoumas, Steven, Vaugon, Benoît, Chailloux, Emmanuel

المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Armadillo

المصدر: JFLA 2018-Journées Francophones des Langages Applicatifs
JFLA 2018-Journées Francophones des Langages Applicatifs, Jan 2018, BANYULS, France

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ComputingMilieux_MISCELLANEOUS

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::086d8dc40c054e43b91df1fcbe6d1680
https://hal.sorbonne-universite.fr/hal-01762414