Kevin Marquet
Kevin Marquet
Associate Professor, INSA Lyon, INRIA
Verified email at
Cited by
Cited by
Survey and benchmark of lightweight block ciphers for MSP430 16‐bit microcontroller
M Cazorla, S Gourgeon, K Marquet, M Minier
Security and Communication Networks 8 (18), 3564-3579, 2015
PinaVM: a SystemC front-end based on an executable intermediate representation
K Marquet, M Moy
Proceedings of the tenth ACM international conference on Embedded software …, 2010
The GLUON family: a lightweight hash function family based on FCSRs
TP Berger, J D˘Hayer, K Marquet, M Minier, G Thomas
International Conference on Cryptology in Africa, 306-323, 2012
Software defined radio architecture survey for cognitive testbeds
M Dardaillon, K Marquet, T Risset, A Scherrer
2012 8th International Wireless Communications and Mobile Computing …, 2012
A theoretical and experimental review of SystemC front-ends
K Marquet, M Moy, B Karkare
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
Incremental checkpointing of program state to NVRAM for transiently-powered systems
FA Aouda, K Marquet, G Salagnac
2014 9th International Symposium on Reconfigurable and Communication-Centric …, 2014
Peripheral state persistence for transiently-powered systems
G Berthou, T Delizy, K Marquet, T Risset, G Salagnac
2017 Global Internet of Things Summit (GIoTS), 1-6, 2017
Efficient encoding of SystemC/TLM in Promela—full version
K Marquet, B Jeannet, M Moy
Technical Report TR-2010-7, Verimag Research Report, 2010
A new compilation flow for software-defined radio applications on heterogeneous MPSoCs
M Dardaillon, K Marquet, T Risset, J Martin, HP Charles
ACM Transactions on Architecture and Code Optimization (TACO) 13 (2), 1-25, 2016
Sytare: a lightweight kernel for NVRAM-based transiently-powered systems
G Berthou, T Delizy, K Marquet, T Risset, G Salagnac
IEEE Transactions on Computers 68 (9), 1390-1403, 2018
Cognitive radio programming: Existing solutions and open issues
M Dardaillon, K Marquet, J Martin, T Risset, HP Charles
INRIA, 2013
UWB ranging for rapid movements
T Risset, C Goursaud, X Brun, K Marquet, F Meyer
2018 International Conference on Indoor Positioning and Indoor Navigation …, 2018
numap: A portable library for low-level memory profiling
M Selva, L Morel, K Marquet
2016 International Conference on Embedded Computer Systems: Architectures …, 2016
NumaMMA: NUMA memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
Ahead of time deployment in ROM of a Java-OS
K Marquet, A Courbot, G Grimaud
International Conference on Embedded Software and Systems, 63-70, 2005
A monitoring system for runtime adaptations of streaming applications
M Selva, L Morel, K Marquet, S Frenot
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
A DSL approach for object memory management of small devices
K Marquet, G Grimaud
Proceedings of the 5th international symposium on Principles and practice of …, 2007
Introduction aux impacts environnementaux du numérique
K Marquet, J Combaz, F Berthoud
1024, bulletin de la Société Informatique de France, 85-97, 2019
A QoS Monitoring System for Dataflow Programs
M Selva, L Morel, K Marquet, S Frénot
ComPAS: Conférence en Parallélisme, Architecture et Système, 2013
An object memory management solution for small devices with heterogeneous memories
K Marquet, G Grimaud
2007 Fifth Workshop on Intelligent Solutions in Embedded Systems, 227-237, 2007
The system can't perform the operation now. Try again later.
Articles 1–20