| 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 | 149* | 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 | 67 | 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 | 58 | 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 | 57 | 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 | 51 | 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 | 41* | 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 | 41 | 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 | 38 | 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 | 31 | 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 | 26 | 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 | 23* | 2016 |
| Efficient encoding of SystemC/TLM in Promela—full version K Marquet, B Jeannet, M Moy Technical Report TR-2010-7, Verimag Research Report, 2010 | 20* | 2010 |
| 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 | 19 | 2020 |
| 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 | 15 | 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 | 12 | 2022 |
| Cognitive radio programming: Existing solutions and open issues M Dardaillon, K Marquet, J Martin, T Risset, HP Charles INRIA, 2013 | 12* | 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 | 10 | 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 | 8 | 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 | 8 | 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 | 7 | 2019 |
