Author:
Bernardeschi Cinzia,Domenici Andrea,Palmieri Maurizio,Saponara Sergio,Sassolas Tanguy,Wicaksana Arief,Zaourar Lilia
Publisher
Springer International Publishing
Reference27 articles.
1. Accelera: TLM-2.0 Language Reference Manual (2009). https://www.accellera.org/images/downloads/standards/systemc/TLM_2_0_LRM.pdf
2. Bellard, F.: QEMU, a fast and portable dynamic translator. In: Proceedings of the Annual Conference on USENIX Annual Technical Conference, ATEC 2005, p. 41. USENIX Association, USA (2005)
3. Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Softw. Eng. 44(6), 512–533 (2018)
4. Blochwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International MODELICA Conference, pp. 173–184. No. 76 in Linköping Electronic Conference Proceedings (2012)
5. Bohrer, B., Rahli, V., Vukotic, I., Völp, M., Platzer, A.: Formally verified differential dynamic logic. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, pp. 208–221. ACM (2017). https://doi.org/10.1145/3018610.3018616
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Do-it-Yourself FMU Generation;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023
2. A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study;2022 IEEE International Conference on Smart Computing (SMARTCOMP);2022-06
3. Co-simulation of a Model Predictive Control System for Automotive Applications;Lecture Notes in Computer Science;2022