共 50 条
- [31] Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2018, 2018, 11094 : 139 - 150
- [32] Runtime Monitoring for Concurrent Systems RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 386 - 403
- [34] Safety requirements specification on open distributed systems SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326
- [35] The REMINDS Tool Suite for Runtime Monitoring of Systems of Systems 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 777 - 782
- [37] On Scalability for MPI Runtime Systems 2011 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2011, : 187 - 195
- [39] Event Capture and Compare for Runtime Monitoring of Systems of Systems 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON VARIABILITY AND COMPLEXITY IN SOFTWARE DESIGN (VACE), 2016, : 1 - 4
- [40] Designing energy efficient communication runtime systems: a view from PGAS models JOURNAL OF SUPERCOMPUTING, 2013, 63 (03): : 691 - 709