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

• 2027 - (1)

  • Revue internationale à comité de lecture - (1)

    • Quality assurance in infrastructure as code: Issues, approaches, and open challenges
      Auteur(s) : Jolan PHILIPPE, Haitam EL HAYANI, Stéphanie CHALLITA, Olivier BARAIS, Benoît COMBEMALE
      

      HAL : 5742649

• 2026 - (3)

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

    • Poliac: Production Observability for LLM-Based Infrastructure as Code
      Auteur(s) : Jolan PHILIPPE, Haitam EL HAYANI, Stéphanie CHALLITA
      

      Poliac: Production Observability for LLM-Based Infrastructure as Code - HAL : 5742719

    • mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Nicolas PAUL
      

      HAL : 5691641

    • Towards Semantics-Aware Resilience in Composable Data Systems
      Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE
      

      HAL : 5654499

• 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 : 5374282

• 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