Author:
Ozeer Umar,Salaün Gwen,Letondeur Loïc,Ottogalli François-Gaël,Vincent Jean-Marc
Publisher
Springer International Publishing
Reference23 articles.
1. Ardekani, M.S., Singh, R.P., Agrawal, N., Terry, D.B., Suminto, R.O.: Rivulet: a fault-tolerant platform for smart-home applications. In: Proceedings of Middleware 2017, pp. 41–54. ACM (2017)
2. Boyer, F., Gruber, O., Pous, D.: Robust reconfigurations of component assemblies. In: Proceedings of ICSE 2013, pp. 13–22. IEEE Press (2013)
3. Lecture Notes in Computer Science;F Boyer,2011
4. Brogi, A., Canciani, A., Soldani, J.: Fault-aware management protocols for multi-component applications. J. Syst. Softw. 139, 189–210 (2018)
5. Champelovier, D., et al.: Reference manual of the LNT to LOTOS translator, version 6.7. Inria (2018)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Repair of Violated Eventually Properties in Concurrent Programs;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Formal Verification of Industrial IoT System: A Behavioural Equivalence;Artificial Intelligence for a Sustainable Industry 4.0;2021
3. Clusters of Faulty States for Debugging Behavioural Models;2020 27th Asia-Pacific Software Engineering Conference (APSEC);2020-12