Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP-Reference-Cited by-同舟云学术

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP

Published:2011 Issue: Volume: Page:103-117
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Boyer Fabienne,Gruber Olivier,Salaün Gwen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21437-0_10

Reference20 articles.

1. Lecture Notes in Computer Science;R. Allen,1998

2. Lecture Notes in Computer Science;D. Bergamini,2005

3. Bruneton, É., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: The Fractal Component Model and its Support in Java. Software – Practice and Experience 36(11-12), 1257–1284 (2006)

4. Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.1). INRIA/VASY, 109 pages (2010)

5. IFIP Conference Proceedings;M.A. Cornejo,2001

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Models and analysis for user-driven reconfiguration of rule-based IoT applications;Internet of Things;2022-08

2. Seamless Reconfiguration of Rule-based IoT Applications;2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2021-05

3. Verification of a Failure Management Protocol for Stateful IoT Applications;Formal Methods for Industrial Critical Systems;2020

4. Resilience of Stateful IoT Applications in a Dynamic Fog Environment;Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services;2018-11-05

5. From LOTOS to LNT;ModelEd, TestEd, TrustEd;2017