Author:
Basten Twan,van Benthum Emiel,Geilen Marc,Hendriks Martijn,Houben Fred,Igna Georgeta,Reckers Frans,de Smet Sebastian,Somers Lou,Teeselink Egbert,Trčka Nikola,Vaandrager Frits,Verriet Jacques,Voorhoeve Marc,Yang Yang
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Balarin, F., et al.: Hardware-Software Co-design of Embedded Systems: The POLIS Approach. Kluwer, Dordrecht (1997)
2. Behrmann, G., et al.: Uppaal 4.0. In: Proc. QEST, pp. 125–126. IEEE, Los Alamitos (2006)
3. Lecture Notes in Computer Science;S. Bleuler,2003
4. Brekling, A.W., et al.: Models and Formal Verification of Multiprocessor System-on-Chips. J. Log. Algebr. Program. 77(1-2), 1–19 (2008)
5. Davare, A., et al.: A Next-Generation Design Framework for Platform-based Design. In: Proc. DVCon 2007 (February 2007)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Derivation of Application Workload Models for Design Space Exploration of Industrial Distributed Cyber-Physical Systems;2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS);2024-05-12
2. Optimisation-driven design in the architectural, engineering and construction industry;Proceedings of the Institution of Civil Engineers - Structures and Buildings;2023-01-23
3. Model-driven design space exploration for multi-robot systems in simulation;Software and Systems Modeling;2022-10-08
4. Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022
5. Automating test schedule generation with domain-specific languages;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16