Cited By
View all- Soldani JCameriero MPaparelli GBrogi A(2022)Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable ApplicationsACM Transactions on Internet Technology10.1145/351130222:3(1-32)Online publication date: 25-Jul-2022
- Ozeer USalaün GLetondeur LOttogalli FVincent J(2020)Verification of a Failure Management Protocol for Stateful IoT ApplicationsFormal Methods for Industrial Critical Systems10.1007/978-3-030-58298-2_12(272-287)Online publication date: 2-Sep-2020
- Brogi ASoldani J(2019)Identifying Failure Causalities in Multi-component ApplicationsSoftware Engineering and Formal Methods10.1007/978-3-030-57506-9_17(226-235)Online publication date: 16-Sep-2019
- Show More Cited By