Author:
Adler Rasmus,Schaefer Ina,Schuele Tobias,Vecchié Eric
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Adler, R., Förster, M., Trapp, M.: Determining configuration probabilities of safety-critical adaptive systems. In: UbiSafe 2007, IEEE Computer Society Press, Los Alamitos (2007)
2. Blech, J.O., Schaefer, I., Poetzsch-Heffter, A.: Translation validation for system abstractions. In: RV 2007, Vancouver, Canada (2007)
3. Lecture Notes in Computer Science;M. Bozga,2004
4. Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: WOSS 2004, pp. 28–33. ACM Press, Newport Beach, USA (2004)
5. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems (TOPLAS) 16(5), 1512–1542 (1994)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adaptive Structural Operational Semantics;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Component‐based specification, design and verification of adaptive systems;Systems Engineering;2023-04-06
3. Formal Specification and Verification for Organization-based systems : A Survey;2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS);2022-10-12
4. Formal Design and Verification of Self-Adaptive Systems with Decentralized Control;ACM Transactions on Autonomous and Adaptive Systems;2017-02-03
5. Modular Design and Verification of Distributed Adaptive Real-Time Systems;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2015