共 50 条
- [1] Fast Run-time Monitoring, Replanning, and Recovery for Safe Autonomous System Operations 2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2019, : 1661 - 1667
- [2] Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023, 2023, 14181 : 11 - 24
- [3] A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2013, : 268 - 274
- [4] Run-time monitoring for dependable systems: an approach and a case study 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 41 - 49
- [5] Rule systems for run-time monitoring: From EAGLE to RULER RUNTIME VERIFICATION, 2007, 4839 : 111 - +
- [7] Run-time monitoring of distributed applications MIDDLEWARE'98: IFIP INTERNATIONAL CONFERENCE ON DISTRIBUTED SYSTEMS PLATFORMS AND OPEN DISTRIBUTED PROCESSING, 1998, : 459 - 474
- [8] Run-Time Monitoring of Electronic Contracts AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 397 - 407
- [10] Foundations for the run-time monitoring of reactive systems - Fundamentals of the MaC language THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 543 - 556