共 50 条
- [1] Runtime Enforcement for Component-Based Systems [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
- [2] Runtime Verification of Component-Based Systems [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
- [3] VISCTE: Runtime Exploration of Component-Based Systems [J]. PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 91 - 96
- [4] Taxonomy of Runtime Modification in Component-Based Software Systems [J]. PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 585 - 588
- [5] Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems [J]. 2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS, 2008, : 41 - 48
- [6] A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 45 - 64
- [7] Component-Based Models for Runtime Control and Monitoring of Embedded Systems [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 31 - 36
- [9] Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 234 - 253
- [10] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime [J]. 2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148