Arian Baloochestani Asl

Universitetslektor

Arian Baloochestani Asl

Kontakt

E-post: arian.masoudbaloochestani@uis.no

Organisasjonsenhet

Det teknisk-naturvitenskapelige fakultet

Institutt for data- og elektroteknologi

Følg meg på nett

LinkedIn

Publikasjoner

Vitenskapelige publikasjoner

Baloochestani Asl, Arian; Jehl, Leander

(2023)

Eiffel : Extending formal verification of distributed algorithms to utility analysis. I: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).

IEEE (Institute of Electrical and Electronics Engineers).

ISBN 979-8-3503-1782-4.

s.111-117.

DOI: 10.1109/BRAINS59668.2023.10316928

Baloochestani Asl, Arian; Jehl, Leander; Meling, Hein

(2022)

Rebop : Reputation-based incentives in committee-based blockchains. I: Distributed Applications and Interoperable Systems 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings.

ISBN 978-3-031-16092-9.

s.37-54.

DOI: 10.1007/978-3-031-16092-9_4