Author of the publication

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

Preserving the Correctness of Dynamic Workflows within a Cloud Environment., , , and . KES, volume 126 of Procedia Computer Science, page 1541-1550. Elsevier, (2018)A Comprehensive Survey on Broadcasting Emergency Messages., , and . IWCMC, page 1983-1988. IEEE, (2019)Cybersecurity attacks on CAN bus based vehicles: a review and open challenges., , and . Libr. Hi Tech, 40 (5): 1179-1203 (2022)Modeling and Proving Distributed Algorithms for Dynamic Graphs., , and . Future Gener. Comput. Syst., (2020)Towards an Efficient Clustering-Based Algorithm for Emergency Messages Broadcasting., , and . ICCCI, volume 12496 of Lecture Notes in Computer Science, page 267-278. Springer, (2020)An Evaluative Review of the Formal Verification for VANET Protocols., , and . IWCMC, page 1209-1214. IEEE, (2019)Overview of Blockchain-Based Seafood Supply Chain Management., , and . ISDA (4), volume 717 of Lecture Notes in Networks and Systems, page 71-80. Springer, (2022)Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs., , , and . SNPD (revised selected papers), volume 612 of Studies in Computational Intelligence, page 227-243. Springer, (2015)A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs., , , and . WETICE, page 44-49. IEEE Computer Society, (2016)Formal specification and verification of a broadcasting protocol: a refinement-based approach., , and . KES, volume 176 of Procedia Computer Science, page 2858-2867. Elsevier, (2020)