共 50 条
- [1] Modeling and Verifying Self-adaptive Systems: A Refinement Approach 2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 3967 - 3972
- [2] A Correct by Construction Approach For Modeling and Formalizing Self-adaptive Systems 2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 379 - 384
- [3] Optimizing Monitoring Requirements in Self-adaptive Systems ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2012, 2012, 113 : 362 - 377
- [4] Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 67 - 74
- [5] Modeling of self-adaptive systems with SCADE 2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 2922 - 2925
- [6] Runtime Verification of Self-Adaptive Systems with Changing Requirements 2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2023, : 104 - 114
- [7] Towards Self-Adaptive Systems with Hierarchical Decentralised Control 2018 IEEE 3RD INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2018, : 14 - 16
- [9] Improving Self-adaptive Systems Conceptual Modeling 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1292 - 1299
- [10] Modeling Dimensions of Self-Adaptive Software Systems SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS, 2009, 5525 : 27 - +