Plates-formes et mises à jour dynamiques configurables
My PhD thesis, defended at Télécom Bretagne on March 14th, 2016
Towards Safe And Secure Computer Based Railway Interlocking Systems
Sébastien Martinez, Dalay Israel de Almeida Pereira, Philippe Bon, Simon Collart-Dutilleul, Matthieu Perin
In Proceedings of the 17th International Conference on Railway Engineering Design & Operation (COMPRAIL 2020), Berlin (Germany), to be published
Quantifying WCET reduction of parallel applications by introducing slack time to limit resource contention
Sébastien Martinez, Damien Hardy, Isabelle Puaut
In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS 2017), Grenoble (France)
Pymoult : On-Line Updates for Python Programs
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
In Proceedings of the 10th International Conference on Software Engineering Advances (ICSEA 2015), Barcelona (Spain)
Safe Reconfiguration of Coqcots and Pycots components
Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez
In Journal of Systems and Software (Special issue AROSA)
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez
In Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Lille (France)
Prototyping DSU Techniques Using Python
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
In Proceedings of the 5th Workshop on Hot Topics in Software Updates (HotSWUP 2013) Satellite event of the USENIX Federated conferences week 2013, San Jose (California)
ShadObf: A C-source Obfuscator based on Multi-objective Optimization Algorithms
Sébastien Varrette, Benoît Bertholon, Sébastien Martinez
In proceedings of the 16th International Workshop on Nature Inspired Distributed Computing (NIDISC 2013) Part of the 27th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS 2013), Boston (Massachusetts)
Source code obfuscation by means of evolutionary algorithms
My Master Thesis on software obfuscation, conducted at the University of Luxembourg. I developed a tool based on Pips that optimizes the obfuscation of a source code according to multiple criteria.