Performance debugging of Esterel specifications

This publication has 8 references indexed in Scilit:

• Worst Case Reaction Time Analysis of Concurrent Reactive Programs
  Electronic Notes in Theoretical Computer Science, 2008
• The worst-case execution-time problem—overview of methods and survey of tools
  ACM Transactions on Embedded Computing Systems, 2008
• Chronos: A timing analyzer for embedded software
  Science of Computer Programming, 2007
• Efficient detection and exploitation of infeasible paths for software timing analysis
  Published by Association for Computing Machinery (ACM) ,2006
• TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The synchronous languages 12 years later
  Proceedings of the IEEE, 2003
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991