共 50 条
- [41] Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 395 - 398
- [42] Developing fault predictors for evolving software systems NINTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 2003, : 338 - 350
- [44] A Lightweight Software-based Runtime Temperature Monitoring Model for Multiprocessor Embedded Systems 2016 29TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN (SBCCI), 2016,
- [45] Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems 2024 22ND ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE 2024, 2024, : 124 - 134
- [46] Runtime Monitoring of Multi-Agent Manufacturing Systems for Deadlock Detection Based on Models ICTAI: 2009 21ST INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, 2009, : 292 - 299
- [48] Systems Biology Approach to Developing "Systems Therapeutics" ACS MEDICINAL CHEMISTRY LETTERS, 2014, 5 (05): : 453 - 455
- [49] Towards a Runtime Verification Approach for Internet of Things Systems CURRENT TRENDS IN WEB ENGINEERING (ICWE 2018), 2018, 11153 : 83 - 96
- [50] Independent on-line monitoring of evolving systems PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 134 - 143