Nicolas Sordon

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 5

Top Topics

Development Process

Software Development Process

Worst Case Analysis

Top Venues

ISSRE Workshops

Publications

Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Laurent Rioux, Rafik Henia, Nicolas Sordon
Using Model-Checking for Timing Verification in Industrial System Design. ICST Workshops (2017)
Rafik Henia, L. Roux, Nicolas Sordon, Zain Alabedin Haj Hammadeh, Rolf Ernst, Sophie Quinton
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. RTAS (2017)
Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. STAF Workshops (2016)
Rafik Henia, Laurent Rioux, Nicolas Sordon
Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices. RTAS (2016)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
Integrating Formal Timing Analysis in the Real-Time Software Development Process. WOSP-C@ICPE (2015)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software. MODELSWARD (2014)
Rafik Henia, Laurent Rioux, Nicolas Sordon
TEMPO: performance viewpoint for component-based design of real-time systems. SIGBED Rev. 10 (2) (2013)
Rafik Henia, Laurent Rioux, Nicolas Sordon, Thomas Vergnaud
Early Performance Estimation for Industrial Component-Based Design of Reliable Software Defined Radio System. ISSRE Workshops (2012)
Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
RT-simex: retro-analysis of execution traces. SIGSOFT FSE (2010)