Towards functional-safe timing-dependable real-time architectures, 2011 IEEE 17th International On-Line Testing Symposium, pp.31-36, 2011. ,
DOI : 10.1109/IOLTS.2011.5993807
Computation takes time, but how much?, Communications of the ACM, vol.57, issue.2, pp.94-103, 2014. ,
DOI : 10.1145/2500886
Building timing predictable embedded systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.4, pp.1-8237, 2014. ,
DOI : 10.1145/2560033
URL : https://hal.archives-ouvertes.fr/hal-01095461
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008. ,
DOI : 10.1145/1347375.1347389
The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006. ,
DOI : 10.1109/MC.2006.180
Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics, Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp.329-339, 2008. ,
DOI : 10.1145/1353534.1346323
CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution, Proceedings of the 15th ASPLOS on Architectural Support for Programming Languages and Operating Systems, pp.53-64, 2010. ,
Semantics of Concurrent Revisions, Proceedings of the 20th European Conference on Programming Languages and Systems, ser. ESOP/ETAPS, pp.116-135, 2011. ,
DOI : 10.1007/11737414_1
Efficient Data Race Detection for Async-Finish Parallelism, Proceedings of the 1st International Conference on Runtime Verification, pp.368-383, 2010. ,
DOI : 10.1007/978-3-642-16612-9_28
The Synchronous Languages 12 Years Later The Esterel Synchronous Programming Language: Design, Semantics and Implementation, Proceedings of the IEEE Science of Computer Programming, vol.91, issue.19 2, pp.64-83, 1992. ,
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation, International Workshop on Worst-case Execution Time, pp.21-24, 2005. ,
Timing analysis of esterel programs on general-purpose multiprocessors, Proceedings of the 47th Design Automation Conference on, DAC '10 ,
DOI : 10.1145/1837274.1837288
Programming and Timing Analysis of Parallel Programs on Multicores, 2013 13th International Conference on Application of Concurrency to System Design, 2013. ,
DOI : 10.1109/ACSD.2013.19
URL : https://hal.archives-ouvertes.fr/hal-00842402
A Predictable Framework for Safety-Critical Embedded Systems, IEEE Transactions on Computers, vol.63, issue.7, pp.1600-1612, 2014. ,
DOI : 10.1109/TC.2013.28
URL : https://hal.archives-ouvertes.fr/hal-01095468
SyncCharts in C -A Proposal for Light-Weight, Deterministic Concurrency, Proceedings of the 9th ACM/IEEE International conference on Embedded software, 2009. ,
A Survey of Automatic Distribution Method for Synchronous Programs, International Workshop on Synchronous Languages , Applications and Programs, SLAP'05, 2005. ,
Code Generation in the Columbia Esterel Compiler, EURASIP Journal on Embedded Systems, 2007. ,
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.949-952, 2010. ,
DOI : 10.1109/DATE.2010.5456915
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.608.9082
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.199-208, 2010. ,
DOI : 10.1145/1879021.1879048
URL : https://hal.archives-ouvertes.fr/inria-00544665
Architectures Specific Compilation for Efficient Execution of Esterel, 2013. ,
Predictability Considerations in the Design of Multi-Core Embedded Systems, Embedded Real Time Software and Systems (ERTS), 2010. ,
MicroBlaze Processor Reference Guide, 2012. ,
Scratchpad Memory Management Unit, 2012. ,
Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, pp.263-288, 2009. ,
DOI : 10.1007/s10817-009-9148-3
URL : https://hal.archives-ouvertes.fr/inria-00352524
A novel analysis space for pointer analysis and its application for bug finding, Science of Computer Programming, vol.75, issue.11, 2010. ,
DOI : 10.1016/j.scico.2009.08.002
Structured Parallel Programming, 2012. ,
A stream-computing extension to OpenMP, Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC '11, pp.5-14, 2011. ,
DOI : 10.1145/1944862.1944867
URL : https://hal.archives-ouvertes.fr/hal-00659411