Scheduling with timed automata, Theoretical Computer Science, vol.354, issue.2, pp.272-300, 2006. ,
DOI : 10.1016/j.tcs.2005.11.018
System level performance analysis -the symta/s approach, Computers and Digital Techniques, 2005. ,
SimpleScalar: an infrastructure for computer system modeling, Computer, vol.35, issue.2, pp.59-67, 2002. ,
DOI : 10.1109/2.982917
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, volume LNCS 2050, 2001. ,
A general framework for analysing system properties in platform-based embedded system designs, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003. ,
DOI : 10.1109/DATE.2003.1253607
Event Count Automata: A State-Based Model for Stream Processing Systems, 26th IEEE International Real-Time Systems Symposium (RTSS'05), 2005. ,
DOI : 10.1109/RTSS.2005.21
Performance Guarantees in Communication Networks, 2000. ,
Task automata: Schedulability, decidability and undecidability. Information and Computation, pp.1149-1172, 2007. ,
Schedulability analysis of fixed-priority systems using timed automata, Theoretical Computer Science, vol.354, issue.2, pp.301-317, 2006. ,
DOI : 10.1016/j.tcs.2005.11.019
Complex task activation schemes in system level performance analysis Scenario aware analysis for complex event models and distributed systems, CODES+ISSS RTSS, 2007. ,
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007. ,
DOI : 10.1109/IPDPS.2007.370356
Performance Analysis of Multimedia Applications using Correlated Streams, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007. ,
DOI : 10.1109/DATE.2007.364409
Combined approach to system level performance analysis of embedded systems, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, 2007. ,
DOI : 10.1145/1289816.1289835
Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987. ,
DOI : 10.1109/PROC.1987.13876
Self-Timed Scheduling Analysis for Real-Time Applications, EURASIP Journal on Advances in Signal Processing, vol.2007, issue.1, 2007. ,
DOI : 10.1007/1-4020-3454-7_4
Timed automata as task models for event-driven systems, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999. ,
DOI : 10.1109/RTCSA.1999.811218
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007. ,
DOI : 10.1109/RTSS.2007.46
Modeling event stream hierarchies with hierarchical event models, DATE, 2008. ,
Performance Analysis of Complex Systems by Integration of Dataflow Graphs and Compositional Performance Analysis, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007. ,
DOI : 10.1109/DATE.2007.364603
A framework for evaluating design tradeoffs in packet processing architectures, 39th Design Automation Conference (DAC), 2002. ,
Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, 2008. ,
DOI : 10.1109/TC.2008.81
Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications, Real-Time Systems, vol.20, issue.1, pp.205-225, 2005. ,
DOI : 10.1007/s11241-005-6885-x
Real-Time Calculus (RTC) Toolbox, 2006. ,
Workload correlations in multi-processor hard real-time systems, Journal of Computer and System Sciences, vol.73, issue.2, pp.207-224, 2007. ,
DOI : 10.1016/j.jcss.2006.04.005
Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis , CODES+ISSS '06, 2006. ,
DOI : 10.1145/1176254.1176260