Giotto: A time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, pp.84-99, 2003. ,
The logical execution time paradigm, Advances in RealTime Systems, pp.103-120, 2012. ,
Migration of legacy software towards correct-by-construction timing behavior, Monterey Workshop, pp.55-76, 2010. ,
Coordinating AUTOSAR runnable entities using giotto-first concepts, 2012. ,
, 8th International Workshop on Analysis Tools and Methodologies for Embedded Realtime Systems, 2017.
Applying real-time programming to legacy embedded control software, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, pp.1-8, 2015. ,
Towards parallelizing legacy embedded control software using the LET programming paradigm, Proc. of WiP Papers of the 22nd IEEE Real-Time and Embedded Technology and Apllications Symposium, ser. RTAS'16, 2016. ,
Efficient realization of logical execution times in legacy embedded software, Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.36-45, 2017. ,
Outline of a real time data-flow language, Real Time Systems Symposium, 1985. ,
The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
On the expressive power of programming languages, Science of Computer Programming, vol.17, pp.35-75, 1991. ,
Giotto: A timetriggered language for embedded programming, Embedded Software, pp.166-184, 2001. ,
Programming real time applications with signal, Proceedings of the IEEE, vol.79, pp.1321-1336, 1991. ,
, Dimensioning of LET Intervals