Pierre Jouvelot
Présentation
Pierre Jouvelot is Senior Researcher at the Centre de recherche en informatique, MINES ParisTech, PSL Research University (France).
Publications
Publications
|
|
Abstract VCG: Tie-breaking rules in VCG mechanism designRocqPL Workshop, Jan 2026, Rennes, France |
|
|
The IRRAD Proton Irradiation Facility Data Management, Analytics, Control and Beam Diagnostic systems: current performance and outlook beyond the CERN LS3ICALEPCS, Sep 2025, Chicago, United States. ⟨10.18429/JACoW-ICALEPCS2025-TUMG003⟩ |
|
|
Characterization of an IRRAD beam profile monitor at the CERN T8 beamline and possible improvements via cross-analysis with multiwire proportional chamber16th International Particle Accelerator Conference, Jun 2025, Taiwan, Taiwan. pp.2921-2923, ⟨10.18429/JACoW-IPAC2025-THPM111⟩ |
|
|
Machine learning for the anomaly detection and characterization of the 24 GeV/c proton beam at CERN IRRAD Facility16th International Particle Accelerator Conference, Jun 2025, Taipei (TW), Taiwan. pp.2917-2920, ⟨10.18429/JACoW-IPAC2025-THPM110⟩ |
|
|
NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment SystemICBC, Jun 2025, Pise (Italia), France. ⟨10.1109/ICBC64466.2025.11114708⟩ |
|
|
Nicknames for Group SignaturesSecurity and Trust Management 21st International Workshop, STM 2025, Sep 2025, Toulouse, France. pp.210-230, ⟨10.1007/978-3-032-06155-3_12⟩ |
|
|
Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power RequirementsSAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jun 2024, Samos (Greece), Greece |
|
|
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive DisordersThe IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE), Jun 2023, Orlando (Florida), United States. ⟨10.1145/3580252.3589413⟩ |
|
|
CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTSThe 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa |
|
|
Tala Box : Sociomatérialité d'un dispositif sonore pour patients AlzheimerEHEALTH & ETHICS 2023 RESEARCH DAY, Apr 2023, La défense, Paris, France |
UPGRADING THE IRRAD CONTROL SYSTEM GUIs USING OPEN-LICENSE AND CROSS-PLATFORM TECHNOLOGIES *the 13th International Workshop on Emerging Technologies and Scientific Facilities Controls PCaPAC 2022, Oct 2022, Prague, Czech Republic |
|
|
|
The impact of motivation on the quality of project management data: an emailbased communication case studyEURAM 2022 (leading Digital Transformation), School of Managemnt and Law, Jun 2022, Winterthur, Switzerland |
|
|
The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing AlgorithmsFARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩ |
|
|
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States |
Upgrades for the CERN EP Irradiation Facilities (IRRAD, Gif++) and plans beyond the Long Shutdown 29th edition of the Beam Telescopes and Test Beams Workshop ( online workshop), Jan 2021, Lecce, Italy |
|
The IRRAD Proton Irradiation Facility Control, Data Management and Beam Diagnostic Systems: An Outlook of the Major Upgrades Beyond the CERN Long Shutdown 217th International Conference on Accelerator and Large Experimental Physics Control Systems, Oct 2019, New York, United States. pp.WEPHA127, ⟨10.18429/JACoW-ICALEPCS2019-WEPHA127⟩ |
|
|
|
TIME-REVERSAL MIRRORING FOR NEAR-ULTRASONIC INDOOR COMMUNICATIONe-Forum Acusticum, Dec 2020, Lyon, France. ⟨10.48465/fa.2020.0063⟩ |
Automatic Web Application Generation From an Irradiation Experiment Data Management Ontology (IEDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, Oct 2019, New York, United States. pp.TUBPL01, ⟨10.18429/JACoW-ICALEPCS2019-TUBPL01⟩ |
|
The IRRAD Proton Irradiation Facility Control, Data Management and Beam Diagnostic systems: an outlook of the major upgrades beyond the LHC Long Shutdown 217th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States |
|
An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfacesthe 27th ACM Conference, Jun 2019, Larnaca, France. pp.78-85, ⟨10.1145/3320435.3320443⟩ |
|
The CERN Proton Irradiation Facility IRRAD during and after the CERN Long Shutdown 27th Beam Telescopesans Test Beams Workshop, CERN, Jan 2019, Genève, Switzerland |
|
The IRRAD Data Manager (IDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States |
|
Automatic Web Application Generation from an Irradiation Experiment Data Management Ontology (IEDM)17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States |
|
|
|
IEDM, an Ontology for Irradiation Experiment Data ManagementESWC 2019 (European Semantic Web Conference), Jun 2019, Portoroz, Slovenia |
|
|
Vers une nouvelle approche méthodologique de recherche interdisciplinaire par le design : le projet Tala Sound, une étude de cas en design social8° Colloque Santé, May 2019, Marseille, France |
Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHSIEEE International Conference on Systems, Man, and Cybernetics (SMC2018), Oct 2018, Miyazaki, Japan. pp.1305-1310 |
|
|
|
Experimental Energy Profiling of Energy-Critical Embedded Applications25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6 |
Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer PatientsThe first International Conference on User Modeling, Adaptation and Personnalization (UMAP 2017), Jul 2017, Bratislava, Slovakia. pp.253-256 ⟨10.1145/3099023.3099052⟩ |
|
|
|
jsCoq: Towards Hybrid Theorem Proving Interfaces12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩ |
|
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10 |
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FaustLinux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153 |
|
|
Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use CaseRADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland |
FEEVER : Faust Environment Everyware Une solution ubiquitaire pour le traitement audionumérique portable et multiplateformeLes rencontres du numérique de l'ANR, Nov 2016, Paris, France |
|
|
|
Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise4th International Conference on Serious Games and Applications for Health (IEEE SeGAH 2016) , http://web.ipca.pt/segah2016/index.htm, May 2016, Orlando, United States. pp.1-8 |
|
|
Signal Rate Inference for Multi-Dimensional FaustThe 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. pp.1:1--1:12, ⟨10.1145/3064899.3064902⟩ |
Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelleColloque ParaChutes, Télécom SudParis, Evry, Nov 2016, Evry, France |
|
Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for ProgramsInternational Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France |
|
|
|
Rehabilitation of the psychomotor consequences of elderly fallers: A pilot study to evaluate the feasibility and tolerability of virtual reality training using a user-centered designed serious game.The 10th World Conference of Gerontechnology (ISG 2016), Sep 2016, Nice, France. ⟨10.4017/gt.2016.15.s.714.00⟩ |
|
|
Adventures in the (not so) Complex SpaceThe 7th Coq Workshop, Jun 2015, Sophia Antipolis, France |
|
|
Verification of Faust Signal Processing Programs in COQThe 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India |
|
|
Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational AgentThe Third International Workshop on Virtual and Augmented Assistive Technology (VAAT), Mar 2015, Arles, France. pp 23-28, ⟨10.1109/VAAT.2015.7155406⟩ |
|
|
A Taste of Sound Reasoning in FaustThe Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany |
|
|
A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray FortranIEEE Cluster 2015, Sep 2015, Chicago, United States. p.448-451, ⟨10.1109/CLUSTER.2015.67⟩ |
|
|
Aligning Legivoc Legal Vocabularies by CrowdsourcingLanguage and Semantics Technology for Legal Domain (LST4LD) Workshop, 10th Recent Advances in Natural Processing Conference, Sep 2015, Hissar, Bulgaria |
Towards refinement types for time-dependent data-flow networksACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States |
|
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communicationsLLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. pp.2:1--2:8, ⟨10.1145/2833157.2833158⟩ |
|
A constraint-solving approach to Faust program type checkingConstraint Programming meets Verification, The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France |
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩ |
|
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩ |
|
|
|
Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal ProcessingTwelfth International Symposium on Functional and Logic Programming (FLOPS 2014), Jun 2014, Kanazawa, Japan. pp 69-85, ⟨10.1007/978-3-319-07151-0_5⟩ |
|
|
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp 174-189, ⟨10.1007/978-3-642-37658-0_12⟩ |
|
|
Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'AlzheimerCongrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France |
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France |
|
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩ |
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France |
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France |
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France |
|
|
PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPSFirst International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France |
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France |
|
|
Textual entailment by generalityConference on Pacific Association for Computational Lingustics, PACLING 2011, Jul 2011, Kuala Lumpur, Malaysia. pp.258-266, ⟨10.1016/j.sbspro.2011.10.606⟩ |
|
|
Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case StudyInternational Workshop on Synchronous Programming (SYNCHRON 2011), Nov 2011, Dammarie-les-Lys, France. ⟨10.1145/2543581.2543591⟩ |
|
|
The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.79-90, ⟨10.1007/978-3-642-15399-0_8⟩ |
|
|
In and Out of SSA : a Denotational SpecificationWorkshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France |
|
|
Designing Wiimprovisation for Mediation in Group Music Therapy with Children Suffering from Behavioral Disordersthe 8th International Conference on Interaction Design and Children, Jun 2009, Como, France. pp. 18-26, ⟨10.1145/1551788.1551793⟩ |
|
|
Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERSMulti Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137 |
The New Framework for Loop Nest Optimization in GCC: from Prototyping to EvaluationProc. of the 12th Workshop on Compilers for Parallel Computers (CPC), 2006, A Coruña, Spain |
|
|
Machine Learning and Data-Driven Tools for Automatic Evaluation of RADNEXT Experiments ProposalsThe Workshop for Industry on Radiation Hardness Testing of Semiconductor Devices and Systems at the RADNEXT Facilities (G-RADNEXT Workshop 2023), Nov 2023, Meyrin, Switzerland |
|
|
CERN PROTON IRRADIATION FACILITY (IRRAD) DATA MANAGEMENT, CONTROL AND MONITORING SYSTEM INFRASTRUCTURE FOR POST-LS2 EXPERIMENTSThe 19th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Oct 2023, Cape Town, South Africa, South Africa |
|
|
A Foundational Framework for the Specification and Verification of Mechanism DesignEC'22 - Twenty-Third ACM Conference on Economics and Computation, Jul 2022, Colorado, United States. |
|
|
Esprits critiques : application au projet Tala Sound7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France. |
|
|
TALA SOUNDThe Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark |
|
|
MIMO Telecommunications with Near Ultrasounds1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France |
|
|
Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020Workshop ESWC, ESWC2019-EUProjectNetworking, Jun 2019, Portoroz, Slovenia |
|
|
Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use CaseRADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland |
|
|
Impulse-Response and CAD-Model-Based Physical Modeling in FAUSTLinux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017 |
|
|
FEEVER : Faust Environment EverywareLes rencontres du numérique de l'ANR, Nov 2016, Paris, France |
|
|
Louise : ECA pour Alzheimer et troubles liés à l’âgeJournées rencontre entre partenaires industriels et chercheurs de l’Institut Mines-Télécom "Santé, autonomie et qualité de vie", Mar 2016, Paris, France. 2016 |
Acoustique-Informatique-Musique : outils scientifiques pour la musiquePresse des Mines. Presse des Mines, pp.400, 2012, Les cours, 978-2911256-60-8 |
L'axiologie gestuelle du dispositif sonore TalaBox pour l'apaisement des patients AlzheimerValeurs et usages du son, Editions Delatour France, 2024 |
|
Towards Aligning legivoc Legal Vocabularies by CrowdsourcingAI Approaches to the Complexity of Legal Systems, , pp.Pages 220-232, 2018, 978-3-030-00178-0 |
|
Bringing Theorem Proving to the (Sonic) MassesLaurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press |
|
|
A Survey on IoT Programming Platforms: A Business-Domain Experts Perspective2023 |
|
|
“An Unscented Hound forWorking Memory” and the Cognitive Adaptation of User Interfaces2019 |
|
|
La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France2018 |
|
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018 |
|
|
Bringing Theorem Proving to the (sonic) Masses2015 |
|
|
The Price of Smart Contract PrivacyE/465/CRI, Mines Paris - PSL. 2024 |
|
|
A Foundational Framework for the Specification and Verification of Mechanism Design[Research Report] E-458.PDF, MINES ParisTech - PSL Research University. 2022 |
|
|
Ontology Embeddings with ontowalk2vec: an Application to UI Personalisation[Technical Report] MINES ParisTech - PSL Research University; CERN - Suisse. 2022 |
|
|
Near-Ultrasonic Time-Reversal Indoor CommunicationStimshop; Mines Paris - PSL; ESPCI - PSL. 2022 |
L'émergence d'une nouvelle méthodologie de recherche sonore dans le domaine de la santé : la ``designo-thérapie''?[Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019 |
|
Vers une méthodologie en design sonore médical : de l'interdisciplinarité au design social[Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019 |
|
|
|
Etude WCET de programmes Faust avec a3[Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017 |
The SPIRE Methodology of Compiler Parallel Intermediate Representation Design[Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015 |
|
|
|
Liquid Clocks - Refinement Types for Time-Dependent Stream Functions[Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015 |
|
|
Semantics for multirate Faust[Technical Report] GRAME. 2009 |