State-based scheduling analysis for distributed real-time systems, Design Automation for Embedded Systems, vol.40, issue.8, p.118, 2013. ,
DOI : 10.1016/0165-6074(94)90080-9
Impact analysis for timing requirements on real-time systems, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, p.110, 2014. ,
DOI : 10.1109/RTCSA.2014.6910519
Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.40-117134, 1994. ,
DOI : 10.1016/0165-6074(94)90080-9
On the schedulability analysis for distributed hard real-time systems, Proc. of the Euromicro Workshop on Real-Time Systems, p.136143, 1997. ,
Embedded Software in Network Processors ??? Models and Algorithms, Proc. of the First Workshop on Embedded Software. EMSOFT, p.416, 2001. ,
DOI : 10.1007/3-540-45449-7_29
System level performance analysis -the symta/s approach. Computers and Digital Techniques, IEE Proceedings, vol.152, p.148166, 2005. ,
DOI : 10.1049/pbcs018e_ch2
Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems, 2006. ,
Analytic real-time analysis and timed automata, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, p.107116, 2009. ,
DOI : 10.1145/1629335.1629351
CARTS, ACM SIGBED Review, vol.8, issue.1, p.6263, 2011. ,
DOI : 10.1145/1967021.1967029
Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, Model-Based Design for Emb, p.93119, 2009. ,
DOI : 10.1201/9781420067859-c4
Timed automata based analysis of embedded system architectures, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639422
Inuence of dierent system abstractions on the performance analysis of distributed real-time systems, Proceedings of the, 2007. ,
Timed Automata with Asynchronous Processes: Schedulability and Decidability, Proceedings of TACAS, 2002. ,
DOI : 10.1007/3-540-46002-0_6
Multiple viewpoint contract-based specication and design. In: Formal Methods for Components and Objects, 2008. ,
Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), p.104, 2000. ,
DOI : 10.1109/ISCAS.2000.858698
A review of software change impact analysis, Tech. Rep, 2011. ,
Scheduling analysis integration for heterogeneous multiprocessor SoC, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003. ,
DOI : 10.1109/REAL.2003.1253270
Evaluation of a state-based real-time scheduling analysis technique, 2014 12th IEEE International Conference on Industrial Informatics (INDIN), p.158163, 2014. ,
DOI : 10.1109/INDIN.2014.6945501