End-to-end timing analysis of cause-effect chains in automotive embedded systems, Journal of Systems Architecture-Embedded Systems Design, vol.80, pp.104-113, 2017. ,
, Beyond the deadline: New interfaces between control and scheduling for the design and analysis of critical embedded systems, Tutorial at ESWeek, 2017.
Response-time analysis of engine control applications under fixed-priority scheduling, IEEE Trans. Computers, vol.67, issue.5, pp.687-703, 2018. ,
PROSA: A case for readable mechanized schedulability analysis, 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, pp.273-284, 2016. ,
On the pitfalls of resource augmentation factors and utilization bounds in real-time scheduling, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol.76, p.25, 2017. ,
On the evaluation of schedulability tests for real-time scheduling algorithms, 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, p.2017, 2017. ,
Transferring real-time systems research into industrial practice: Four impact case studies, 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, vol.7, pp.1-7, 2018. ,
A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys (CSUR), vol.43, issue.4, p.35, 2011. ,
The logical execution time paradigm: New perspectives for multicore systems (dagstuhl seminar 18092), Dagstuhl Reports, vol.8, issue.2, pp.122-149, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01956964
A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, 1st Workshop on Compositional Theory and Technology for RealTime Embedded Systems, 2008. ,
Formal analysis of timing effects on closed-loop properties of control software, Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, pp.53-62, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01097622
Improving and estimating the precision of bounds on the worst-case latency of task chains, ACM SIGBED International Conference on Embedded Software, vol.2018, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01956931
Building correct cyber-physical systems: Why we need a multiview contract theory, 23rd International Conference on Formal Methods for Industrial Critical Systems, vol.2018, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01891146
Communication centric design in complex automotive embedded systems, 29th Euromicro Conference on Real-Time Systems, 2017. ,
, WATERS industrial challenge by Thales
Integrating modelbased formal timing analysis in the industrial development process of satellite on-board software, 2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD, pp.619-625, 2014. ,
Towards parallelizing legacy embedded control software using the LET programming paradigm, WiP session at the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016, p.51, 2016. ,
The logical execution time paradigm, Advances in Real-Time Systems, pp.103-120, 2012. ,
Stabilization of networked control systems with weakly hard real-time dropout description, 56th IEEE Annual Conference on Decision and Control, pp.4765-4770, 2017. ,
,
Scheduling algorithms for multiprogramming in a hardreal-time environment, J. ACM, vol.20, issue.1, pp.46-61, 1973. ,
Bridging the gap between practical cases and temporal performance analysis: a models repositorybased approach, Proceedings of the 25th International Conference on Real-Time Networks and Systems, pp.178-187, 2017. ,
Refinement of Workload Models for Engine Controllers by State Space Partitioning, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol.76, p.22, 2017. ,
An analysis of lazy and eager limited preemption approaches under dag-based global fixed priority scheduling, 20th IEEE International Symposium on Real-Time Distributed Computing, pp.193-202, 2017. ,
A framework for evaluating schedulability analysis tools, Models, Algorithms, Logics and Tools-Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp.539-559, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01674731
Real world automotive benchmark for free, 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 2015. ,