Author:
Oetjens J.-H.,Grüttner K.,Kruse Th.,Kuznik C.,Le H. M.,Mauderer A.,Müller W.,Müller-Gritschneder D.,Poppen F.,Post H.,Reiter S.,Bannow N.,Rosenstiel W.,Roth S.,Schlichtmann U.,von Schwerin A.,Tabacaru B.-A.,Viehl A.,Becker M.,Bringmann O.,Burger A.,Chaari M.,Chakraborty S.,Drechsler R.,Ecker W.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
2. Certifiable and Efficient Autonomous Cyber-Physical Systems Design;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
3. A Comprehensive Survey on Software as a Service (SaaS) Transformation for the Automotive Systems;IEEE Access;2023
4. MetaFS: Model-driven Fault Simulation Framework;2022 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT);2022-10-19
5. Virtual Prototyping of Processor-Based Platforms;Handbook of Computer Architecture;2022