Home > Research > Étudiants/Post-docs > Kevin Marquet

Kevin Marquet

Formal Model Extraction and Verification from SystemC Programs

Saturday 21 August 2010

Years: 2008, 2009, 2010 (Post-doc)
Subject: Formal Model Extraction and Verification from SystemC Programs
Abstract:

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.


Publications HAL de Kevin,Marquet

2018

Conference papers

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. 2018, 〈10.1145/3225058.3225094〉. 〈cea-01854072〉
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01854072/file/main.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://hal.inria.fr/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://hal.inria.fr/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. 2017, 〈10.1109/GIOTS.2017.8016243〉. 〈hal-01609277〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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://hal.inria.fr/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, Association for Computing Machinery, 2016, 13, 〈10.1145/2910583〉. 〈hal-01396143〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 16th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, 2016, 〈10.1109/SAMOS.2016.7818331〉. 〈hal-01408979〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 〈http://ursi-france.telecom-paristech.fr/evenements/journees-scientifiques/2016.html〉. 〈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://hal.inria.fr/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, John Wiley & Sons, Ltd, 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. 2015, International Conference on Parallel, Distributed and Network-based Processing. 〈10.1109/PDP.2015.53〉. 〈hal-01229025〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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, EDP Sciences, 2014, 13 (5), pp.1-10. 〈10.1051〉. 〈hal-01005316〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2014, 〈10.1145/2656106.2656110〉. 〈hal-01048649〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2014. 〈hal-01004805〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. Pascal Felber; Laurent Philippe; Etienne Riviere; Arnaud Tisserand. ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse. pp.1 - 12, 2014. 〈hal-00984310〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2014. 〈hal-00936924〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. SciTePress, pp.543-548, 2013. 〈hal-00918974〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. ACM, pp.54-57, 2013, Proceedings of the First International Workshop on Many-core Embedded Systems. 〈10.1145/2489068.2489077〉. 〈hal-00876566〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Jan 2013, Grenoble, France. Conférence d'informatique en Parallélisme, Architecture et Système, 2013, 〈http://compas2013.inrialpes.fr〉. 〈hal-00780976〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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://hal.inria.fr/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. 2012. 〈hal-00736995〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. Springer, Lecture Notes in Computer Science, 7374, pp.306-323, 2012, Progress in Cryptology - AFRICACRYPT 2012. 〈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. 2011. 〈hal-00557515〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2010. 〈hal-00495874〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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, 2005. 〈inria-00113693〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00113693/file/marquet-icess-05.pdf BibTex

View online : Kevin Marquet’s Home page

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License