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
Progress in Cryptology-AFRICACRYPT 2012: 5th International Conference on …, 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
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
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
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
Numamma: Numa memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
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
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
Accurate power consumption evaluation for peripherals in ultra low-power embedded systems
G Berthou, K Marquet, T Risset, G Salagnac
2020 Global Internet of Things Summit (GIoTS), 1-6, 2020
Efficient encoding of SystemC/TLM in Promela—full version
K Marquet, B Jeannet, M Moy
Technical Report TR-2010-7, Verimag Research Report, 2010
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
How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?
A Rasoldier, J Combaz, A Girault, K Marquet, S Quinton
LIMITS 2022-Eighth Workshop on Computing within Limits, 2022
Cognitive radio programming: Existing solutions and open issues
M Dardaillon, K Marquet, J Martin, T Risset, HP Charles
INRIA, 2013
numap: A portable library for low-level memory profiling
M Selva, L Morel, K Marquet
2016 International Conference on Embedded Computer Systems: Architectures …, 2016
MPU-based incremental checkpointing for transiently-powered systems
G Berthou, K Marquet, T Risset, G Salagnac
2020 23rd Euromicro Conference on Digital System Design (DSD), 89-96, 2020
Ahead of time deployment in ROM of a Java-OS
K Marquet, A Courbot, G Grimaud
Embedded Software and Systems: Second International Conference, ICESS 2005 …, 2005
A Linux kernel scheduler extension for multi-core systems
A Roca, S Rodriguez, A Segura, K Marquet, V Beltran
2019 IEEE 26th International Conference on High Performance Computing, Data …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20