OTAWA: an Open Toolbox for Adaptive WCET Analysis (regular paper), IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) ,
The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, vol.19 ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science), 2005. ,
A Framework to Quantify the Overestimations of Static WCET Analysis, 15th Int. Workshop on Worst-Case Execution Time Analysis (WCET 2015), vol.47, 2015. ,
Safe measurement-based WCET estimation, Int. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005. ,
ait: Worst-case execution time prediction by static program analysis, Building the Information Society, 2004. ,
Analysis of WCET in an experimental satellite software development, 12th Int. Workshop on Worst-Case Execution Time, 2012. ,
Transaction-level modeling with SystemC, vol.2, 2005. ,
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, vol.4, 1991. ,
Synchronous observers and the verification of reactive systems, Algebraic Methodology and Software Technology, vol.4, 1994. ,
A framework for simulate synchronous reactive programs and measure execution times to aid wcet analysis, vol.2, 2016. ,
Deriving java virtual machine timing models for portable worst-case execution time analysis, 2003. ,
Environment-model based testing of control systems: Case studies, TACAS, vol.4, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01465756
Engineering functional requirements of reactive systems using synchronous languages, In Int. Symp. on Industrial Embedded Systems, vol.4, issue.3, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00933179
, Case studies with lurette v2. Software Tools for Technology Transfer, vol.8
URL : https://hal.archives-ouvertes.fr/hal-00389838
Debugging embedded systems requirements with Stimulus: an automotive case-study, 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), vol.5, p.7, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01292286
Signal, a data flow oriented language for signal processing, IEEE-ASSP, vol.4, issue.1, 1986. ,
Chronos: A timing analyzer for embedded software, Sci. Comput. Program, issue.6, 2007. ,
Performance analysis of embedded software using implicit path enumeration, Workshop on Languages, Compilers, and Tools for Real-Time Systems, vol.2, pp.88-98, 1995. ,
Testing the results of static worst-case execution-time analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998. ,
Programming and verifying critical systems by means of the synchronous data-flow programming language lustre, ACM-SIGSOFT'91 Conference on Software for Critical Systems, vol.4, 1991. ,
Timing analysis enhancement for synchronous program, Proceedings of the 21st Int. Conference on Real-Time Networks and Systems, p.10, 2013. ,
Lutin: A language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008. ,
Synchronous program verification with lustre/lesar. In Modeling and Verification of Real-Time Systems, 2008. ,
The versatile synchronous observer, Specification, Algebra, and Software, vol.4, 2014. ,
Measurement-based timing analysis, Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2008. ,
A Taxonomy of Model-based Testing for Embedded Systems from Multiple Industry Domains, pp.3-22, 2011. ,