Accueil > Recherche > Étudiants/Post-docs > Kevin Marquet

Kevin Marquet

Extraction de modèles et vérification formelle de programmes SystemC

samedi 21 août 2010

Années: 2008, 2009, 2010 (Post-doc)
Sujet: Extraction de modèles et vérification formelle de programmes SystemC
Résumé:

Kevin is involved in the OpenTLM project. This project concerns the modeling/verification of Systems on a Chip (SoC).

Kevin’s research area comprises :

  • the modeling of SoC
  • the extraction of formal models
  • the verification of SoC

In these areas, Kevin has written different papers and developed a whole verification chain called PinaVM, including all theoretical contributions. This tool is open-source and available here.


2023

Conference papers

ref_biblio
Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet. Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S 2023 - 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩. ⟨hal-04401006⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04401006/file/main.pdf BibTex

2022

Conference papers

ref_biblio
Aina Rasoldier, Jacques Combaz, Alain Girault, Kevin Marquet, Sophie Quinton. How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?. LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France. ⟨hal-03949261⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03949261/file/limits22-published.pdf BibTex
ref_biblio
Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefèvre, Pierre Boulet, et al.. How to Integrate Environmental Challenges in Computing Curricula?. SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, Mar 2022, Providence RI USA, France. pp.899-905, ⟨10.1145/3478431.3499280⟩. ⟨hal-03606210⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03606210/file/SIGCSE22.pdf BibTex

Reports

ref_biblio
Philippe Ciblat, Jacques Combaz, Marceau Coupechoux, Kevin Marquet, Anne-Cécile Orgerie. Impacts environnementaux de la 5G. [Rapport de recherche] EcoInfo. 2022, pp.1-12. ⟨hal-03810501⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03810501/file/EcoInfo-5G-partie1.pdf BibTex

2020

Conference papers

ref_biblio
Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. MPU-based incremental checkpointing for transiently-powered systems. DSD 2020 23rd Euromicro Conference on Digital System Design, Aug 2020, Kranj, France. pp.89-96, ⟨10.1109/DSD51259.2020.00025⟩. ⟨hal-03116944⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03116944/file/BMRS-dsd20.pdf BibTex
ref_biblio
Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. Accurate Power Consumption Evaluation for Peripherals in Ultra Low-Power embedded systems. GIoTS 2020 - International conference on Global Internet of Things Summit, Jun 2020, Dublin, Ireland. pp.89-96, ⟨10.1109/GIOTS49054.2020.9119593⟩. ⟨hal-03116953⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03116953/file/BMRS-giots20.pdf BibTex

Reports

ref_biblio
Pierre Boulet, Sylvain Bouveret, Aurélie Bugeau, Frenoux Emmanuelle, Julien Lefevre, et al.. Référentiel de connaissances pour un numérique éco-responsable. [Rapport de recherche] EcoInfo. 2020. ⟨hal-02954188⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02954188/file/referentiel.pdf BibTex

2019

Journal articles

ref_biblio
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. Sytare: a Lightweight Kernel for NVRAM-Based Transiently-Powered Systems. IEEE Transactions on Computers, 2019, 68 (9), pp.1390 - 1403. ⟨10.1109/TC.2018.2889080⟩. ⟨hal-01954979⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01954979/file/ieee-tc-si.pdf BibTex

Conference papers

ref_biblio
Aleix Roca, Samuel Rodriguez, Albert Segura, Kevin Marquet, Vicenç Beltran. A Linux Kernel Scheduler Extension for Multi-Core Systems. HiPC 2019 - 26th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2019, Hyderabad, India. pp.1-10. ⟨hal-02410082⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02410082/file/HiPC.pdf BibTex

Book sections

ref_biblio
Kevin Marquet, Jacques Combaz, Francoise Berthoud. Introduction aux impacts environnementaux du numérique. 1024, bulletin de la Société Informatique de France, pp.85-97, 2019. ⟨hal-02410129⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02410129/file/1024-numero-13_Article19.pdf BibTex

2018

Conference papers

ref_biblio
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7. ⟨hal-01891599⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01891599/file/rsp2018.pdf BibTex
ref_biblio
Tanguy Risset, Claire Goursaud, Xavier Brun, Kevin Marquet, Fabrice Meyer. UWB Ranging for Rapid Movements. IPIN 2018, Sep 2018, Nantes, France. pp.1-8, ⟨10.1109/IPIN.2018.8533820⟩. ⟨hal-01951454⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01951454/file/UWB.pdf BibTex
ref_biblio
François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet. NumaMMA: NUMA MeMory Analyzer. ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩. ⟨cea-01854072v2⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01854072/file/icpp18.pdf BibTex
ref_biblio
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes. Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8. ⟨hal-01891398⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01891398/file/compas2018.pdf BibTex
ref_biblio
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. Peripheral State Persistence and Interrupt Management For Transiently Powered Systems. NVMW 2018 - 9th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1-2. ⟨hal-01943919⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01943919/file/nvmw2018-paper73.pdf BibTex

Poster communications

ref_biblio
Gautier Berthou, Arnaud Carer, Kevin Marquet, Ivan Miro-Panades, Davide Pala, et al.. The INRIA ZEP project: NVRAM and Harvesting for Zero Power Computations. NVMW 2018 - 10th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1. ⟨hal-01941766⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01941766/file/ZEP-NVMW18.pdf BibTex

2017

Conference papers

ref_biblio
Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset. CalMAR -a Multi-Application Dataflow Runtime. Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩. ⟨hal-01631691⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01631691/file/wip-emsoft.pdf BibTex
ref_biblio
Gautier Berthou, Tristan Delizy, Kevin Marquet, Guillaume Salagnac, Tanguy Risset. Sytare: Persistence de l'état des périphériques pour les systèmes à alimentation intermittente. Compas’2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia-Antipolis, France. ⟨hal-01609303⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01609303/file/compas-2017.pdf BibTex
ref_biblio
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. Peripheral state persistence for transiently-powered systems. IoENT 2017 - 1st Workshop on Internet of Energy Neutral Things, Jun 2017, Geneva, Switzerland. ⟨10.1109/GIOTS.2017.8016243⟩. ⟨hal-01609277⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01609277/file/ioent-2017.pdf BibTex

Reports

ref_biblio
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac. Peripheral State Persistence For Transiently Powered Systems. [Research Report] RR-9018, INRIA. 2017. ⟨hal-01460699⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01460699/file/RR-9018.pdf BibTex

2016

Journal articles

ref_biblio
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jérôme Martin, Henri-Pierre Charles. A New Compilation Flow for Software-Defined Radio Applications on Heterogeneous MPSoCs. ACM Transactions on Architecture and Code Optimization, 2016, 13 (2), ⟨10.1145/2910583⟩. ⟨hal-01396143⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01396143/file/taco.pdf BibTex

Conference papers

ref_biblio
Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low-Level Memory Profiling. Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩. ⟨hal-01408979⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01408979/file/numap.pdf BibTex
ref_biblio
Florin Hutu, Guillaume Salagnac, Kevin Marquet, Tanguy Risset. Plateforme de mesure de la consommation énergétique dédiée aux objets communicants. Journées Scientifiques de l'URSI : Energie et Radiosciences, Mar 2016, Rennes, France. ⟨hal-01377846⟩
Accès au bibtex
BibTex

Reports

ref_biblio
Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low Level Memory Profiling. [Research Report] RR-8879, INRIA. 2016. ⟨hal-01285522⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01285522/file/RR-8879.pdf BibTex

2015

Journal articles

ref_biblio
Mickaël Cazorla, Sylvain Gourgeon, Kevin Marquet, Marine Minier. Survey and benchmark of lightweight block ciphers for MSP430 16-bit microcontroller. Security and communication networks, 2015, pp.16. ⟨10.1002/sec.1281⟩. ⟨hal-01199786⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Manuel Selva, Lionel Morel, Kevin Marquet, Stephane Frenot. A Monitoring System for Runtime Adaptations of Streaming Applications. International Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.53⟩. ⟨hal-01229025⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01229025/file/2015-PDP.pdf BibTex

2014

Journal articles

ref_biblio
Florin Doru Hutu, Bruno Allard, Fabrice Jumel, Mathieu Maranzana, Kevin Marquet, et al.. Formation par projet et opportunité d'accès à distance à des ressources pédagogiques. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2014, JPCNFM 2012 – 12e journées pédagogiques du CNFM (Coordination nationale pour la formation en micro-électronique et en nanotechnologies), 13 (005), pp.1-10. ⟨10.1051/j3ea/2014005⟩. ⟨hal-01005316⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01005316/file/J3EA_INSA_Lyon.pdf BibTex

Conference papers

ref_biblio
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jérôme Martin, Henri-Pierre Charles. A Compilation Flow for Parametric Dataflow: Programming Model, Scheduling, and Application to Heterogeneous MPSoC. International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), Oct 2014, New Dehli, India. pp.1-10, ⟨10.1145/2656106.2656110⟩. ⟨hal-01048649⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01048649/file/cases2014-final.pdf BibTex
ref_biblio
Fayçal Ait Aoudia, Kevin Marquet, Guillaume Salagnac. Incremental checkpointing of program state to NVRAM for transiently-powered systems. ReCoSoC - 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, Jun 2014, Montpellier, France. ⟨hal-01004805⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01004805/file/AMS-recosoc14.pdf BibTex
ref_biblio
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jérôme Martin, Henri-Pierre Charles. Contrôle d'application flot de données pour les systèmes sur puces : étude de cas sur la plateforme Magali. ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse. pp.1 - 12. ⟨hal-00984310⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00984310/file/compas2014_submission_31.pdf BibTex
ref_biblio
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jerome Martin, Henri-Pierre Charles. Compilation for heterogeneous SoCs : bridging the gap between software and target-specific mechanisms. workshop on High Performance Energy Efficient Embedded Systems - HIPEAC, Jan 2014, Vienne, Austria. ⟨hal-00936924⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00936924/file/hip3es_submission_1.pdf BibTex

2013

Conference papers

ref_biblio
Mickaël Cazorla, Kévin Marquet, Marine Minier. Survey and Benchmark of Lightweight Block Ciphers for Wireless Sensor Networks. SECRYPT 2013 - Proceedings of the International Conference on Security and Cryptography, Jul 2013, Reykjavik, Iceland. pp.543-548. ⟨hal-00918974⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00918974/file/secrypt_short.pdf BibTex
ref_biblio
Manuel Selva, Lionel Morel, Kévin Marquet, Stéphane Frénot. Extending dataflow programs for guaranteed throughput.. MES '13 - International Workshop on Many-core Embedded Systems, Jun 2013, Tel Aviv, Israel. pp.54-57, ⟨10.1145/2489068.2489077⟩. ⟨hal-00876566⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00876566/file/mes.pdf BibTex
ref_biblio
Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot. A QoS Monitoring System for Dataflow Programs. ComPAS: Conférence en Parallélisme, Architecture et Système, Inria, Jan 2013, Grenoble, France. ⟨hal-00780976⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00780976/file/cfse.pdf BibTex

Reports

ref_biblio
Mickaël Dardaillon, Kevin Marquet, Jérôme Martin, Tanguy Risset, Henri-Pierre Charles. Cognitive Radio Programming: Existing Solutions and Open Issues. [Research Report] RR-8358, INRIA. 2013, pp.27. ⟨hal-00859467⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00859467/file/RR-8358.pdf BibTex

2012

Conference papers

ref_biblio
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Antoine Scherrer. Software Defined Radio Architecture Survey for Cognitive Testbeds. IWCMC 2012 : 8th International Wireless Communications and Mobile Computing Conference, Aug 2012, Limassol, Cyprus. ⟨hal-00736995⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00736995/file/survey.pdf BibTex
ref_biblio
Thierry Pierre Berger, Joffrey d'Hayer, Kévin Marquet, Marine Minier, Gaël Thomas. The GLUON Family: A Lightweight Hash Function Family Based on FCSRs. AFRICACRYPT 2012 - 5th International Conference on Cryptology in Africa, Jun 2012, Ifrance, Morocco. pp.306-323, ⟨10.1007/978-3-642-31410-0_19⟩. ⟨hal-00749143⟩
Accès au bibtex
BibTex

2011

Conference papers

ref_biblio
Kevin Marquet, Matthieu Moy, Bertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela. DATICS-IMECS, Mar 2011, Hong Kong SAR China. ⟨hal-00557515⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00557515/file/conf.pdf BibTex

2010

Conference papers

ref_biblio
Kevin Marquet, Matthieu Moy. PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation. International Conference on Embedded Software, Oct 2010, Scottsdale, United States. pp.79. ⟨hal-00495874⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00495874/file/emsoft.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Kevin Marquet, Matthieu Moy, Bageshri Karkare. A Theoretical and Experimental Review of SystemC Front-ends. 2010. ⟨hal-00495886⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00495886/file/rsp.pdf BibTex

2005

Conference papers

ref_biblio
Kévin Marquet, Alexandre Courbot, Gilles Grimaud, David Simplot-Ryl. Ahead of time deployment in ROM of a Java-OS. 2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China. ⟨inria-00113693⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00113693/file/marquet-icess-05.pdf BibTex

Voir en ligne : Kevin Marquet’s Home page

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License