Author of the publication

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability.

, , , , , and . J. Syst. Softw., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Correctness by construction and style preserving reconfigurations of system of systems., , , and . SAC, page 1680-1686. ACM, (2018)Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems., , and . SoSE, page 549-555. IEEE, (2018)An Enrolment Gateway for Data Security in Heterogeneous Industrial Internet of Things., , and . WETICE, page 199-202. IEEE, (2020)Query Analyzer and Manager for Complex Event Processing as a Service., , , , , and . WETICE, page 107-109. IEEE Computer Society, (2014)Graph Rewriting Rules for RDF Database Evolution Management., , , and . iiWAS, page 134-143. ACM, (2020)Multi-scale modeling for software-intensive systems-of-systems architectures., , , , and . SiSoS@ECSA, page 10:1-10:6. ACM, (2016)Graph rewriting rules for RDF database evolution: optimizing side-effect processing., , , and . Int. J. Web Inf. Syst., 17 (6): 622-644 (2021)A refinement-based approach for specifying multi-scale software architectures: application to SoS., , , , and . SAC, page 1660-1667. ACM, (2018)Hybrid Approach for Energy Aware Management of Multi-cloud Architecture Integrating user Machines., , , , , , , , , and 1 other author(s). J. Grid Comput., 14 (1): 91-108 (2016)Privacy Operators for Semantic Graph Databases as Graph Rewriting., , and . ADBIS (Short Papers), volume 1652 of Communications in Computer and Information Science, page 366-377. Springer, (2022)