Author:
Adolf Florian-Michael,Faymonville Peter,Finkbeiner Bernd,Schirmer Sebastian,Torens Christoph
Publisher
Springer International Publishing
Reference21 articles.
1. Adolf, F., Thielecke, F.: A sequence control system for onboard mission management of an unmanned helicopter. In: AIAA Infotech@Aerospace Conference (2007)
2. D’Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166–174. IEEE Computer Society Press, June 2005
3. Lecture Notes in Computer Science;JA Davis,2013
4. Dill, E.T., Young, S.D., Hayhurst, K.J.: SAFEGUARD: an assured safety net technology for UAS. In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC). IEEE, September 2016. https://doi.org/10.1109/dasc.2016.7778009
5. European Aviation Safety Agency (EASA): Advance Notice of Proposed Amendment 2015-10, Introduction of a regulatory framework for the operation of drones (2015)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S);2023-06
2. On the road with RTLola;International Journal on Software Tools for Technology Transfer;2023-01-30
3. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines;Lecture Notes in Computer Science;2023
4. START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report);2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
5. Real-Time Visualization of Stream-Based Monitoring Data;Runtime Verification;2022