Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2025 - (1)

  • Autres Publications - (1)

    • Défi du GDR GPL ADaptation DYnamique et ConTinue ADDYCT
      Auteur(s) : Jolan PHILIPPE, Jannik LAVAL, Eric CARIOU, Rabéa AMEUR-BOULIFA, Sylvain GUÉRIN, Olga KOUCHNARENKO, Nawal GUERMOUCHE
      

      HAL : 5154399

• 2024 - (2)

  • Logiciel - (1)

    • Concerto-D in Maude
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
      

      HAL : 4654817

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
      

      HAL : 4718256

• 2023 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Towards Verified Scalable Parallel Computing with Coq and Spark
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
      

      HAL : 4142453

• 2019 - (5)

  • Publications dans les actes d'un congrès international avec comité de lecture - (5)

    • Automatic Optimization of Python Skeletal Parallel Programs
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
      

      HAL : 2317123

    • New List Skeletons for the Python Skeleton Library
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
      

      HAL : 2317124

    • PySke: Algorithmic Skeletons for Python
      Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
      

      HAL : 2317127

    • Parallel programming with Coq: Map and reduce skeletons on trees
      Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
      

      HAL : 2317074

    • Towards automatically optimizing PySke programs (poster)
      Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
      

      HAL : 2318361

• 2018 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Towards the Generation of Correct Java Programs (Research Poster)
      Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
      

      HAL : 2317085

• 2017 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Formalization of a Big Graph API in Coq
      Auteur(s) : Jolan PHILIPPE, Wadoud BOUSDIRA, Frédéric LOULERGUE
      

      HAL : 2317110