Frédéric Pétrot

Khaled Rahmouni, Sebastien Chabanet, Nicolas Lambelin, Frédéric Pétrot: Design of a medium voltage protection device using system simulation approaches: a case study. IJES 5(1/2): 53-66 (2013)

Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani: Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs. IEEE Trans. Computers 62(3): 609-615 (2013)

Mian Muhammad Hamayun, Frédéric Pétrot, Nicolas Fournel: Native simulation of complex VLIW instruction sets using static binary translation and Hardware-Assisted Virtualization. ASP-DAC 2013: 576-581

Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot: Data mining MPSoC simulation traces to identify concurrent memory access patterns. DATE 2013: 755-760

Hao Shen, Mian Muhammad Hamayun, Frédéric Pétrot: Native Simulation of MPSoC Using Hardware-Assisted Virtualization. IEEE Trans. on CAD of Integrated Circuits and Systems 31(7): 1074-1087 (2012)

Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot: Integration of GPU Computing in a Software Radio Environment. Signal Processing Systems 69(1): 55-65 (2012)

Luc Michel, Nicolas Fournel, Frédéric Pétrot: Fast simulation of systems embedding VLIW processors. CODES+ISSS 2012: 143-150

Sahar Foroutan, Abbas Sheibanyrad, Frédéric Pétrot: Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces. DAC 2012: 366-375

Alexandre Chagoya-Garzon, Frédéric Rousseau, Frédéric Pétrot: Multi-device Driver Synthesis Flow for Heterogeneous Hierarchical Systems. DSD 2012: 389-396

Yan Xu, Olivier Muller, Pierre-Henri Horrein, Frédéric Pétrot: HCM: An abstraction layer for seamless programming of DPR FPGA. FPL 2012: 583-586

Florentine Dubois, Valerio Catalano, Marcello Coppola, Frédéric Pétrot: Accurate on-chip router area modeling with Kriging methodology. ICCAD 2012: 450-457

Maryam Bahmani, Abbas Sheibanyrad, Frédéric Pétrot, Florentine Dubois, Paolo Durante: A 3D-NoC Router Implementation Exploiting Vertically-Partially-Connected Topologies. ISVLSI 2012: 9-14

Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot: Automatic congestion detection in MPSoC programs using data mining on simulation traces. RSP 2012: 64-70

Frédéric Pétrot, Nicolas Fournel, Patrice Gerin, Marius Gligor, Mian Muhammad Hamayun, Hao Shen: On MPSoC Software Execution at the Transaction Level. IEEE Design & Test of Computers 28(3): 32-43 (2011)

Quentin L. Meunier, Frédéric Pétrot: Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. Technique et Science Informatiques 30(9): 1061-1087 (2011)

Hao Shen, Frédéric Pétrot: Using Amdahl's Law for Performance Analysis of Many-Core SoC Architectures Based on Functionally Asymmetric Processors. ARCS 2011: 38-49

Marius Gligor, Frédéric Pétrot: Handling dynamic frequency changes in statically scheduled cycle-accurate simulation. ASP-DAC 2011: 407-412

Luc Michel, Nicolas Fournel, Frédéric Pétrot: Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation. DATE 2011: 277-280

Pierre-Henri Horrein, Christine Hennebert, Frédéric Pétrot: An Environment for (re)configuration and Execution Managenment of Flexible Radio Platforms. DSD 2011: 327-334

Florian Darve, Abbas Sheibanyrad, Pascal Vivet, Frédéric Pétrot: Physical Implementation of an Asynchronous 3D-NoC Router Using Serial Vertical Links. ISVLSI 2011: 25-30

Florentine Dubois, José Cano, Marcello Coppola, José Flich, Frédéric Pétrot: Spidergon STNoC design flow. NOCS 2011: 267-268

Damien Hedde, Frédéric Pétrot: A non intrusive simulation-based trace system to analyse Multiprocessor Systems-on-Chip software. International Symposium on Rapid System Prototyping 2011: 106-112

Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, Frédéric Pétrot: Me3D: A model-driven methodology expediting embedded device driver development. International Symposium on Rapid System Prototyping 2011: 171-177

Pierre Guironnet de Massas, Frédéric Pétrot: Evaluation of the implementation cost of cache coherence protocols using omniscient actions. Design Autom. for Emb. Sys. 14(1): 21-42 (2010)

Quentin L. Meunier, Frédéric Pétrot: Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies. J. Parallel Distrib. Comput. 70(10): 1024-1041 (2010)

Quentin L. Meunier, Frédéric Pétrot, Jean-Louis Roch: Hardware/software support for adaptive work-stealing in on-chip multiprocessor. Journal of Systems Architecture - Embedded Systems Design 56(8): 392-406 (2010)

Hao Shen, Frédéric Pétrot: A flexible hybrid simulation platform targeting multiple configurable processors SoC. ASP-DAC 2010: 155-160

Amin El Mrabti, Frédéric Rousseau, Frédéric Pétrot, Jérôme Martin, Romain Lemaire, Emmanuel Vaumorin: Design environment for the support of configurable Network Interfaces in NoC-based platforms. ICSAMOS 2010: 63-70

Khaled Rahmouni, Frédéric Pétrot: Improving the tests coverage of a medium voltage protection device using system simulation approaches. SIES 2010: 184-187

Xavier Guerin, Frédéric Pétrot: A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs. ASAP 2009: 153-160

Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot: Automatic instrumentation of embedded software for high level hardware/software co-simulation. ASP-DAC 2009: 546-551

Hao Shen, Frédéric Pétrot: Novel task migration framework on configurable heterogeneous MPSoC platforms. ASP-DAC 2009: 733-738

Marius Gligor, Nicolas Fournel, Frédéric Pétrot: Using binary translation in event driven simulation for fast and flexible MPSoC simulation. CODES+ISSS 2009: 71-80

Patrice Gerin, Mian Muhammad Hamayun, Frédéric Pétrot: Native MPSoC co-simulation environment for software performance estimation. CODES+ISSS 2009: 403-412

Amin El Mrabti, Frédéric Pétrot, Aimen Bouchhima: Extending IP-XACT to support an MDE based approach for SoC design. DATE 2009: 586-589

Damien Hedde, Pierre-Henri Horrein, Frédéric Pétrot, Robin Rolland, Franck Rousseau: A MPSoC Prototyping Platform for Flexible Radio Applications. DSD 2009: 559-566

Amin El Mrabti, Hamed Sheibanyrad, Frédéric Rousseau, Frédéric Pétrot, Romain Lemaire, Jérôme Martin: Abstract Description of System Application and Hardware Architecture for Hardware/Software Code Generation. DSD 2009: 567-574

Marius Gligor, Nicolas Fournel, Frédéric Pétrot: Adaptive Dynamic Voltage and Frequency Scaling Algorithm for Symmetric Multiprocessor Architecture. DSD 2009: 613-616

Marius Gligor, Nicolas Fournel, Frédéric Pétrot, Fabien Colas-Bigey, Anne-Marie Fouilliart, Philippe Teninge, Marcello Coppola: Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform. PATMOS 2009: 206-215

Alexandre Chagoya-Garzon, Xavier Guerin, Frédéric Rousseau, Frédéric Pétrot, Davide Rossetti, Alessandro Lonardo, Piero Vicini, Pier Stanislao Paolucci: Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips. IEEE International Workshop on Rapid System Prototyping 2009: 48-54

Khaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot: Modelling and architecture exploration of a medium voltage protection device. SIES 2009: 46-49

Lobna Kriaa, Aimen Bouchhima, Marius Gligor, Anne-Marie Fouillart, Frédéric Pétrot, Ahmed Amine Jerraya: Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective. International Journal of Parallel Programming 36(1): 68-92 (2008)

Ana Abril, Habib Mehrez, Frédéric Pétrot, Jean Gobert, Carolina Miro: Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle. Technique et Science Informatiques 27(1-2): 203-233 (2008)

Patrice Gerin, Xavier Guerin, Frédéric Pétrot: Efficient Implementation of Native Software Simulation for MPSoC. DATE 2008: 676-681

Pierre Guironnet de Massas, Frédéric Pétrot: Comparison of memory write policies for NoC based Multicore Cache Coherent Systems. DATE 2008: 997-1002

Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot: Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform. DSD 2008: 3-9

Benaoumeur Senouci, Abdellah-Medjadji Kouadri-Kouadri, Frédéric Rousseau, Frédéric Pétrot: Multi-CPU/FPGA Platform Based Heterogeneous Multiprocessor Prototyping: New Challenges for Embedded Software Designers. IEEE International Workshop on Rapid System Prototyping 2008: 41-47

Hao Shen, Patrice Gerin, Frédéric Pétrot: Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels. IEEE International Workshop on Rapid System Prototyping 2008: 51-57

Alexandre Chureau, Frédéric Pétrot: An intermediate format for automatic generation of MPSoC virtual prototypes. ICSAMOS 2008: 165-172

Hao Shen, Frédéric Pétrot: MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. VLSI Design 2008: 403-408

Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya: Prototyping Multiprocessor System-on-Chip Applications: A Platform-Based Approach. IEEE Distributed Systems Online 8(5) (2007)

Pierre Guironnet de Massas, Paul Amblard, Frédéric Pétrot: On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration. VLSI Design 2007 (2007)

Abdellah-Medjadji Kouadri-Mostefaoui, Benaoumeur Senouci, Frédéric Pétrot: Scalable Multi-FPGA Platform for Networks-On-Chip Emulation. ASAP 2007: 54-60

Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot: Programming models and HW-SW interfaces abstraction for multi-processor SoC. DAC 2006: 280-285

Frédéric Pétrot, Alain Greiner, Pascal Gomez: On Cache Coherency and Memory Consistency Issues in NoC Based Shared Memory Multiprocessor SoC Architectures. DSD 2006: 53-60

Alain Greiner, Frédéric Pétrot, M. Carrier, Mounir Benabdenbi, Roselyne Chotin-Avot, Raphaël Labayrade: MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation. ReCoSoC 2006: 24-30

Benaoumeur Senouci, Aimen Bouchhima, Frédéric Rousseau, Frédéric Pétrot, Ahmed Amine Jerraya: Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". IEEE International Workshop on Rapid System Prototyping 2006: 69-75

Lobna Kriaa, Aimen Bouchhima, Wassim Youssef, Frédéric Pétrot, Anne-Marie Fouillart, Ahmed Amine Jerraya: Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling. IEEE International Workshop on Rapid System Prototyping 2006: 156-162

Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez: Platform-based design from parallel C specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 24(12): 1811-1826 (2005)

Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya: A unified HW/SW interface model to remove discontinuities between HW and SW design. EMSOFT 2005: 159-163

Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez: Intégration sur plate-forme matérielle/logicielle de spécifications 'C' parallèles. Annales des Télécommunications 59(7-8): 807-837 (2004)

Saifeddine Berrayana, Etienne Faure, Daniela Genius, Frédéric Pétrot: Modular On-chip Multiprocessor for Routing Applications. Euro-Par 2004: 846-855

Frédéric Pétrot, Pascal Gomez: Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. DATE 2003: 20051-20056

Ivan Augé, François Donnet, Frédéric Pétrot: Retiming Finite State Machines to Control Hardened Data-Paths. SBCCI 2003: 41-46

Denis Hommais, Frédéric Pétrot, Ivan Augé: A practical tool box for system level communication synthesis. CODES 2001: 48-53

Denis Hommais, Frédéric Pétrot, Ivan Augé: A Tool Box to Map System Level Communications on HW/SW Architectures. IEEE International Workshop on Rapid System Prototyping 2001: 77-83

Jean-Yves Brunel, W. M. Kruijtzer, H. J. H. N. Kenter, Frédéric Pétrot, L. Pasquier, Erwin A. de Kock, W. J. M. Smits: COSY communication IP's. DAC 2000: 406-409

Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design 1999: 151-156

Denis Hommais, Frédéric Pétrot: Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip. EUROMICRO 1998: 10051-10054

Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa: Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO 1998: 10317-10620

Frédéric Pétrot, Denis Hommais, Alain Greiner: A Simulation Environment for Core Based Embedded Systems. Annual Simulation Symposium 1997: 86-91

Frédéric Pétrot, Denis Hommais, Alain Greiner: Cycle precise core based hardware/software system simulation with predictable event propagation. EUROMICRO 1997: 182-187

Marcello Duhalde, Alain Greiner, Frédéric Pétrot: A High Performance Modular Embedded ROM Architecture. ISCAS 1995: 1057-1060

Alain Greiner, Frédéric Pétrot: Using C to write portable CMOS VLSI module generators. EURO-DAC 1994: 676-681