Impact of multiple sclerosis on employment and use of job-retention strategies: The situation in France in 2015
Fantoni-Quinton, Sophie, Kwiatkowski, Arnaud, Vermersch, Patrick, Roux, Bastien, Hautecoeur, Patrick, Leroyer, Ariane
Published in Journal of rehabilitation medicine (13.06.2016)
Published in Journal of rehabilitation medicine (13.06.2016)
Get full text
Journal Article
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
Girault, Alain, Prevot, Christophe, Quinton, Sophie, Henia, Rafik, Sordon, Nicolas
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Get full text
Journal Article
Formal analysis of sporadic overload in real-time systems
Quinton, Sophie, Hanke, Matthias, Ernst, Rolf
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
Fradet, Pascal, Guo, Xiaojie, Monin, Jean-Francois, Quinton, Sophie
Published in 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.04.2019)
Published in 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.04.2019)
Get full text
Conference Proceeding